search result

Cover von Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs

Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs

Year: 2019
Media group: LIPIcs
Cover von Dynamic Effective Resistances and Approximate Schur Complement on Separable Graphs

Dynamic Effective Resistances and Approximate Schur Complement on Separable Graphs

Year: 2018
Media group: LIPIcs
Cover von A Tree Structure For Dynamic Facility Location

A Tree Structure For Dynamic Facility Location

Year: 2018
Media group: LIPIcs
Cover von Memetic Graph Clustering

Memetic Graph Clustering

Year: 2018
Media group: LIPIcs
Cover von Faster Algorithms for Mean-Payoff Parity Games

Faster Algorithms for Mean-Payoff Parity Games

Year: 2017
Media group: LIPIcs
Cover von Dynamic Clustering to Minimize the Sum of Radii

Dynamic Clustering to Minimize the Sum of Radii

Year: 2017
Media group: LIPIcs
Cover von The Power of Vertex Sparsifiers in Dynamic Graph Algorithms

The Power of Vertex Sparsifiers in Dynamic Graph Algorithms

Year: 2017
Media group: LIPIcs
Cover von Improved Guarantees for Vertex Sparsification in Planar Graphs

Improved Guarantees for Vertex Sparsification in Planar Graphs

Year: 2017
Media group: LIPIcs
Cover von Improved Set-Based Symbolic Algorithms for Parity Games

Improved Set-Based Symbolic Algorithms for Parity Games

Year: 2017
Media group: LIPIcs
Cover von Conditionally Optimal Algorithms for Generalized Büchi Games

Conditionally Optimal Algorithms for Generalized Büchi Games

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0