Polynomial-average-time satisfiability problems.

Paul Walton Purdom Jr.Cynthia A. Brown

Published in: Inf. Sci. (1987)

Keyphrases

satisfiability problem
temporal logic
np complete
phase transition
search algorithm
sat problem
pspace complete
solving hard
stochastic local search
model checking
randomly generated
finite domain
conjunctive normal form
stochastic local search algorithms