Login / Signup

Clingo goes linear constraints over reals and integers.

Tomi JanhunenRoland KaminskiMax OstrowskiSebastian SchellhornPhilipp WankoTorsten Schaub
Published in: Theory Pract. Log. Program. (2017)
Keyphrases
  • linear constraints
  • constraint databases
  • linearly constrained
  • constraint solver
  • nonlinear programming
  • quadratic program
  • equality constraints
  • learning algorithm
  • expressive power
  • convex sets
  • np complete