Increasing constraint propagation by redundant modeling: An experience report

DOI10.1023/A:1009894810205zbMath0949.68605OpenAlexW1512988629MaRDI QIDQ1297711

B. M. W. Cheng, J. C. K. Wu, K. M. F. Choi, Jimmy Ho-man Lee

Publication date: 12 September 1999

Published in: Constraints (Search for Journal in Brave)

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

zbMATH Keywords

constraint solving process

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Related Items (12)

Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints ⋮ Constraint models for the covering test problem ⋮ Symmetry breaking constraints for value symmetries in constraint satisfaction ⋮ \textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Redundant modeling in permutation weighted constraint satisfaction problems ⋮ Propagation algorithms for lexicographic ordering constraints ⋮ Automated reformulation of specifications by safe delay of constraints ⋮ Automatic generation of redundant models for permutation constraint satisfaction problems ⋮ Constraint models for graceful graphs ⋮ Classifier-based constraint acquisition ⋮ Evaluating ASP and commercial solvers on the CSPLib ⋮ Exploiting functional dependencies in declarative problem specifications

This page was built for publication: Increasing constraint propagation by redundant modeling: An experience report