Skip to main content
Theoretical Computer Science
Kyle Jones's user avatar
Kyle Jones's user avatar
Kyle Jones's user avatar
Kyle Jones
  • Member for 12 years, 11 months
  • Last seen more than a week ago
  • Seattle, WA
Profile Activity
Stats
611
reputation
7k
reached
8
answers
0
questions
Communities
View all
About

I am a computer programmer. Knowledge representation and algorithmic complexity are my main interests.

Badges
View all badges
1
gold badge
9
silver badges
14
bronze badges
Top tags
View all tags
34
Score
7
Posts
88
Posts %
24
Score
4
Posts
50
Posts %
14
Score
1
Posts
12
Posts %
14
Score
1
Posts
12
Posts %
9
Score
1
Posts
12
Posts %
9
Score
1
Posts
12
Posts %
Top posts
answer
14
What is the precise definition of Random K-SAT?
Dec 21, 2011
answer
9
Starting SAT solver papers
Dec 28, 2011
answer
7
How do I use canonical ordering to reduce symmetry in the SAT encoding of the pigeonhole problem?
Apr 4, 2013
answer
6
Conversion between k-SAT and XOR-SAT
Nov 10, 2014
answer
6
Eliminating clauses from a CNF formula based on their unsatisfying truth assignments being covered by some other clause
Mar 11, 2013
answer
1
Translating pure literal elimination into rup
Sep 2, 2020
answer
0
Abstract high-level framwork for #SAT
Nov 4, 2015
answer
-3
Is there an algorithm for 3x3 sudokus without backtracking?
Jun 18, 2020
Top network posts
View all network posts
116
Why did Darth Vader torture Han Solo in Cloud City?
114
Does rsync verify files copied between two local drives?
110
What is Mr. Data's full name?
98
How to move a file without preserving permissions
97
Why does everyone think that the Millennium Falcon is a piece of junk?