TY  - RPRT
TI  - Islands for SAT
AU  - H. Fang
AU  - Y. Kilani
AU  - J. H. M. Lee
AU  - P. J. Stuckey
PY  - 2006
UR  - https://arxiv.org/abs/cs/0607071
ID  - cs/0607071
ER  -