Login / Signup

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.

Jasmin Christian BlanchetteMathias FleuryPeter LammichChristoph Weidenbach
Published in: J. Autom. Reason. (2018)
Keyphrases
  • sat solvers
  • search algorithm
  • description logics
  • optimization problems
  • orders of magnitude
  • boolean satisfiability