A Benchmark Method for the Propositional Modal Logics K, KT, S4
Journal of Automated Reasoning
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning
The SAT-Based Approach for Classical Modal Logics
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
Hi-index | 0.00 |