An Efficient Algorithm to Generate Prime Implicants
Journal of Automated Reasoning
An improved incremental algorithm for generating prime implicates
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Hi-index | 0.00 |