2095 search results - page 22 / 419 » Improved pebbling bounds |
COCOON
2009
Springer
15 years 8 months ago
2009
Springer
WAOA
2007
Springer
15 years 8 months ago
2007
Springer
88
Voted
COLT
2005
Springer
15 years 7 months ago
2005
Springer
87
Voted
WAOA
2004
Springer
15 years 7 months ago
2004
Springer
84
Voted
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining