TY  - RPRT
TI  - On planar variants of the monotone satisfiability problem with bounded variable appearances
AU  - Andreas Darmann
AU  - Janosch Döcker
AU  - Britta Dorn
PY  - 2016
UR  - https://arxiv.org/abs/1604.05588
ID  - 1604.05588
ER  -