scientific article; zbMATH DE number 7204576

DOI10.4230/LIPIcs.ICALP.2017.124zbMath1442.68164arXiv1704.08122MaRDI QIDQ5111456

Thomas Dueholm Hansen, Karl Bringmann, Sebastian Krinninger

Publication date: 27 May 2020

Full work available at URL: https://arxiv.org/abs/1704.08122

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

shortest pathsparametric searchnegative cycle detectionquantitative verification and synthesis

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Graph theory (including graph drawing) in computer science (68R10) Parallel algorithms in computer science (68W10) Graph algorithms (graph-theoretic aspects) (05C85)

Related Items (1)

Shortest distances as enumeration problem

This page was built for publication: