Towards breaking more composition symmetries in partial symmetry breaking
From MaRDI portal
(Redirected from Publication:1677433)
Recommendations
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?)
- Artificial Intelligence and Symbolic Computation
- Breaking All Value Symmetries in Surjection Problems
- Breaking Symmetry of Interchangeable Variables and Values
- Combining Symmetry Breaking and Global Constraints
- Consistency in networks of relations
- Constraint models for the covering test problem
- Dynamic Lex Constraints
- Dynamic structural symmetry breaking for constraint satisfaction problems
- General Symmetry Breaking Constraints
- Generic SBDD using computational group theory
- Handbook of constraint programming.
- Lightweight dynamic symmetry breaking
- Principles and Practice of Constraint Programming – CP 2003
- Principles and Practice of Constraint Programming – CP 2004
- Propagation via lazy clause generation
- Symmetry breaking constraints for value symmetries in constraint satisfaction
- Watched Literals for Constraint Propagation in Minion
Cited in
(3)
This page was built for publication: Towards breaking more composition symmetries in partial symmetry breaking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1677433)
