« first day (87 days earlier)      last day (485 days later) » 

10:57 PM
I will continue that review of the paper about the exponential lower bound for individuaization-refinement algorithms for graph isomorphism. Soon, very soon...
Here is another ambitious paper about graph isomorphism: scirate.com/arxiv/1706.09230
 

« first day (87 days earlier)      last day (485 days later) »