| |
| 2006 | ||
|---|---|---|
| 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] |
| 3 | Yoshito Sasaura | [1] |
| 4 | Takehide Soh | [1] |
| 5 | Naoyuki Tamura | [1] |