Highly Influenced

# Directional Resolution

@inproceedings{Dechter1994DirectionalR, title={Directional Resolution}, author={Rina Dechter and Irina Rish}, year={1994} }

- Published 1994

The paper presents an algorithm called directional resolution, a variation on the original Davis-Putnam algorithm, and analyzes its worst-case behavior as a function of the topological structure of propositional theories. The concepts of induced width and diversity are shown to play a key role in bounding the complexity of the procedure. The importance of our analysis lies in highlighting structure-based tractable classes of satis ability and in providing theoretical guarantees on the time andâ€¦Â CONTINUE READING

#### From This Paper

##### Figures, tables, and topics from this paper.

20 Citations

20 References

Similar Papers