Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey. Flexible, Rule-Based Constraint Model Linearisation. In Paul Hudak, David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Volume 4902 of Lecture Notes in Computer Science, pages 68-83, Springer, 2008. [doi]
Abstract is missing.