Keyword : prime implicant


Tree-Shellability of Restricted DNFs
Yasuhiko TAKENAGA Nao KATOUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/04/01
Vol. E91-D  No. 4 ; pp. 996-1002
Type of Manuscript:  PAPER
Category: Algorithm Theory
Keyword: 
Boolean functionshellabilityprime implicantbinary decision tree
 Summary | Full Text:PDF(210.9KB)

Horn Functions with a Single Two-Negated Term
Naoki KAWAMURA Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 3264-3266
Type of Manuscript:  LETTER
Category: General Fundamentals and Boundaries
Keyword: 
Boolean functionHorn functionprime implicantP-complete
 Summary | Full Text:PDF(64.4KB)

Recognition of Ordered Tree-Shellable Boolean Functions Based on OBDDs
Yasuhiko TAKENAGA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/01/01
Vol. E84-D  No. 1 ; pp. 28-33
Type of Manuscript:  Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: 
Keyword: 
tree-shellable Boolean functionordered binary decision diagram (OBDD)prime implicantshellability
 Summary | Full Text:PDF(253.3KB)

Identification of P-Fuzzy Switching Functions
Hiroaki KIKUCHI Masao MUKAIDONO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/07/25
Vol. E78-A  No. 7 ; pp. 860-868
Type of Manuscript:  PAPER
Category: Artificial Intelligence and Knowledge
Keyword: 
fuzzy switching functionsprime implicantP-functionsfuzzy logicuniformity
 Summary | Full Text:PDF(607.3KB)