Skip to main content
Computer Science
Kyle Jones's user avatar
Kyle Jones's user avatar
Kyle Jones's user avatar
Kyle Jones
  • Member for 13 years, 9 months
  • Last seen this week
  • Seattle, WA
Profile Activity

Stats

8,267
reputation
265k
reached
156
answers
1
question
Communities
View all

Badges

View all badges
2
gold badges
30
silver badges
52
bronze badges

Top tags

View all tags
293
Score
66
Posts
42
Posts %
215
Score
46
Posts
29
Posts %
173
Score
35
Posts
22
Posts %
136
Score
23
Posts
15
Posts %
109
Score
21
Posts
13
Posts %
80
Score
15
Posts
10
Posts %

Top posts

View all questions and answers
answer
32
Is there a difference between top-down and bottom-up dynamic programming?
Dec 23, 2011
answer
21
Is finding a solution of a satisfiability problem harder than deciding satisfiability?
Aug 29, 2014
answer
19
Is UTF-8 the final character encoding for all future time?
Jun 14, 2020
answer
19
NP-complete problems not "obviously" in NP
Jun 19, 2014
answer
18
What is wrong with this simple proof of P=NP?
Mar 31, 2020
answer
16
Encoding 1-out-of-n constraint for SAT solvers
Jul 10, 2013
answer
14
Can there be a perfect chess algorithm?
Dec 11, 2012
answer
14
Converting (math) problems to SAT instances
May 18, 2013
answer
14
Is the following problem NP-hard? (or have you seen it before?)
Apr 27, 2021
answer
13
Why don't modern SAT solvers use the notion of a "watched clause", in the same way they use the notion of a "watched literal"?
May 14, 2015

Top Meta posts

0
2
8
Why isn't CS functioning as MathExchange or StackOverflow?

Top network posts

View all network posts
121
What is Mr. Data's full name?
116
Why did Darth Vader torture Han Solo in Cloud City?
115
Does rsync verify files copied between two local drives?
101
How to move a file without preserving permissions
99
Why does everyone think that the Millennium Falcon is a piece of junk?