| |
| 2003 | ||
|---|---|---|
| 1 | EE | Kazuyuki Amano, Kazuo Iwama, Akira Maruoka, Kenshi Matsuo, Akihiro Matsuura: Inclusion-exclusion for k-CNF formulas. Inf. Process. Lett. 87(2): 111-117 (2003) |
| 1 | Kazuyuki Amano | [1] |
| 2 | Kazuo Iwama | [1] |
| 3 | Akira Maruoka | [1] |
| 4 | Akihiro Matsuura | [1] |