The Dynamic Descriptive Complexity of k-Clique.

Thomas Zeume

Browse the full MFCS paper archive.