External Links

    Journal: Electronic Colloquium on Computational Complexity (ECCC)

    Volume 10, Issue 010

    0 -- 0Sven Baumer, Rainer Schuler. Improving a probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs
    runs on