共 50 条
- [41] Prime Implicates and Prime Implicants: From Propositional to Modal Logic JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 36 : 71 - 128
- [43] Representing Boolean formulas by using trees of implicants and implicates PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 551 - 554
- [45] Application of Hypergraphs in the Prime Implicants Selection Process IFAC PAPERSONLINE, 2015, 48 (04): : 302 - 305
- [50] Approaches for Enumerating All the Essential Prime Implicants ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, AIMSA 2018, 2018, 11089 : 228 - 239