Theoretical Computer Science
Kyle Jones's user avatar
Kyle Jones's user avatar
Kyle Jones's user avatar
Kyle Jones
  • Member for 11 years, 9 months
  • Last seen more than a month ago
  • Seattle, WA
Profile Activity
Stats
601
reputation
6k
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 %
23
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
All Questions Answers
Score Newest
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
5
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?
112
Does rsync verify files copied between two local drives?
110
What is Mr. Data's full name?
97
Why does everyone think that the Millennium Falcon is a piece of junk?
93
How to move a file without preserving permissions

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.