Verification of Proofs of Unsatisfiability for CNF Formulas
Year: 2003
Type: article
Authors: Evgueni Goldberg, Yakov Novikov
Institution: National Academy of Sciences of Belarus
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2145199041