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