Islands for SAT

H. Fang,Y. Kilani,J.H.M. Lee,P.J. Stuckey
DOI: https://doi.org/10.48550/arXiv.cs/0607071
2006-07-14
Abstract:In this note we introduce the notion of islands for restricting local search. We show how we can construct islands for CNF SAT problems, and how much search space can be eliminated by restricting search to the island.
Artificial Intelligence
What problem does this paper attempt to address?