A method for detecting symmetries in constraint models and its generalisation (Q2342650): Difference between revisions

@@ Property / describes a project that uses @@
+GAP
@@ Property / describes a project that uses: GAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniZinc
@@ Property / describes a project that uses: MiniZinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CSPLib
@@ Property / describes a project that uses: CSPLib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OPL
@@ Property / describes a project that uses: OPL / 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.1007/s10601-014-9175-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2120598107
@@ Property / OpenAlex ID: W2120598107 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking modes of HAL programs
@@ Property / cites work: Checking modes of HAL programs / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Programming to Minimize the Maximum Number of Open Stacks
+Normal rank
@@ Property / cites work @@
+On implementing symmetry detection
@@ Property / cites work: On implementing symmetry detection / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically Exploiting Subproblem Equivalence in Constraint Programming
+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 @@
+Constraint and Integer Programming in OPL
@@ Property / cites work: Constraint and Integer Programming in OPL / rank @@
+Normal rank
@@ Property / cites work @@
+Breaking Symmetry of Interchangeable Variables and Values
+Normal rank
@@ Property / cites work @@
+Lightweight dynamic symmetry breaking
@@ Property / cites work: Lightweight dynamic symmetry breaking / rank @@
+Normal rank
@@ Property / cites work @@
+A Novel Approach For Detecting Symmetries in CSP Models
+Normal rank
@@ Property / cites work @@
+Automatic Detection of Variable and Value Symmetries
+Normal rank
@@ Property / cites work @@
+Abstract domains for reordering CLP(RLin) programs
+Normal rank
@@ Property / cites work @@
+Recent Advances in Constraints
@@ Property / cites work: Recent Advances in Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Caching Search States in Permutation Problems
@@ Property / cites work: Caching Search States in Permutation Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis. 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
+Normal rank