2 search results - page 1 / 1 » State-set branching: Leveraging BDDs for heuristic search |
68
Voted
AI
2008
Springer
14 years 9 months ago
2008
Springer
MTV
2003
IEEE
15 years 3 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...