user avatar
user avatar
user avatar
James King
  • Member for 11 years, 11 months
  • Last seen more than 2 years ago
31 votes

Algorithms from the Book.

30 votes

Major unsolved problems in theoretical computer science?

28 votes

Journals with quick reviewing

20 votes

Why is there an enormous difference between SAT solvers?

17 votes

The importance of Integrality Gap

15 votes
Accepted

Bounded-cardinality bounded-frequency set cover: hardness of approximation

15 votes
Accepted

"All-different hypergraph coloring" - known problem?

10 votes
Accepted

Best algorithm for calculating lists of neighbours

9 votes

Hardness of finding a graph coloring given the optimal number of colors

9 votes

Starting SAT solver papers

8 votes
Accepted

Parallel Dynamic Search

8 votes
Accepted

Searching nodes in semi-splay tree

7 votes

measures for a DAG (directed acyclic graph)?

6 votes

Where can you find job postings for faculty positions in CS theory?

5 votes
Accepted

What is the correct name for the space of genotypes and fitness?

5 votes

Dynamic Upper Envelope of lines in the plane

5 votes

Art gallery variants with pairwise visibility?

4 votes
Accepted

Facility Location problem, multiple facilities with no specific locations

3 votes

Graphs to download

3 votes
Accepted

Proving skip-lists strongly weight-balanced in expectation

2 votes

Are there pre-doc positions in TCS?