844 search results - page 52 / 169 » Safraless Decision Procedures |
IJCAI
1997
13 years 10 months ago
1997
Windowing has been proposed as a procedure for efficient memory use in the ID3 decision tree learning algorithm. However, it was shown that it may often lead to a decrease in perf...
ATAL
2009
Springer
14 years 22 days ago
2009
Springer
The goal of this paper is to explore the effects of synchronization on distributed decision making processes. In particular, we examine the dynamics of a spatially distributed mul...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
SAT
2005
Springer
14 years 2 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
ISQED
2002
IEEE
14 years 1 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...