Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler. Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. Softw. Test., Verif. Reliab., 24(8):593-607, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.