CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Fast Subsumption Checks Using Anti-Links
Journal of Automated Reasoning
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates
Journal of Automated Reasoning
An Efficient Algorithm to Generate Prime Implicants
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A survey on knowledge compilation
AI Communications
Prime Implicates and Reduced Implicate Tries
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Knowledge compilation using theory prime implicates
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Identifying Prime Implicate Branches in Reduced Implicate Tries
Fundamenta Informaticae - Methodologies for Intelligent Systems
A new algorithm for computing theory prime implicates compilations
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Prime forms and minimal change in propositional belief bases
Annals of Mathematics and Artificial Intelligence
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 0.00 |