CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates
Journal of Automated Reasoning
On the Complexity and Inapproximability of Shortest Implicant Problems
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
An algorithm for computing theory prime implicates in first order logic
International Journal of Information and Communication Technology
The decomposition tree for analyses of boolean functions
Mathematical Structures in Computer Science
Pattern minimization problems over recursive data types
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Updating Reduced Implicate Tries
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Prime Implicates and Reduced Implicate Tries
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Identifying Prime Implicate Branches in Reduced Implicate Tries
Fundamenta Informaticae - Methodologies for Intelligent Systems
Tri-based set operations and selective computation of prime implicates
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Widening ROBDDs with prime implicants
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |