Kenshi Matsuo

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Kenshi Matsuo, Tetsuya Koyama, Eiji Takimoto, Akira Maruoka
Relationships between Horn Formulas and XOR-MDNF Formulas. IEICE Trans. Inf. Syst. (2) (2004)
Kazuyuki Amano, Kazuo Iwama, Akira Maruoka, Kenshi Matsuo, Akihiro Matsuura
Inclusion-exclusion for k-CNF formulas. Inf. Process. Lett. 87 (2) (2003)