Skip to main content
MassimoLauria's user avatar
MassimoLauria's user avatar
MassimoLauria's user avatar
MassimoLauria
  • Member for 13 years, 10 months
  • Last seen more than a month ago
5 votes

Separating 2-SAT from Clique

14 votes
Accepted

Bounded depth probability distributions

11 votes

Clique problem on fixed graphs

24 votes

Ladner's Theorem vs. Schaefer's Theorem

7 votes
Accepted

Communication complexity with a referee

8 votes

Constructing uniquely satisfiable formulas

9 votes

Gröbner bases in TCS?

12 votes

Collaborative tools for dummies/professors

16 votes

Does $VP \neq VNP$ imply $P \neq NP$?

26 votes

Major unsolved problems in theoretical computer science?

11 votes

What papers should everyone read?

8 votes

What papers should everyone read?

7 votes

Algorithms from the Book

22 votes

Algorithms from the Book