Compositional Derivation of Symmetries for Constraint Satisfaction

Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren. Compositional Derivation of Symmetries for Constraint Satisfaction. In Jean-Daniel Zucker, Lorenza Saitta, editors, Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings. Volume 3607 of Lecture Notes in Computer Science, pages 234-247, Springer, 2005. [doi]

Authors

Pascal Van Hentenryck

This author has not been identified. Look up 'Pascal Van Hentenryck' in Google

Pierre Flener

This author has not been identified. Look up 'Pierre Flener' in Google

Justin Pearson

This author has not been identified. Look up 'Justin Pearson' in Google

Magnus Ågren

This author has not been identified. Look up 'Magnus Ågren' in Google