Efficient symbolic multi-objective design space exploration

  title={Efficient symbolic multi-objective design space exploration},
  author={Martin Lukasiewycz and Michael Gla\ss and Christian Haubelt and J{\"u}rgen Teich},
  journal={2008 Asia and South Pacific Design Automation Conference},
Nowadays many design space exploration tools are based on Multi-Objective Evolutionary Algorithms (MOEAs). Beside the advantages of MOEAs, there is one important drawback as MOEAs might fail in design spaces containing only a few feasible solutions or as they are often afflicted with premature convergence, i.e., the same design points are revisited again and again. Exact methods, especially Pseudo Boolean solvers (PB solvers) seem to be a solution. However, as typical design spaces are multi… CONTINUE READING
Highly Cited
This paper has 90 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 53 extracted citations

Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories

ACM Trans. Design Autom. Electr. Syst. • 2015
View 6 Excerpts
Highly Influenced

Concept-based evolutionary exploration of design spaces by a resolution-relaxation-Pareto approach

2015 IEEE Congress on Evolutionary Computation (CEC) • 2015
View 4 Excerpts
Highly Influenced

Accelerating throughput-aware runtime mapping for heterogeneous MPSoCs

ACM Trans. Design Autom. Electr. Syst. • 2012
View 5 Excerpts
Highly Influenced

Exact multi-objective design space exploration using ASPmT

2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2018
View 1 Excerpt

91 Citations

Citations per Year
Semantic Scholar estimates that this publication has 91 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…