The log-support encoding of CSP into SAT (2007)

by M Gavanelli
Venue:In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP'07), volume 4741 of LNCS