Islands for SAT

Simple item page
dc.creatorFang, H.
dc.creatorKilani, Y.
dc.creatorLee, J. H. M.
dc.creatorStuckey, P. J.
dc.date2006-07-14
dc.date.accessioned2026-07-07T07:16:21Z
dc.date.available2026-07-07T07:16:21Z
dc.descriptionIn 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.
dc.description7 pages
dc.identifierhttps://arxiv.org/abs/cs/0607071
dc.identifierhttp://arxiv.org/abs/cs/0607071
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/113558
dc.subjectArtificial Intelligence
dc.titleIslands for SAT
dc.typetext

Files

Collections

arXiv