×

Found 17 Documents (Results 1–17)

The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average. (English) Zbl 1409.68129

Esparza, Javier (ed.) et al., Automata, languages, and programming. 41st international colloquium, ICALP 2014, Copenhagen, Denmark, July 8–11, 2014. Proceedings, Part I. Berlin: Springer. Lect. Notes Comput. Sci. 8572, 89-100 (2014).
MSC:  68Q25 14T05 16Y60 52B20 91A43
PDFBibTeX XMLCite
Full Text: DOI arXiv

The tropical double description method. (English) Zbl 1230.52024

Marion, Jean-Yves (ed.) et al., STACS 2010. 27th international symposium on theoretical aspects of computer science, Nancy, France, March 4–6, 2010. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-16-3). LIPIcs – Leibniz International Proceedings in Informatics 5, 47-58, electronic only (2010).
MSC:  52B10 14T05 52B55 52A01 15A80
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software