TY  - RPRT
TI  - Designing SAT for HCP
AU  - Anatoly D. Plotnikov
PY  - 1999
UR  - https://arxiv.org/abs/cs/9903006
ID  - cs/9903006
ER  -