Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms.
Thomas SchlichterMartin LukasiewyczChristian HaubeltJürgen TeichPublished in: ISVLSI (2006)
Keyphrases
- sat solvers
- design space exploration
- multi objective evolutionary algorithms
- multi objective
- search space
- orders of magnitude
- constraint satisfaction
- sat solving
- propositional satisfiability
- max sat
- sat problem
- design space
- multi objective optimization
- sat instances
- computer architecture
- search strategies
- case study
- neural network
- nsga ii
- constraint satisfaction problems
- lower bound
- information retrieval