Sign in

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

Jasmin Christian BlanchetteMathias FleuryChristoph Weidenbach
Published in: IJCAI (2017)
Keyphrases
  • sat solvers
  • evolutionary algorithm
  • probabilistic model
  • orders of magnitude
  • max sat