Login / Signup
On the complexity of probabilistic trials for hidden satisfiability problems.
Itai Arad
Adam Bouland
Daniel Grier
Miklos Santha
Aarthi Sundaram
Shengyu Zhang
Published in:
CoRR (2016)
Keyphrases
</>
satisfiability problem
pspace complete
np complete
search algorithm
phase transition
temporal logic
sat problem
stochastic local search
solving hard
computational complexity
stochastic local search algorithms
random sat
np hard
search tree
probabilistic reasoning
davis putnam