Sign in
On the Probabilistic Approach to the Random Satisfiability Problem.
Giorgio Parisi
Published in:
SAT (2003)
Keyphrases
</>
satisfiability problem
np complete
search algorithm
temporal logic
phase transition
sat problem
randomly generated
stochastic local search algorithms
stochastic local search
random sat
max sat
pspace complete
solving hard
knowledge base
probabilistic reasoning
finite domain