2944 search results - page 37 / 589 » Improving Bound Propagation |
64
Voted
COLT
2005
Springer
15 years 3 months ago
2005
Springer
WAOA
2004
Springer
15 years 3 months ago
2004
Springer
DATE
2003
IEEE
15 years 3 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
ESA
2003
Springer
15 years 2 months 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
15 years 2 months ago
2010
Springer