Generalizations of Watched Literals for Backtracking Search.

Allen Van Gelder

Published in: AI&M (2002)

Keyphrases

backtracking search
constraint satisfaction problems
search algorithm
backtracking algorithm
sat problem
answer sets
constraint satisfaction
worst case
satisfiability problem