Propagation redundancy in redundant modelling

DOI10.1007/B13743zbMATH Open1273.68340OpenAlexW2497660909MaRDI QIDQ5897199FDOQ5897199

Authors: Chiu Wo Choi, Peter J. Stuckey, J. H. M. Lee 

Publication date: 2 March 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13743

Recommendations

• Removing propagation redundant constraints in redundant modeling
• Increasing constraint propagation by redundant modeling: An experience report
• scientific article; zbMATH DE number 1975616
• Redundant modeling in permutation weighted constraint satisfaction problems
• Automatic generation of redundant models for permutation constraint satisfaction problems

Mathematics Subject Classification ID

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

Cited In (8)

• Removing propagation redundant constraints in redundant modeling
• Symmetry breaking constraints for value symmetries in constraint satisfaction
• Propagation = Lazy Clause Generation
• Redundant modeling in permutation weighted constraint satisfaction problems
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Automatic generation of dominance breaking nogoods for a class of constraint optimization problems
• Propagation via lazy clause generation
• Automatic generation of redundant models for permutation constraint satisfaction problems

Uses Software

• CSPLib

This page was built for publication: Propagation redundancy in redundant modelling

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