Improving linear constraint propagation by changing constraint representation

DOI10.1023/A:1022323717928zbMath1039.68119OpenAlexW1488929456MaRDI QIDQ1405334

Warwick Harvey, Peter J. Stuckey

Publication date: 25 August 2003

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022323717928

zbMATH Keywords

finite domain constraint solvinglinear integer constraintspropagation methods

Mathematics Subject Classification ID

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

Related Items

Propagating systems of dense linear integer constraints ⋮ Contraint-based combinators for local search ⋮ A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals ⋮ An analysis of arithmetic constraints on integer intervals ⋮ An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints ⋮ View-based propagator derivation ⋮ An algorithm-independent measure of progress for linear constraint propagation