Thomas Schlichter, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich. Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms. In 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2-3 March 2006, Karlsruhe, Germany. pages 309-316, IEEE Computer Society, 2006. [doi]
Abstract is missing.