Login / Signup
Clingo goes Linear Constraints over Reals and Integers.
Tomi Janhunen
Roland Kaminski
Max Ostrowski
Torsten Schaub
Sebastian Schellhorn
Philipp Wanko
Published in:
CoRR (2017)
Keyphrases
</>
linear constraints
constraint databases
nonlinear programming
constraint solver
linearly constrained
equality constraints
convex sets
convex constraints
image processing
quadratic program