Login / Signup
Sebastian Gerstenberg
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Constraint Solvers
Constraint Satisfaction Problems
Constraint Logic Programming
Sat Solvers
Top Venues
MODULARITY (Companion)
</>
Publications
</>
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.
MODULARITY (Companion)
(2016)