Conflict Directed Backjumping
Patrick Prosser invented CBJ to help reduce thrashing
change backtracking part of Davis Putnam Ö
Otherwise
- set any variable to true and recurse
- if result is success, succeed
- if result is failure,
- if current variable not involved in conflict set, fail
- set the variable to false and recurse
ìconflict setî = set of variables arising in failed and unit clauses in any part of failed search