Resolution over linear equations and multilinear proofs

Ran Raz, Iddo Tzameret

Research output: Contribution to journalArticlepeer-review

16 Scopus citations

Fingerprint Dive into the research topics of 'Resolution over linear equations and multilinear proofs'. Together they form a unique fingerprint.

Mathematics