scispace - formally typeset
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

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

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

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.