Login / Signup

Efficient Verified (UN)SAT Certificate Checking.

Peter Lammich
Published in: CADE (2017)
Keyphrases
  • cost effective
  • search algorithm
  • knowledge base
  • computationally expensive
  • phase transition
  • propositional satisfiability
  • probabilistic planning