Journal cover

computational complexity

Volume 23, issue 4, December 2014

5 articles in this issue

Variety Evasive Sets

Authors
- Zeev Dvir
- János Kollár
- Shachar Lovett
- Content type: OriginalPaper
- Published: 25 June 2013
- Pages: 509 - 529
Using Elimination Theory to Construct Rigid Matrices

Authors (first, second and last of 4)
- Abhinav Kumar
- Satyanarayana V. Lokam
- M. N. Jayalal Sarma
- Content type: OriginalPaper
- Published: 09 April 2013
- Pages: 531 - 563
Short lists for shortest descriptions in short time

Authors
- Jason Teutsch
- Content type: OriginalPaper
- Published: 06 September 2014
- Pages: 565 - 583
Lifting lower bounds for tree-like proofs

Authors
- Alexis Maciel
- Phuong Nguyen
- Toniann Pitassi
- Content type: OriginalPaper
- Published: 11 April 2013
- Pages: 585 - 636
An AC ¹-complete model checking problem for intuitionistic logic

Authors
- Martin Mundhenk
- Felix Wei
- Content type: OriginalPaper
- Published: 16 March 2013
- Pages: 637 - 669