Sciweavers

77
Voted
DATE
2004
IEEE
82views Hardware» more  DATE 2004»
15 years 19 days ago
Managing Don't Cares in Boolean Satisfiability
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler...