Reducing Search Space in Local Search for Constraint Satisfaction. - Hai Fang; Y. Kilani; Jimmy Ho-Man Lee; Peter J. Stuckey (AAAI/IAAI, 2002)

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

The island confinement method for reducing search space in local search methods. - Hai Fang; Y. Kilani; Jimmy Ho-Man Lee; Peter J. Stuckey (J. Heuristics, 2007)