Probabilistic analysis of the pure literal heuristic for the satisfiability problem.

Published in: Ann. Oper. Res. (1984)

Keyphrases

satisfiability problem
temporal logic
search algorithm
dynamic programming
simulated annealing
objective function
evolutionary algorithm
data model
query language
search strategies
stochastic local search algorithms