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
Nonlinear constraints over the real numbers appear in many application domains, like chemistry, econ...
International audienceA new approach to the problem of minimizing a quartic (fourth order) cost func...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
We introduce an extension of linear constraints, called linear- range constraints, which allows for ...
International audienceWe present a type system for linear constraints over reals and its use in mode...
Range constraint based on aflow algorithm. We propose an extension of the Range constraint where we ...
Constraint Logic Programming solvers on finite domains use constraints to prune those combinations o...
Linear Programming is a mathematical technique to help plan and to achieve the best outcome. It will...
Extended clauses are the basic formulas of the 0-1 constraint solver for the constraint logic progra...
Abstract. Nonlinear constraints over the real numbers appear in many application domains, like chemi...
We recently proposed a simple declarative language for specifying a wide range of counting and occur...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
AbstractIn this paper, we study the problem of solving integer range constraints that arise in many ...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
The objective function and the constraints can be formulated as linear functions of independent vari...
Nonlinear constraints over the real numbers appear in many application domains, like chemistry, econ...
International audienceA new approach to the problem of minimizing a quartic (fourth order) cost func...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
We introduce an extension of linear constraints, called linear- range constraints, which allows for ...
International audienceWe present a type system for linear constraints over reals and its use in mode...
Range constraint based on aflow algorithm. We propose an extension of the Range constraint where we ...
Constraint Logic Programming solvers on finite domains use constraints to prune those combinations o...
Linear Programming is a mathematical technique to help plan and to achieve the best outcome. It will...
Extended clauses are the basic formulas of the 0-1 constraint solver for the constraint logic progra...
Abstract. Nonlinear constraints over the real numbers appear in many application domains, like chemi...
We recently proposed a simple declarative language for specifying a wide range of counting and occur...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
AbstractIn this paper, we study the problem of solving integer range constraints that arise in many ...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
The objective function and the constraints can be formulated as linear functions of independent vari...
Nonlinear constraints over the real numbers appear in many application domains, like chemistry, econ...
International audienceA new approach to the problem of minimizing a quartic (fourth order) cost func...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
DOI
Add to ORKG