Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms

Author(s):  
T. Schlichter ◽  
M. Lukasiewycz ◽  
C. Haubelt ◽  
J. Teich
Sign in / Sign up

Export Citation Format

Share Document