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, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
649
reputation
4k
reached
8
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
13
Posts
65
Posts %
3
Score
6
Posts
30
Posts %
2
Score
3
Posts
15
Posts %
2
Score
2
Posts
10
Posts %
2
Score
2
Posts
10
Posts %
1
Score
5
Posts
25
Posts %
Top posts
View all questions and answers
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
How often can a clause cause a conflict?
Nov 30, 2023
question
3
Independent Sets that are Odd Covers
May 20, 2014
question
2
Short UNSAT Certificates for X3SAT
May 18, 2022
question
2
Subsuming Learned Clauses
Jun 29
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, 2023
Top network posts
View all network posts
30
Even XOR Odd Infinities?
11
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}$?