An ILP-based Proof System for the Crossing Number Problem
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4131955
- A branch-and-cut approach to the crossing number problem
- Algorithms for the fixed linear crossing number problem
- Crossing Numbers and Parameterized Complexity
- Crossing Number is NP-Complete
- An algorithm for the graph crossing number problem
- Some provably hard crossing number problems
- Integer programs for logic constraint satisfaction
- Numerical reasoning with an ILP system capable of lazy evaluation and customised search
- scientific article; zbMATH DE number 1487879
Cited in
(25)- Approximating the 3-period incremental knapsack problem
- An improved algorithm for a two-stage production scheduling problem with an outsourcing option
- Star-struck by fixed embeddings: modern crossing number heuristics
- The longest processing time rule for identical parallel machines revisited
- On approximating the incremental knapsack problem
- A tight linear time \(\frac{13}{12}\)-approximation algorithm for the \(P2 || C_{\max}\) problem
- There are no cubic graphs on 26 vertices with crossing number 10 or 11
- Bounded degree conjecture holds precisely for \(c\)-crossing-critical graphs with \(c \le 12\)
- Facets in the crossing number polytope
- Characterizing all graphs with 2-exceptional edges
- On the crossing number of the Cartesian product of a sunlet graph and a star graph
- Bounded degree conjecture holds precisely for c-crossing-critical graphs with c 12
- On the crossing number of the join of the wheel on five vertices with the discrete graph
- A survey of graphs with known or bounded crossing numbers
- On the crossing numbers of Cartesian products of wheels and trees
- Star-Struck by Fixed Embeddings: Modern Crossing Number Heuristics
- The crossing numbers of join products of four graphs of order five with paths and cycles
- The crossing numbers of join product of four graphs on six vertices with discrete graphs
- On the crossing numbers of Cartesian products of small graphs with paths, cycles and stars
- On 13-crossing-critical graphs with arbitrarily large degrees
- The influence of separating cycles in drawings of K₅ e in the join product with paths and cycles
- The crossing numbers of join products of K₄ K₁ with cycles
- Conjectures about wheels without one edge
- The crossing numbers of join products of seven graphs of order six with paths and cycles
- On 13-crossing-critical graphs with arbitrarily large degrees
This page was built for publication: An ILP-based Proof System for the Crossing Number Problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4606298)
