Automatic Generation of Propagation Complete SAT Encodings.

Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins

Browse the full VMCAI paper archive.