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

@@ 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