Towards breaking more composition symmetries in partial symmetry breaking (Q1677433): Difference between revisions

@@ Property / describes a project that uses @@
+CSPLib
@@ Property / describes a project that uses: CSPLib / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2017.07.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2754976122
@@ Property / OpenAlex ID: W2754976122 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Q4475624
@@ Property / cites work: Q4475624 / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight dynamic symmetry breaking
@@ Property / cites work: Lightweight dynamic symmetry breaking / rank @@
+Normal rank
@@ Property / cites work @@
+General Symmetry Breaking Constraints
@@ Property / cites work: General Symmetry Breaking Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Symmetry breaking constraints for value symmetries in constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Breaking Symmetry of Interchangeable Variables and Values
+Normal rank
@@ Property / cites work @@
+Combining Symmetry Breaking and Global Constraints
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Watched Literals for Constraint Propagation in Minion
+Normal rank
@@ Property / cites work @@
+Breaking All Value Symmetries in Surjection Problems
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint models for the covering test problem
@@ Property / cites work: Constraint models for the covering test problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495106
@@ Property / cites work: Q4495106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475622
@@ Property / cites work: Q4475622 / rank @@
+Normal rank
@@ Property / cites work @@
+Propagation via lazy clause generation
@@ Property / cites work: Propagation via lazy clause generation / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Lex Constraints
@@ Property / cites work: Dynamic Lex Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic structural symmetry breaking for constraint satisfaction problems
+Normal rank