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