On the Handling of Disequations in CLP over Linear Rational Arithmetic.

Jean-Louis Imbert Pascal Van Hentenryck

Published in: WCLP (1991)

Keyphrases

constraint logic programming
decision making
multi agent
closed form
data sets
artificial intelligence
image processing
website
multiscale
objective function
support vector
special case
constraint programming
quadratic programming
simple linear