User: Guest  Login
Author(s):
Schlichter, Thomas; Lukasiewycz, Martin; Haubelt, Christian; Teich, Jürgen 
Title:
Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms 
Book / Congress title:
Proceedings of the Computer Society Annual Symposium on VLSI 
Publisher address:
Karlsruhe, Germany 
Year:
2006 
Pages:
309--314