DMCA

Verification of proofs of unsatisfiability for CNF formulas

by Evgueni Goldberg , Yakov Novikov
Citations:55 - 0 self