Dynamic structural symmetry breaking for constraint satisfaction problems
From MaRDI portal
Publication:1037643
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
- scientific article; zbMATH DE number 2084698 (Why is no real title available?)
- scientific article; zbMATH DE number 2084699 (Why is no real title available?)
- scientific article; zbMATH DE number 1487977 (Why is no real title available?)
- scientific article; zbMATH DE number 867473 (Why is no real title available?)
- A Fast Algorithm for Generating Set Partitions
- Artificial Intelligence and Symbolic Computation
- Breaking Symmetry of Interchangeable Variables and Values
- Constraint and integer programming in OPL
- Cost-based filtering for shorter path constraints
- Dynamic structural symmetry breaking for constraint satisfaction problems
- Exploiting symmetries within constraint satisfaction search
- Generating effective symmetry-breaking predicates for search problems
- Solving Kirkman's schoolgirl problem in a few seconds
- Static and dynamic structural symmetry breaking
- Symmetry Definitions for Constraint Satisfaction Problems
- Symmetry breaking constraints for value symmetries in constraint satisfaction
Cited in
(26)- Dominance breaking constraints
- Dynamic and static symmetry breaking in answer set programming
- Lightweight dynamic symmetry breaking
- On local domain symmetry for model expansion
- Certified dominance and symmetry breaking for combinatorial optimisation
- Artificial Intelligence and Symbolic Computation
- Conditional Symmetry Breaking
- CDCLSym: introducing effective symmetry breaking in SAT solving
- scientific article; zbMATH DE number 2084753 (Why is no real title available?)
- Solving necklace constraint problems
- Symmetry breaking revisited
- Exploiting symmetries within constraint satisfaction search
- Symmetry Breaking for Maximum Satisfiability
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
- Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem
- Static and dynamic structural symmetry breaking
- Symmetry definitions for constraint satisfaction problems
- Symmetry breaking constraints for value symmetries in constraint satisfaction
- Symmetry and Consistency
- scientific article; zbMATH DE number 2084699 (Why is no real title available?)
- Dynamic structural symmetry breaking for constraint satisfaction problems
- Towards breaking more composition symmetries in partial symmetry breaking
- Parameterized complexity results in symmetry breaking
- Symmetry Definitions for Constraint Satisfaction Problems
- Symmetry breaking using stabilizers
- The complexity of symmetry-breaking formulas
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)
