DMCA

Verification of Proofs of Unsatisfiability for CNF Formulas (2003)

by Evgueni Goldberg , Yakov Novikov
Venue:IN DESIGN, AUTOMATION AND TEST IN EUROPE (DATE’03)
Citations:55 - 0 self