Login / Signup
Analog layout constraints resolution and shape function generation using Satisfiability Modulo Theories.
Sherif M. Saif
Mohamed Dessouky
Hazem M. Abbas
M. Watheq El-Kharashi
Salwa M. Nassar
Published in:
DTIS (2015)
Keyphrases
</>
np complete
constraint satisfaction problems
constraint satisfaction
constraint programming
global constraints
satisfiability modulo theories
expert systems
query language
constraint networks
modulo theories