Automatically selecting and optimizing constraint solver procedures for object-constraint languages. - Tim Felgentreff; Stefan Lehmann; Robert Hirschfeld; Sebastian Gerstenberg; Jakob Reschke; Lars Rückert; Patrick Siegler; Jan Graichen; Christian Nicolai; Malte Swart (MODULARITY (Companion), 2016)