Login / Signup

Exploiting satisfiability modulo theories for analog layout automation.

Sherif M. SaifMohamed DessoukySalwa M. NassarHazem M. AbbasM. Watheq El-KharashiMohammad Abdulaziz
Published in: IDT (2014)
Keyphrases
  • satisfiability modulo theories
  • modulo theories
  • answer set programming
  • orders of magnitude
  • sat solvers
  • boolean variables