Hard Theorems
About
Archives
Links
'Cause when the proof gets tough… the tough get provin' (…proof complexity lower bounds!)
Archives
Recent Articles
Sums-of-squares integer programming relaxation: Lecture 8
September 20, 2016
Sums-of-squares integer programming relaxation: Lecture 7
Sums-of-squares integer programming relaxation: Lecture 6
April 21, 2016
Sums-of-squares integer programming relaxation: Lecture 5
Sums-of-squares integer programming relaxation: Lecture 4
March 11, 2016
Months
September 2016
(2)
April 2016
(2)
March 2016
(1)
February 2015
(7)
January 2014
(3)
December 2013
(1)
November 2013
(1)
October 2011
(4)
September 2011
(2)
Categories
2011
(1)
approximation
(8)
complexity
(2)
conferences
(1)
divulgazione
(2)
emacs
(2)
impossibilità
(1)
italiano
(2)
kth
(1)
latex
(1)
logic
(1)
lowerbound
(10)
office
(1)
phdstudent
(1)
positivstellensatz
(2)
prague
(1)
rank
(10)
soscourse2014
(10)
sumofsquares
(10)
Uncategorized
(5)
workplace
(1)
Tags
ai
aiclass
cs