Conflict analysis in search algorithms for propositional satisfiability (1996)
by
Joso I Marques Silva
| Venue: | in Proceedings of the IEEE International Conference on Tools with Artificial Intelligence |
| Citations: | 45 - 2 self |
BibTeX
@INPROCEEDINGS{Silva96conflictanalysis,
author = {Joso I Marques Silva},
title = {Conflict analysis in search algorithms for propositional satisfiability},
booktitle = {in Proceedings of the IEEE International Conference on Tools with Artificial Intelligence},
year = {1996}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper introduces GRASP (Generic seaRch Algorithm for the Sati$ability Problem), a new search algorithm for Propositional Satisjability (SAT). GRASP incorporates several search-pruning techniques, some of which are spec$c to SAT whereas others find equivalent in other fieh ofArt$cial Intelligence. GRASP is premised on the inevitability of conflicts during search and its most distinguishing feature is the augmentation of basic backtracking search with a
