Compiling finite linear CSP into SAT
収録刊行物
-
- Proc. 12th Int. Conf. on Principles and Practice of Constraint Programming (CP 2006)
-
Proc. 12th Int. Conf. on Principles and Practice of Constraint Programming (CP 2006) 590-603, 2006