Akiko Taga

Compiling finite linear CSP into SAT

Mutsunori Banbara, Naoyuki Tamura, Akiko Taga, 2006, Constraints.

Compiling finite linear CSP into SAT

Naoyuki Tamura, Mutsunori Banbara, Akiko Taga, 2006, Constraints.