2944 search results - page 37 / 589 » Improving Bound Propagation |
COLT
2005
Springer
14 years 1 months ago
2005
Springer
WAOA
2004
Springer
14 years 27 days ago
2004
Springer
DATE
2003
IEEE
14 years 26 days 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
ESA
2003
Springer
14 years 24 days ago
2003
Springer
We present a new finger search tree with O(1) worst-case update time and O(log log d) expected search time with high probability in the Random Access Machine (RAM) model of comput...
SWAT
2010
Springer
14 years 19 days ago
2010
Springer