2 search results - page 1 / 1 » State-set branching: Leveraging BDDs for heuristic search |
AI
2008
Springer
13 years 4 months ago
2008
Springer
MTV
2003
IEEE
13 years 10 months ago
2003
IEEE
In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of f...