Tree-like resolution complexity of two planar problems

Dmitry Itsykson, Anna Malova, Vsevolod Oparin +1

We consider two CSP problems: the first CSP encodes 2D Sperner's lemma for the standard triangulation of the right triangle on $n^2$ small triangles; the second CSP encodes the fac…