On the relative merits of path dissolution and the method of analytic tableaux

Authors:
Neil V. Murray;Erik Rosenthal
Affiliations:
-;-
Venue:
Theoretical Computer Science
Year:
1994

Citing 0
Cited 3

Reductions for non-clausal theorem proving

Theoretical Computer Science
Efficient query processing with compiled knowledge bases

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Duality in knowledge compilation techniques

ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems

Quantified Score

Hi-index	5.23

Visualization

Abstract