|
|||||
|
|
The Strength of Multilinear Proofs |
|
| Authors: | Ran Raz Iddo Tzameret |
| Affiliation: | (1) Department of Computer Science, Weizmann Institute, Rehovot, 76100, Israel;(2) School of Computer Science, Tel Aviv University, Tel Aviv, 69978, Israel |
| Abstract: | |
| Keywords: | " target="_blank"> Proof complexity multilinear arithmetic formulas polynomial calculus propositional pigeonhole principle Tseitin tautologies |
| 本文献已被 SpringerLink 等数据库收录！ | |