| Efficient
propositional inference |
|
|
|
|
|
|
|
|
|
|
|
| Two families of
efficient algorithms for propositional |
||||||||||
| inference: |
||||||||||
| Complete
backtracking search algorithms |
||||||||||
| n | DPLL algorithm
(Davis, Putnam, Logemann, Loveland) |
|||||||||
| n | Incomplete local
search algorithms |
|||||||||
| n | WalkSAT algorithm |
|||||||||
