Compiling finite linear CSP into SAT
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori BanbaraVolume:
14
Language:
english
Pages:
19
DOI:
10.1007/s10601-008-9061-0
Date:
June, 2009
File:
PDF, 429 KB
english, 2009