Dynamic structural symmetry breaking for constraint satisfaction problems
From MaRDI portal
Publication:1037643
DOI10.1007/S10601-008-9059-7zbMATH Open1186.68438OpenAlexW2014729335WikidataQ57574259 ScholiaQ57574259MaRDI QIDQ1037643FDOQ1037643
Authors: Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 
Publication date: 16 November 2009
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-008-9059-7
Recommendations
- Dynamic symmetry-breaking for Boolean satisfiability
- Symmetry breaking constraints for value symmetries in constraint satisfaction
- Dynamic and static symmetry breaking in answer set programming
- Exploiting symmetries within constraint satisfaction search
- Symmetry Breaking for Maximum Satisfiability
- CDCLSym: introducing effective symmetry breaking in SAT solving
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
- Symmetry-breaking answer set solving
- Recent Advances in Constraints
- Symmetry definitions for constraint satisfaction problems
Cites Work
- Title not available (Why is that?)
- A Fast Algorithm for Generating Set Partitions
- Title not available (Why is that?)
- Symmetry Definitions for Constraint Satisfaction Problems
- Constraint and integer programming in OPL
- Title not available (Why is that?)
- Solving Kirkman's schoolgirl problem in a few seconds
- Title not available (Why is that?)
- Artificial Intelligence and Symbolic Computation
- Exploiting symmetries within constraint satisfaction search
- Symmetry breaking constraints for value symmetries in constraint satisfaction
- Dynamic structural symmetry breaking for constraint satisfaction problems
- Static and dynamic structural symmetry breaking
- Cost-based filtering for shorter path constraints
- Generating effective symmetry-breaking predicates for search problems
- Breaking Symmetry of Interchangeable Variables and Values
Cited In (22)
- Symmetry definitions for constraint satisfaction problems
- Title not available (Why is that?)
- Artificial Intelligence and Symbolic Computation
- Conditional Symmetry Breaking
- Title not available (Why is that?)
- Exploiting symmetries within constraint satisfaction search
- Static and dynamic structural symmetry breaking
- Symmetry breaking constraints for value symmetries in constraint satisfaction
- Dynamic structural symmetry breaking for constraint satisfaction problems
- Solving necklace constraint problems
- The complexity of symmetry-breaking formulas
- Symmetry breaking revisited
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
- Towards breaking more composition symmetries in partial symmetry breaking
- Symmetry Breaking for Maximum Satisfiability
- Symmetry breaking using stabilizers
- Parameterized complexity results in symmetry breaking
- Lightweight dynamic symmetry breaking
- Symmetry and Consistency
- Symmetry Definitions for Constraint Satisfaction Problems
- Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem
- CDCLSym: introducing effective symmetry breaking in SAT solving
Uses Software
This page was built for publication: Dynamic structural symmetry breaking for constraint satisfaction problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1037643)
