115
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
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...
DAC
2008
ACM
16 years 3 months ago
2008
ACM
