TY  - RPRT
TI  - Tree-like resolution complexity of two planar problems
AU  - Dmitry Itsykson
AU  - Anna Malova
AU  - Vsevolod Oparin
AU  - Dmitry Sokolov
PY  - 2014
UR  - https://arxiv.org/abs/1412.1124
ID  - 1412.1124
ER  -