Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming.

Pascal Van Hentenryck Thomas Graf

Published in: Ann. Math. Artif. Intell. (1992)

Keyphrases

constraint logic programming
constraint solving
answer set programming
logic programming language
logic programming
special case
constraint programming
proof theoretic
constraint propagation
lower bound
software engineering
description logics