A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics

• Authors:

• Enrico Giunchiglia;Armando Tacchella

• Affiliations:

• -;-

• Venue:
• TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
• Year:
• 2000