Frank Schmiedle Wolfgang Günther Rolf Drechsler Dynamic Re-Encoding During MDD Minimization. 239-244 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920239abs.htm db/conf/ismvl/ismvl2000.html#SchmiedleGD00