TY  - RPRT
TI  - Single-solution Random 3-SAT Instances
AU  - Marko Znidaric
PY  - 2005
UR  - https://arxiv.org/abs/cs/0504101
ID  - cs/0504101
ER  -