Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich. SAT-decoding in evolutionary algorithms for discrete constrained optimization problems. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore. pages 935-942, IEEE, 2007. [doi]
Abstract is missing.