External Links

    Journal: Computational Complexity

    Volume 23, Issue 4

    509 -- 529Zeev Dvir, János Kollár, Shachar Lovett. Variety Evasive Sets
    531 -- 563Abhinav Kumar, Satyanarayana V. Lokam, Vijay M. Patankar, Jayalal Sarma. Using Elimination Theory to Construct Rigid Matrices
    565 -- 583Jason Teutsch. Short lists for shortest descriptions in short time
    585 -- 636Alexis Maciel, Phuong Nguyen, Toniann Pitassi. Lifting lower bounds for tree-like proofs
    637 -- 669Martin Mundhenk, Felix Weiss. An AC 1-complete model checking problem for intuitionistic logic
    runs on