D
Dirk Oliver Theis
Researcher at University of Tartu
Publications - 94
Citations - 1054
Dirk Oliver Theis is an academic researcher from University of Tartu. The author has contributed to research in topics: Polytope & Travelling salesman problem. The author has an hindex of 15, co-authored 93 publications receiving 942 citations. Previous affiliations of Dirk Oliver Theis include Heidelberg University & Otto-von-Guericke University Magdeburg.
Papers
More filters
Journal ArticleDOI
Compact formulations of the Steiner Traveling Salesman Problem and related problems
TL;DR: It turns out that, just by putting the best of the formulations of the TSP into the CPLEX branch-and-bound solver, one can solve instances with over 200 nodes.
Journal ArticleDOI
Combinatorial bounds on nonnegative rank and extended formulations
Samuel Fiorini,Volker Kaibel,Kanstantsin Pashkovich,Kanstantsin Pashkovich,Dirk Oliver Theis +4 more
TL;DR: It is proved that both the cube as well as the Birkhoff polytope do not admit extended formulations with fewer inequalities than these polytopes have facets, and it is shown that every extended formulation of a d -dimensional neighborlypolytope with Ω ( d 2 ) vertices has size.
Posted Content
Combinatorial Bounds on Nonnegative Rank and Extended Formulations
Samuel Fiorini,Volker Kaibel,Kanstantsin Pashkovich,Kanstantsin Pashkovich,Dirk Oliver Theis +4 more
TL;DR: The main known lower bounds on the minimum sizes of extended formulations for fixed polytope P (Yannakakis 1991) are closely related to the concept of non-deterministic communication complexity as mentioned in this paper.
Journal ArticleDOI
A Branch and Cut solver for the maximum stable set problem
Steffen Rebennack,Marcus Oswald,Dirk Oliver Theis,Hanna Seitz,Gerhard Reinelt,Panos M. Pardalos +5 more
TL;DR: Theoretical results regarding the facet-defining property of inequalities obtained by a known project-and-lift-style separation method called edge-projection, and its variants, are provided.
Book ChapterDOI
Symmetry matters for the sizes of extended formulations
TL;DR: It is shown that for the polytopes associated with the matchings in Kn with $\lfloor\log n\rfloor$ edges there are non-symmetric extended formulations of polynomial size, while nevertheless no symmetric extended formulation of poynomial size exists.