Login / Signup
clingo goes Linear Constraints over Reals and Integers.
Tomi Janhunen
Roland Kaminski
Max Ostrowski
Torsten Schaub
Sebastian Schellhorn
Philipp Wanko
Published in:
ASPOCP@LPNMR (2017)
Keyphrases
</>
linear constraints
constraint databases
linearly constrained
nonlinear programming
constraint solver
equality constraints
quadratic program
convex constraints
real numbers
linear relaxation