Islands for SAT

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
7 pages

Keywords

Artificial Intelligence

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/113558

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0607071
 http://arxiv.org/abs/cs/0607071

Collections

arXiv