A New Algebraic Tool for Automatic Theorem Provers
Annals of Mathematics and Artificial Intelligence
An algorithm for computing theory prime implicates in first order logic
International Journal of Information and Communication Technology
Updating Reduced Implicate Tries
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Compilation for critically constrained knowledge bases
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Tri-based set operations and selective computation of prime implicates
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Efficient synthesis of feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
Hi-index | 0.00 |