Skip to main content

Explore our questions

1 vote
0 answers
90 views

Testing monotonicity for functions of the form $f :\{0,1,2\}^n\rightarrow \{0,1\}$

2 votes
1 answer
66 views

Solving #SAT through TQBF

4 votes
0 answers
55 views

EXPSPACE-complete optimization problems

8 votes
1 answer
205 views

A split-consistency property of a formal language

2 votes
0 answers
38 views

Subsuming Learned Clauses

1 vote
0 answers
21 views

Fat-finger sequences: sequences of numbers as ids for items which are immune from repetition due to mistyping, etc

13 votes
1 answer
223 views

Computational complexity of the elementary theory of finite fields

19 votes
2 answers
2k views

Gentle introduction to graph isomorphism for bounded valance graphs

0 votes
0 answers
80 views

Channel Capacity & Dependency Graph

4 votes
1 answer
102 views

Smoothed analysis in the Turing machine model

1 vote
0 answers
158 views

In what paper did Dijkstra say "with your hands in your pockets"?

5 votes
2 answers
203 views

The empty tree-word for regular tree languages

8 votes
0 answers
368 views

What exactly did Lenstra prove on mixed integer linear program?

4 votes
1 answer
132 views

Constructing vector valued boolean circuits from boolean circuits

Browse more Questions