Login / Signup

Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation.

João P. Marques SilvaKarem A. Sakallah
Published in: CAV (2000)
Keyphrases
  • design automation
  • boolean satisfiability
  • optimization problems
  • sat solving
  • orders of magnitude
  • probabilistic planning