Login / Signup
Probabilistic approach to the Satisfiability Problem.
Olivier Dubois
Jacques Carlier
Published in:
Theor. Comput. Sci. (1991)
Keyphrases
</>
satisfiability problem
np complete
temporal logic
search algorithm
phase transition
solving hard
sat problem
stochastic local search
pspace complete
stochastic local search algorithms
sat instances
knowledge base
objective function
model checking
decision procedures
probabilistic planning