Russell Easterly

Member for 12 years, 7 months
Last seen this week

Summary

Reputation

579

579
535
491

2020
2021
2022
2023

Top tag

cc.complexity-theory

Next privilege

1,000 Rep.

See votes

Badges

2

10

Newest

Revival

Next badge

0/1

Custodian

Questions

View all 8 questions

Score Activity Newest Views

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

Independent Sets that are Odd Covers

May 20, 2014

Answers

View all 7 answers

Score Activity Newest

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

0

SAT to k-in-3-SAT reduction

Nov 19

0

How often can a clause cause a conflict?

8 hours ago

0

Weighted SAT: is this a known problem?

Jul 15, 2013

Tags

View all 14 tags

cc.complexity-theory

4

Score

6

posts

sat

2

Score

8

posts

graph-algorithms

2

Score

3

posts

np

2

Score

2

posts

np-complete

2

Score

2

posts

Reputation

+30

How often can a clause cause a conflict?

+20

Short UNSAT Certificates for X3SAT

+20

Short UNSAT Certificates for X3SAT

+10

Complexity of applying a permutation in-place

Badges

View all badges

This user doesn’t have any gold badges yet.

2

silver badges

Yearling

× 2

Nov 13, 2019

10

bronze badges

Curious

May 6, 2015
Peer Pressure

Apr 13, 2020
Revival

Jul 13

Accounts

1,261
8
18

687
5
10

Theoretical Computer Science

579
2
10

Computer Science

341
2
10

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

This user has not cast any votes