| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara: Compiling finite linear CSP into SAT. Constraints 14(2): 254-272 (2009) |
| 2006 | ||
| 1 | EE | Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara: Compiling Finite Linear CSP into SAT. CP 2006: 590-603 |
| 1 | Mutsunori Banbara | [1] [2] |
| 2 | Satoshi Kitagawa | [1] [2] |
| 3 | Naoyuki Tamura | [1] [2] |