Login / Signup
Breaking the PPSZ Barrier for Unique 3-SAT.
Timon Hertli
Published in:
CoRR (2013)
Keyphrases
</>
satisfiability problem
search algorithm
search strategies
sat solving
stochastic local search algorithms
neural network
artificial intelligence
evolutionary algorithm
sat solvers
sat instances
propositional satisfiability
backtracking search