Propagating systems of dense linear integer constraints

DOI10.1007/s10601-008-9049-9zbMath1186.68437OpenAlexW2045762300MaRDI QIDQ842789

Thibaut Feydy, Peter J. Stuckey

Publication date: 25 September 2009

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-008-9049-9

zbMATH Keywords

interval arithmeticconstraint propagationlinear constraintsGauss-Jordan eliminationFourier elimination

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Propagating systems of dense linear integer constraints

Uses Software

• CPLEX
• gaol
• Mercury

Cites Work

• An interval Newton method
• Propagating systems of dense linear integer constraints
• Improving linear constraint propagation by changing constraint representation
• Interval Methods for Systems of Equations
• Unnamed Item

This page was built for publication: Propagating systems of dense linear integer constraints