| |
| 2006 | ||
|---|---|---|
| 2 | Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma: Lemma Reusing for SAT based Planning and Scheduling. ICAPS 2006: 103-113 | |
| 1 | EE | Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura: A competitive and cooperative approach to propositional satisfiability. Discrete Applied Mathematics 154(16): 2291-2306 (2006) |
| 1 | Mutsunori Banbara | [1] |
| 2 | Katsumi Inoue | [1] [2] |
| 3 | Koji Iwanuma | [2] |
| 4 | Hidetomo Nabeshima | [2] |
| 5 | Yoshito Sasaura | [1] |
| 6 | Naoyuki Tamura | [1] |
| 7 | Seiji Ueda | [1] |