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

Published in: MODULARITY (Companion) (2016)

Keyphrases