TY  - RPRT
TI  - On variables with few occurrences in conjunctive normal forms
AU  - Oliver Kullmann
AU  - Xishun Zhao
PY  - 2011
DO  - 10.1007/978-3-642-21581-0_5
UR  - https://arxiv.org/abs/1010.5756
ID  - 1010.5756
ER  -