Propagation redundancy in redundant modelling

DOI10.1007/B13743MaRDI QIDQ5897199zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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

Describes a project that uses

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)