Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A solver for QBFs in negation normal form
Constraints
A Solver for QBFs in Nonprenex Form
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Logical analysis of hash functions
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
On Definitional Transformations To Normal Form For Intuitionistic Logic
Fundamenta Informaticae
Hi-index | 0.00 |