CGRASS: A system for transforming constraint satisfaction problems

DOI10.1007/3-540-36607-5_2MaRDI QIDQ4424851zbMATH OpenFDO

Authors Alan M. Frisch, Toby Walsh, Ian Miguel

Publication date 7 September 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2627/26270015.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2084734
• Recent Advances in Constraints
• scientific article; zbMATH DE number 1234562
• Trends in constraint programming.
• Symmetry Definitions for Constraint Satisfaction Problems

Cited in

(12)

• On implementing symmetry detection
• Automatically improving constraint models in Savile Row
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Symmetries, almost symmetries, and lazy clause generation
• Automated reformulation of specifications by safe delay of constraints
• Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$
• scientific article; zbMATH DE number 1059313 (Why is no real title available?)
• scientific article; zbMATH DE number 2084734 (Why is no real title available?)
• A Novel Approach For Detecting Symmetries in CSP Models
• Automatic generation of dominance breaking nogoods for a class of constraint optimization problems
• Automated streamliner portfolios for constraint satisfaction problems
• Generating streamlining constraints with large language models

Describes a project that uses

Uses Software

• HR

This page was built for publication: CGRASS: A system for transforming constraint satisfaction problems

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