SAT-decoding in evolutionary algorithms for discrete constrained optimization problems.
Martin Lukasiewycz, Michael Gla, Christian Haubelt, Jrgen Teich
VenueBCEC
Year2007
ProceedingsIEEE Congress on Evolutionary Computation
DBLP recordconf/cec/LukasiewyczGHT07 ↗
Browse the full CEC paper archive.