Automatically selecting and optimizing constraint solver procedures for object-constraint languages.
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
01 May 2016
Venue : MODULARITY
External Link: https://doi.org/10.1145/2892664.2892671