Iddo Tzameret

activity

20072026

most citedResolution over Linear Equations and Multilinear Proofs

63 citations · 77 across the 15 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.CC2026

The Weak Rank Principle: Lower Bounds and Applications

Michal Garl\'\ik, Svyatoslav Gryaznov, Hanlin Ren +1

Given two symbolic matrices $X$ and $Y$ of dimensions $m \times n$ and $n \times m$ , the *weak rank principle* (WRank) states the equation $X Y = A$ is unsatisfiable when $m > n$ and ra…

cs.CC2026

Hard CNF Instances for Ideal Proof Systems

Tuomas Hakoniemi, Nutan Limaye, Iddo Tzameret

Since the introduction of the Ideal Proof System (IPS) by Grochow and Pitassi (J. ACM 2018), a substantial body of work has established size lower bounds for IPS and its fragments.…