TY  - RPRT
TI  - Improving PPSZ for 3-SAT using Critical Variables
AU  - Timon Hertli
AU  - Robin A. Moser
AU  - Dominik Scheder
PY  - 2011
UR  - https://arxiv.org/abs/1009.4830
ID  - 1009.4830
ER  -