Resolution versus Search: Two Strategies for SAT (2000)
by
Irina Rish
,
Rina Dechter
| Venue: | Journal of Automated Reasoning |
| Citations: | 39 - 1 self |
BibTeX
@ARTICLE{Rish00resolutionversus,
author = {Irina Rish and Rina Dechter},
title = {Resolution versus Search: Two Strategies for SAT},
journal = {Journal of Automated Reasoning},
year = {2000},
volume = {24},
pages = {215--259}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The paper compares two popular strategies for solving propositional satisfiability, backtracking search and resolution, and analyzes the complexity of a directional resolution algorithm (DR) as a function of the "width" (w) of the problem's graph.
