TY  - RPRT
TI  - Bounds for variables with few occurrences in conjunctive normal forms
AU  - Oliver Kullmann
AU  - Xishun Zhao
PY  - 2017
UR  - https://arxiv.org/abs/1408.0629
ID  - 1408.0629
ER  -