Login / Signup
Lifting CDCL to Template-Based Abstract Domains for Program Verification.
Rajdeep Mukherjee
Peter Schrammel
Leopold Haller
Daniel Kroening
Tom Melham
Published in:
ATVA (2017)
Keyphrases
</>
sat solvers
wavelet transform
genetic algorithm
sat encodings
upper bound
model checking