TY  - RPRT
TI  - Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space
AU  - Svyatoslav Gryaznov
AU  - Sergei Ovcharov
AU  - Artur Riazanov
PY  - 2024
DO  - 10.1145/3675415
UR  - https://arxiv.org/abs/2404.08370
ID  - 2404.08370
ER  -