Automatic Generation of Symmetry-Breaking Constraints (Q5505671): 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 @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MIPLIB2003
@@ Property / describes a project that uses: MIPLIB2003 / 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/978-3-540-85097-7_31
+Normal rank
@@ Property / OpenAlex ID @@
+W1579153838
@@ Property / OpenAlex ID: W1579153838 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Group Relaxations for Integer Programs
+Normal rank
@@ Property / cites work @@
+Compact mathematical formulation for graph partitioning
+Normal rank
@@ Property / cites work @@
+Symmetry Definitions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Fundamental Domains for Integer Programs with Symmetries
+Normal rank
@@ Property / cites work @@
+Some polyhedra related to combinatorial problems
@@ Property / cites work: Some polyhedra related to combinatorial problems / rank @@
+Normal rank
@@ Property / cites work @@
+Packing and partitioning orbitopes
@@ Property / cites work: Packing and partitioning orbitopes / rank @@
+Normal rank
@@ Property / cites work @@
+All-different polytopes
@@ Property / cites work: All-different polytopes / rank @@
+Normal rank
@@ Property / cites work @@
+On a Binary-Encoded ILP Coloring Formulation
@@ Property / cites work: On a Binary-Encoded ILP Coloring Formulation / rank @@
+Normal rank
@@ Property / cites work @@
+Editorial: Reformulation techniques in mathematical programming
+Normal rank
@@ Property / cites work @@
+Pruning by isomorphism in branch-and-cut
@@ Property / cites work: Pruning by isomorphism in branch-and-cut / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting orbits in symmetric ILP
@@ Property / cites work: Exploiting orbits in symmetric ILP / rank @@
+Normal rank
@@ Property / cites work @@
+Small covering designs by branch-and-cut
@@ Property / cites work: Small covering designs by branch-and-cut / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric ILP: Coloring and small integers
@@ Property / cites work: Symmetric ILP: Coloring and small integers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040221
@@ Property / cites work: Q4040221 / rank @@
+Normal rank
@@ Property / cites work @@
+Orbital Branching
@@ Property / cites work: Orbital Branching / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Discrete Model Representations via Symmetry Considerations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5505671