On the handling of disequations in CLP over linear rational arithmetic

Authors:
Jean-Louis Imbert;Pascal van Hentenryck
Affiliations:
-;-
Venue:
Constraint logic programming
Year:
1993

Citing 0
Cited 4

Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning

Theoretical Computer Science
Adding Linear Constraints over Real Numbers to Curry

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
A constraint solver for model-based engineering

AI Communications
A pearl on SAT and SMT solving in Prolog

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract