Look-Ahead Versus Look-Back for Satisfiability Problems.

Chu Min Li Anbulagan

Published in: CP (1997)

Keyphrases

satisfiability problem
np complete
temporal logic
phase transition
search algorithm
sat problem
stochastic local search
solving hard
sat instances
stochastic local search algorithms
pspace complete
tree search
finite domain
search procedures
inference rules
modal logic
davis putnam
upper bound