179
click to vote
DATE
2004
IEEE
15 years 10 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...
135
Voted
DAC
2008
ACM
16 years 8 months ago
2008
ACM
