Theoretical Computer Science
Russell Easterly's user avatar
Russell Easterly's user avatar
Russell Easterly's user avatar
Russell Easterly
  • Member for 12 years, 7 months
  • Last seen this week
Profile Activity
Stats
559
reputation
4k
reached
6
answers
8
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
4
Score
5
Posts
36
Posts %
2
Score
7
Posts
50
Posts %
2
Score
3
Posts
21
Posts %
2
Score
2
Posts
14
Posts %
2
Score
2
Posts
14
Posts %
2
Score
2
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
13
Comparing the Kolmogorov complexity of theories
Feb 3, 2015
question
9
MAX 1 in 2 SAT Algorithm
Aug 22, 2014
question
6
Comparing the Kolmogorov complexity of theories - Part 2
Feb 24, 2015
question
6
What is the Kolmogorov complexity of arithmetic?
May 5, 2015
question
3
Independent Sets that are Odd Covers
May 20, 2014
question
2
Short UNSAT Certificates for X3SAT
May 18, 2022
answer
2
How hard is counting the number of vertex covers after a small perturbation?
Apr 28, 2011
answer
2
Short UNSAT Certificates for X3SAT
Mar 15
question
1
How often can a clause cause a conflict?
Nov 30
answer
0
SAT to k-in-3-SAT reduction
Nov 19
Top network posts
View all network posts
30
Even XOR Odd Infinities?
10
How does induction fail in computable nonstandard models?
10
What is wrong with this simple proof of P=NP?
9
Can A Decidable Theory Have Nonrecursive Models?
8
Is there a natural bijection from $\mathbb{N}$ to $\mathbb{Q}$?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.