1. Variety Evasive Sets

   • Zeev Dvir
   • János Kollár
   • Shachar Lovett

   OriginalPaper 25 June 2013 Pages: 509 - 529

2. Using Elimination Theory to Construct Rigid Matrices

   • Abhinav Kumar
   • Satyanarayana V. Lokam
   • M. N. Jayalal Sarma

   OriginalPaper 09 April 2013 Pages: 531 - 563

3. Short lists for shortest descriptions in short time

   • Jason Teutsch

   OriginalPaper 06 September 2014 Pages: 565 - 583

4. Lifting lower bounds for tree-like proofs

   • Alexis Maciel
   • Phuong Nguyen
   • Toniann Pitassi

   OriginalPaper 11 April 2013 Pages: 585 - 636

5. An AC ¹-complete model checking problem for intuitionistic logic

   • Martin Mundhenk
   • Felix Wei

   OriginalPaper 16 March 2013 Pages: 637 - 669