Efficient Generation of Unsatisfiability Proofs and Cores in SAT.

Roberto Asn, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell

Browse the full LPAR paper archive.