Sign in
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.
Jasmin Christian Blanchette
Mathias Fleury
Christoph Weidenbach
Published in:
IJCAR (2016)
Keyphrases
</>
sat solvers
special case
computational complexity
orders of magnitude