The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Using ATL to define advanced and flexible constraint model transformations
[article]
2010
arXiv
pre-print
Transforming constraint models is an important task in re- cent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tuning them is manda- tory to get solving-efficient models. We propose a new architecture al- lowing to define bridges between any (modeling or solver) languages and to implement model optimizations. This architecture follows a model- driven approach where the constraint modeling process is seen as a set of model
arXiv:1002.3078v1
fatcat:jrn6wx2fwrao3mef4mj6oh5shi