Login / Signup
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.
Jasmin Christian Blanchette
Mathias Fleury
Peter Lammich
Christoph Weidenbach
Published in:
J. Autom. Reason. (2018)
Keyphrases
</>
sat solvers
search algorithm
description logics
optimization problems
orders of magnitude
boolean satisfiability