A FAST PROCEDURE FOR FINDING PRIME IMPLICANTS OF A BOOLEAN FUNCTION

被引:1
|
作者
GUPTA, SC
机构
关键词
D O I
10.1080/00207218108901371
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
MATHEMATICAL PROGRAMMING
引用
收藏
页码:701 / 709
页数:9
相关论文
共 50 条
  • [41] Prime Implicates and Prime Implicants: From Propositional to Modal Logic
    Bienvenu, Meghyn
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 36 : 71 - 128
  • [42] Asymptotically optimal method of generating prime implicants
    Luzin, SY
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2000, 34 (01) : 65 - 68
  • [43] Representing Boolean formulas by using trees of implicants and implicates
    Gutiérrez, G
    de Guzmán, IP
    Martínez, J
    Ojeda-Aciego, M
    Valverde, A
    PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 551 - 554
  • [44] PRIME IMPLICANTS OF NONCOHERENT FAULT-TREES
    WORRELL, RB
    STACK, DW
    HULME, BL
    IEEE TRANSACTIONS ON RELIABILITY, 1981, 30 (02) : 98 - 100
  • [45] Application of Hypergraphs in the Prime Implicants Selection Process
    Wisniewski, R.
    Stefanowicz, L.
    Bazydlo, G.
    Wegrzyn, M.
    IFAC PAPERSONLINE, 2015, 48 (04): : 302 - 305
  • [46] Computing prime implicants via transversal clauses
    Singh, A
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1999, 70 (03) : 417 - 427
  • [47] AN INCREMENTAL METHOD FOR GENERATING PRIME IMPLICANTS IMPLICATES
    KEAN, A
    TSIKNIS, G
    JOURNAL OF SYMBOLIC COMPUTATION, 1990, 9 (02) : 185 - 206
  • [49] Computation of prime implicants using matrix and paths
    Shiny, AK
    Pujari, AK
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (02) : 135 - 145
  • [50] Approaches for Enumerating All the Essential Prime Implicants
    Salhi, Yakoub
    ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, AIMSA 2018, 2018, 11089 : 228 - 239