Graph_Theory Dependents

2023

MLSS Decision Procedure

by Lukas Stevens

May 05

Expander Graphs

by Emin Karayel

Mar 03

2022

Verification of Query Optimization Algorithms

by Lukas Stevens and Bernhard Stöckl

Oct 04

2021

Combinatorial Design Theory

by Chelsea Edmonds and Lawrence C. Paulson

Aug 13

2015

Planarity Certificates

by Lars Noschinski

Nov 11

Positional Determinacy of Parity Games

by Christoph Dittmann

Nov 02

2013

An Axiomatic Characterization of the Single-Source Shortest Path Problem

by Christine Rizkallah

May 22