Propagating systems of dense linear integer constraints

DOI10.1007/S10601-008-9049-9zbMATH Open1186.68437OpenAlexW2045762300MaRDI QIDQ842789FDOQ842789

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1222422
• Linear dynamical systems with integer constraints
• Computational complexity of linear constraints over the integers
• scientific article; zbMATH DE number 14318
• An efficient representation for linear constraints
• QUALITATIVE PROPERTIES OF SYSTEMS OF LINEAR CONSTRAINTS
• Linear programs for constraint satisfaction problems
• scientific article; zbMATH DE number 3912102
• scientific article; zbMATH DE number 7124428

zbMATH Keywords

interval arithmeticGauss-Jordan eliminationconstraint propagationlinear constraintsFourier elimination

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Interval Methods for Systems of Equations
• An interval Newton method
• Improving linear constraint propagation by changing constraint representation
• Propagating systems of dense linear integer constraints

Cited In (4)

• Propagating systems of dense linear integer constraints
• Improving linear constraint propagation by changing constraint representation
• An analysis of arithmetic constraints on integer intervals
• Recent Advances in Constraints

Uses Software

• CPLEX
• gaol
• Mercury

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q842789)