Lightweight dynamic symmetry breaking (Q2342593): Difference between revisions

@@ Property / author @@
-Maria Garcia de la Banda
@@ Property / author: Maria Garcia de la Banda / rank @@
-Normal rank
@@ Property / author @@
-Mark G. Wallace
@@ Property / author: Mark G. Wallace / rank @@
-Normal rank
@@ Property / author @@
+Maria Garcia de la Banda
@@ Property / author: Maria Garcia de la Banda / rank @@
+Normal rank
@@ Property / author @@
+Mark G. Wallace
@@ Property / author: Mark G. Wallace / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GAP
@@ Property / describes a project that uses: GAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gecode
@@ Property / describes a project that uses: Gecode / rank @@
+Normal rank
@@ 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 / OpenAlex ID @@
+W2027625205
@@ Property / OpenAlex ID: W2027625205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495106
@@ Property / cites work: Q4495106 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry definitions for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q4475624
@@ Property / cites work: Q4475624 / rank @@
+Normal rank
@@ Property / cites work @@
+Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Static and dynamic structural symmetry breaking
@@ Property / cites work: Static and dynamic structural symmetry breaking / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic structural symmetry breaking for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q4475622
@@ Property / cites work: Q4475622 / 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 @@
+A Novel Approach For Detecting Symmetries in CSP Models
+Normal rank
@@ Property / cites work @@
+Lightweight dynamic symmetry breaking
@@ Property / cites work: Lightweight dynamic symmetry breaking / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2342593