Efficient Generation of Unsatisfiability Proofs and Cores in SAT | Publicación