Login
- Autor(en):
- Schlichter, Thomas; Lukasiewycz, Martin; Haubelt, Christian; Teich, Jürgen
- Titel:
- Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms
- Kongress- / Buchtitel:
- Proceedings of the Computer Society Annual Symposium on VLSI
- Verlagsort:
- Karlsruhe, Germany
- Jahr:
- 2006
- Seiten:
- 309--314
BibTeX