Stack Exchange
log in
chat
meta
about
Stack Exchange
All Sites
Hot Questions
Top Users
Newsletters
Blogs
MCH
mahdi.ch
top
accounts
reputation
activity
favorites
subscriptions
Top Questions
7
votes
Proofs found by computer
soft-question
big-list
proofs
automated-theorem-proving
asked Jan 14 at 2:50
cstheory.stackexchange.com
Top Answers
27
Isn't there any other way of doing double quotes in LaTeX besides `` + ''?
tex.stackexchange.com
18
Definition of matrix-multiplication exponent $\omega$
cstheory.stackexchange.com
13
Common false beliefs in theoretical computer science
cstheory.stackexchange.com
12
From Extractors to Pseudorandom Generators?
cstheory.stackexchange.com
12
Connection between PCP and L=SL
cstheory.stackexchange.com
11
What does 'gadget' mean in NP-hard reduction?
cstheory.stackexchange.com
10
Why are NPI problems not all of the same complexity?
cstheory.stackexchange.com
10
“long code test” and “dictatorship test”
cstheory.stackexchange.com
10
Maximum subset of words with Hamming distance ≥ D
cstheory.stackexchange.com
10
crack RSA: NP, or NP-complete?
math.stackexchange.com
7
Are there any problems whose best known algorithm has run time $O\left(\frac{f(n)}{\log n}\right)$
cstheory.stackexchange.com
7
Can Polar Codes (or any other efficient codes) reach the second order capacity?
cstheory.stackexchange.com
6
Long-lasting errors in computer science
cstheory.stackexchange.com
6
Applications of Spectral Graph Theory in Information and Coding Theory
cstheory.stackexchange.com
6
How to find a specific research topic to concentrate on?
cstheory.stackexchange.com
6
Problems with complexity between P and NP that have NP-complete generalizations
cstheory.stackexchange.com
6
Boolean error correcting code over $\mathbb{F}_q$
cstheory.stackexchange.com
6
What's the bias of random polynomials with low degree over GF(2)?
cstheory.stackexchange.com
5
Problems Between P and NPC
cstheory.stackexchange.com
5
Not-one 3-SAT; How hard is it?
cstheory.stackexchange.com
5
BPP Error Reduction
cstheory.stackexchange.com
5
Is 3SAT problem APX-hard or not?
cstheory.stackexchange.com
5
Complex analysis in theoretical computer science
cstheory.stackexchange.com
5
What is the decision version of independent set?
cs.stackexchange.com
Stack Exchange works best with JavaScript enabled