an:00086021
Zbl 0755.90058
Stuckey, Peter J.
Incremental linear constraint solving and detection of implicit equalities
EN
ORSA J. Comput. 3, No. 4, 269-274 (1991).
00007727
1991
j
90C05
incremental linear constraint satisfaction problem; satisfiability problem
Summary: The incremental linear constraint satisfaction problem consists of repeatedly solving the satisfiability problem for a growing set of linear constraints. This problem is important to constraint logic programming systems where constraints are discovered one at a time and added to a current set, and the satisfiability of this constraint set must be known at all times. Implicit equalities of a system of constraints are inequality constraints that are satisfied as an equality in all solutions of the system of constraints. Detecting implicit equalities is important in determining the minimal (canonical) representation of a system of linear constraints. In incremental constraint solving systems detecting implicit equalities provides information that can simplify further constraint solving. We present an algorithm which efficiently solves the incremental linear constraint satisfaction problem and detects all the implicit equalities present in the constraints. The algorithm forms a basis for the inequality constraint solver in the \(\text{CLP}({\mathfrak R})\) system.