Abduction of Linear Arithmetic Constraints.

Michael J. Maher

Published in: ICLP (2005)

Keyphrases

linear arithmetic constraints
linear programming
linear constraint databases
constraint databases
sat encodings
logic programming
fixed point
query language
belief revision
databases
lower bound
logic programs
orders of magnitude
spatial data