Towards breaking more composition symmetries in partial symmetry breaking
From MaRDI portal
Publication:1677433
DOI10.1016/J.ARTINT.2017.07.006zbMATH Open1419.68096OpenAlexW2754976122MaRDI QIDQ1677433FDOQ1677433
Authors: Zichen Zhu, J. H. M. Lee 
Publication date: 21 November 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2017.07.006
Recommendations
Cites Work
- Handbook of constraint programming.
- Consistency in networks of relations
- Propagation via lazy clause generation
- Title not available (Why is that?)
- General Symmetry Breaking Constraints
- Watched Literals for Constraint Propagation in Minion
- Principles and Practice of Constraint Programming – CP 2004
- Title not available (Why is that?)
- Constraint models for the covering test problem
- Principles and Practice of Constraint Programming – CP 2003
- Title not available (Why is that?)
- Artificial Intelligence and Symbolic Computation
- Generic SBDD using computational group theory
- Symmetry breaking constraints for value symmetries in constraint satisfaction
- Dynamic structural symmetry breaking for constraint satisfaction problems
- Dynamic Lex Constraints
- Breaking Symmetry of Interchangeable Variables and Values
- Breaking All Value Symmetries in Surjection Problems
- Lightweight dynamic symmetry breaking
- Combining Symmetry Breaking and Global Constraints
Cited In (3)
Uses Software
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)
