Efficient Interval Linear Equality Solving in Constraint Logic Programming.

Chong-Kan Chiu Jimmy Ho-Man Lee

Published in: Reliab. Comput. (2002)

Keyphrases

constraint logic programming
constraint solving
logic programming
finite domain
logic programming language
convex quadratic programming
database systems
natural language
upper bound
logic programs
qualitative and quantitative
temporal reasoning
answer set programming
constraint propagation