Login / Signup
Lifting CDCL to Template-based Abstract Domains for Program Verification.
Rajdeep Mukherjee
Peter Schrammel
Leopold Haller
Daniel Kroening
Tom Melham
Published in:
CoRR (2017)
Keyphrases
</>
sat solvers
wavelet transform
sat encodings
propositional satisfiability
clause learning
special case
dynamic programming
domain specific
linear programming
orders of magnitude
sat instances