Partial Order Dynamic Backtracking
PDB (partial-order dynamic backtracking) is a specific attempt to
combine the advantages of both systematic and nonsystematic search
methods. By using dynamic backtracking techniques, it is possible to
maintain dependency information as the search proceeds; by appropriate
manipulations of this dependency information, it is possible to move
fairly freely (and locally) within the search space itself.
CIRL
PDB was developed by Matt Ginsberg (CIRL) and David McAllester
(previously of MIT, now at AT&T Bell Labs).
Pointers
- GSAT
and Dynamic Backtracking
- An article on partial order dynamic backtracking, by Matt Ginsberg
and David McAllester. Appeared in Proc. KR in 1994.
Compressed postscript document.
- Parent areas:
- Dynamic Backtracking
- Nonsystematic Search Methods
Back to the CIRL Overview Page.