Login / Signup
A story of AM and Unique-SAT.
Ilya Volkovich
Published in:
Electron. Colloquium Comput. Complex. (2018)
Keyphrases
</>
sat solvers
satisfiability problem
stochastic local search
search strategies
propositional satisfiability
orders of magnitude
constraint programming
phase transition
industrial applications
stochastic local search algorithms
story telling