Gavoille Cyril

Cyril Gavoille

Information about the author Cyril Gavoille will soon be added to the site.
Found 2 papers in total
Compact labelings for efficient first‐order model‐checking
2011
We consider graph properties that can be checked from labels, i.e., bit sequences, of...
The compactness of interval routing
1999
The compactness of a graph measures the space complexity of its shortest path routing...
Papers per page: