Login / Signup

Analog layout constraints resolution and shape function generation using Satisfiability Modulo Theories.

Sherif M. SaifMohamed DessoukyHazem M. AbbasM. Watheq El-KharashiSalwa 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