Islands for SAT - Fang, Hai; Kilani, Y.; Lee, Jimmy Ho-Man; Stuckey, Peter J. (CoRR, 2006)