Sign in
Automatic Generation of Propagation Complete SAT Encodings.
Martin Brain
Liana Hadarean
Daniel Kroening
Ruben Martins
Published in:
VMCAI (2016)
Keyphrases
</>
sat encodings
sat solvers