Incremental Linear Constraint Solving and Detection of Implicit Equalities

DOI10.1287/ijoc.3.4.269zbMath0755.90058OpenAlexW2089977270MaRDI QIDQ4015412

Peter J. Stuckey

Publication date: 11 February 1993

Published in: ORSA Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1287/ijoc.3.4.269

zbMATH Keywords

satisfiability problemincremental linear constraint satisfaction problem

Mathematics Subject Classification ID

Linear programming (90C05)

Related Items (4)

The use of the optimal partition in a linear programming solution for postoptimal analysis ⋮ Finding a maximal element of a non-negative convex set through its characteristic cone: an application to finding a strictly complementary solution ⋮ Consistency, redundancy, and implied equalities in linear systems ⋮ Equality detection for linear arithmetic constraints

This page was built for publication: Incremental Linear Constraint Solving and Detection of Implicit Equalities