Daniel Fontaine, Laurent Michel. A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers. In Nicolas Beldiceanu, Narendra Jussien, Eric Pinson, editors, Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings. Volume 7298 of Lecture Notes in Computer Science, pages 180-194, Springer, 2012. [doi]
Abstract is missing.