A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics
Annals of Mathematics and Artificial Intelligence
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning
Finding Tractable Formulas in NNF
CL '00 Proceedings of the First International Conference on Computational Logic
Applying the Davis-Putnam Procedure to Non-clausal Formulas
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Model elimination and connection tableau procedures
Handbook of automated reasoning
Equality elimination for the inverse method and extension procedures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A modularity approach for a fragment of ALC
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Incremental compilation-to-SAT procedures
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
| Hi-index | 0.00 |