TY  - RPRT
TI  - An algorithm for random signed 3-SAT with Intervals
AU  - Kathrin Ballerstein
AU  - Dirk Oliver Theis
PY  - 2013
UR  - https://arxiv.org/abs/1105.2525
ID  - 1105.2525
ER  -