Backjump-Based Techniques versus Conflict-Directed Heuristics.

Christophe Lecoutre Frédéric Boussemart Fred Hemery

Published in: ICTAI (2004)

Keyphrases

conflict directed
variable ordering
forward search
forward checking
branch and bound algorithm
conflict resolution
constraint satisfaction problems
heuristic search
state space
max sat