| |
| 2008 | ||
|---|---|---|
| 3 | EE | Youichi Hanatani, Takashi Horiyama, Kazuo Iwama, Suguru Tamaki: New Graph Calculi for Planar Non-3-Colorable Graphs. IEICE Transactions 91-A(9): 2301-2307 (2008) |
| 2006 | ||
| 2 | EE | Youichi Hanatani, Takashi Horiyama, Kazuo Iwama: Density condensation of Boolean formulas. Discrete Applied Mathematics 154(16): 2263-2270 (2006) |
| 2003 | ||
| 1 | EE | Youichi Hanatani, Takashi Horiyama, Kazuo Iwama: Density Condensation of Boolean Formulas. SAT 2003: 69-77 |
| 1 | Takashi Horiyama | [1] [2] [3] |
| 2 | Kazuo Iwama | [1] [2] [3] |
| 3 | Suguru Tamaki | [3] |