« first day (111 days earlier)      last day (461 days later) » 

Thomas Klimpel
Thomas Klimpel
9:21 AM
Jul 3 at 22:57, by Thomas Klimpel
I will continue that review of the paper about the exponential lower bound for individuaization-refinement algorithms for graph isomorphism. Soon, very soon...
 

« first day (111 days earlier)      last day (461 days later) »