Variable ranges in linear constraints

Authors:
Salvatore Ruggieri;Fred Mesnard
Affiliations:
Università di Pisa, Italy;Università de la Réunion, France
Venue:
Proceedings of the 2010 ACM Symposium on Applied Computing
Year:
2010

Citing 3
Cited 0

Theory of linear and integer programming

Theory of linear and integer programming
Parameterized polyhedra and their vertices

International Journal of Parallel Programming
Newton—constraint programming over nonlinear constraints

Science of Computer Programming - Special issue on concurrent constraint programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce an extension of linear constraints, called linear- range constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear- range constraints is provided in terms of parameterized linear systems. We devise procedures for checking satisfiability and for entailing the maximal width of a variable. An extension of the constraint logic programming language CLP(R) is proposed by admitting linear-range constraints.