Sign in

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

Jasmin Christian BlanchetteMathias FleuryChristoph Weidenbach
Published in: IJCAR (2016)
Keyphrases
  • sat solvers
  • special case
  • computational complexity
  • orders of magnitude