Graduate School of Information Sciences, Tohoku University (2004年 CiNii収録論文より)

Search authors sharing the same name

Articles:  1-1 of 1

  • Relationships between Horn Formulas and XOR-MDNF Formulas

    MATSUO Kenshi , KOYAMA Tetsuya , TAKIMOTO Eiji , MARUOKA Akira

    We study relationships between the class of Boolean formulas called exclusive-or expansions based on monotone DNF formulas (⊕MDNF formulas, for short) and the class of Horn DNF formulas. An &opl …

    IEICE Transactions on Information and Systems 87(2), 343-351, 2004-02-01

    References (14) Cited by (1)

Page Top