Login / Signup
Pareto front analog layout placement using Satisfiability Modulo Theories.
Sherif M. Saif
Mohamed Dessouky
M. Watheq El-Kharashi
Hazem M. Abbas
Salwa M. Nassar
Published in:
DATE (2016)
Keyphrases
</>
satisfiability modulo theories
modulo theories
multi objective
answer set programming
sat solvers
evolutionary algorithm
temporal constraints
stable model semantics