Resolution over linear equations and multilinear proofs

Ran Raz, Iddo Tzameret

Research output: Contribution to journalArticlepeer-review

29 Scopus citations

Fingerprint

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

Mathematics