Compiling finite linear CSP into SAT

Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara. Compiling finite linear CSP into SAT. Constraints, 14(2):254-272, 2009. [doi]

Authors

Naoyuki Tamura

This author has not been identified. Look up 'Naoyuki Tamura' in Google

Akiko Taga

This author has not been identified. Look up 'Akiko Taga' in Google

Satoshi Kitagawa

This author has not been identified. Look up 'Satoshi Kitagawa' in Google

Mutsunori Banbara

This author has not been identified. Look up 'Mutsunori Banbara' in Google