Sign in
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.
Jasmin Christian Blanchette
Mathias Fleury
Christoph Weidenbach
Published in:
IJCAI (2017)
Keyphrases
</>
sat solvers
evolutionary algorithm
probabilistic model
orders of magnitude
max sat