Tim Felgentreff, Stefan Lehmann, Robert Hirschfeld, Sebastian Gerstenberg, Jakob Reschke, Lars Rückert, Patrick Siegler, Jan Graichen, Christian Nicolai, Malte Swart. Automatically selecting and optimizing constraint solver procedures for object-constraint languages. In Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki, editors, Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016. pages 65-72, ACM, 2016. [doi]