Login / Signup

Analog layout placement retargeting using Satisfiability Modulo Theories.

Aya MohamedMohamed DessoukySherif M. Saif
Published in: SMACD (2017)
Keyphrases
  • satisfiability modulo theories
  • modulo theories
  • answer set programming
  • machine learning
  • sat solvers