Reformulations in mathematical programming: automatic symmetry detection and exploitation (Q662305): Difference between revisions

@@ Property / describes a project that uses @@
+MINLPLib
@@ Property / describes a project that uses: MINLPLib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MacMINLP
@@ Property / describes a project that uses: MacMINLP / 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/s10107-010-0351-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2106475988
@@ Property / OpenAlex ID: W2106475988 / rank @@
+Normal rank
@@ Property / cites work @@
+On Finitely Terminating Branch-and-Bound Algorithms for Some Global Optimization Problems
+Normal rank
@@ Property / cites work @@
+Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
+Normal rank
@@ Property / cites work @@
+Branching and bounds tighteningtechniques for non-convex MINLP
+Normal rank
@@ Property / cites work @@
+Detecting Orbitopal Symmetries
@@ Property / cites work: Detecting Orbitopal Symmetries / rank @@
+Normal rank
@@ Property / cites work @@
+Compact mathematical formulation for graph partitioning
+Normal rank
@@ Property / cites work @@
+MINLPLib—A Collection of Test Models for Mixed-Integer Nonlinear Programming
+Normal rank
@@ Property / cites work @@
+Fundamental algorithms for permutation groups
@@ Property / cites work: Fundamental algorithms for permutation groups / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry Definitions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Q4778692
@@ Property / cites work: Q4778692 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Formulations for Packing and Partitioning Orbitopes
+Normal rank
@@ Property / cites work @@
+Fundamental Domains for Integer Programs with Symmetries
+Normal rank
@@ Property / cites work @@
+Q4124997
@@ Property / cites work: Q4124997 / rank @@
+Normal rank
@@ Property / cites work @@
+Packing and partitioning orbitopes
@@ Property / cites work: Packing and partitioning orbitopes / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Hard Mixed-Integer Programming Problems with Xpress-MP: A MIPLIB 2003 Case Study
+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 @@
+Q5492526
@@ Property / cites work: Q5492526 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Symmetry-Breaking Constraints
+Normal rank
@@ Property / cites work @@
+Reformulations in mathematical programming: automatic symmetry detection and exploitation
+Normal rank
@@ Property / cites work @@
+Reformulations in Mathematical Programming: Definitions and Systematics
+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 @@
+Q3671211
@@ Property / cites work: Q3671211 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete search in continuous global optimization and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Orbital Branching
@@ Property / cites work: Orbital Branching / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Orbital Branching
@@ Property / cites work: Constraint Orbital Branching / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Advances in Constraints
@@ Property / cites work: Recent Advances in Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4239067
@@ Property / cites work: Q4239067 / rank @@
+Normal rank
@@ Property / cites work @@
+A polyhedral branch-and-cut approach to global optimization
+Normal rank
@@ Property / cites work @@
+Interval analysis on directed acyclic graphs for global optimization
+Normal rank
@@ Property / cites work @@
+Q4787523
@@ Property / cites work: Q4787523 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Discrete Model Representations via Symmetry Considerations
+Normal rank
@@ Property / cites work @@
+Graph isomorphism completeness for chordal bipartite graphs and strongly chordal graphs
+Normal rank
@@ Property / cites work @@
+Symmetry in semidefinite programs
@@ Property / cites work: Symmetry in semidefinite programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5512231
@@ Property / cites work: Q5512231 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability of some optimization problems
@@ Property / cites work: Unsolvability of some optimization problems / rank @@
+Normal rank