Half reification and flattening (2011)

by Thibaut Feydy, Zoltan Somogyi, Peter J Stuckey
Venue:Proceedings of CP 2011, RR n° 8084 Reifying Global Constraints 18 17th International Conference on Principles and Practice of Constraint Programming, volume 6876 of Lecture Notes in Computer Science