Compiling finite linear CSP into SAT. - Naoyuki Tamura; Akiko Taga; Satoshi Kitagawa; Mutsunori Banbara (Constraints An Int. J., 2009)