External Links

    Journal: Electronic Colloquium on Computational Complexity (ECCC)

    Volume 8, Issue 12

    0 -- 0Evgeny Dantsin, Edward A. Hirsch, Sergei Ivanov, Maxim Vsemirnov. Algorithms for SAT and Upper Bounds on Their Complexity
    runs on