16 search results - page 4 / 4 » Chaff: Engineering an Efficient SAT Solver |
DAC
2004
ACM
14 years 7 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...