Compositional derivation of symmetries for constraint satisfaction

Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
January 2005
PDF Cite DOI
Type
Conference paper
Publication
SARA 2005