Kyle Jones

less info

network profile

383 reputation

1410

bio	website
	location	Seattle, WA
	age
visits	member for	1 year, 5 months
	seen	8 hours ago
stats	profile views	41

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

summary answers questions tags badges favorites bounties reputation activity

4 Answers

votes activity newest

11	What is the precise definition of Random K-SAT?
6	How do I use canonical ordering to reduce symmetry in the SAT encoding of the pigeonhole problem?
4	Eliminating clauses from a CNF formula based on their unsatisfying truth assignments being covered by some other clause
4	Starting SAT solver papers

383 Reputation

+75	How do I use canonical ordering to reduce symmetry in the SAT encoding of the pigeonhole problem?
+2	Constructively efficient algorithms without efficient correctness and efficiency proof
+55	Eliminating clauses from a CNF formula based on their unsatisfying truth assignments being covered by some other clause
+10	What is the precise definition of Random K-SAT?

view more

0 Questions

votes activity newest

This user has not asked any questions

7 Tags

21 sat × 3	6 proof-complexity
21 cc.complexity-theory × 3	4 ds.algorithms
11 randomness	4 reference-request
11 phase-transition

22 Accounts

	Science Fiction & Fantasy	12,833 rep	13278
	Unix & Linux	4,849 rep	1316
	Super User	3,911 rep	2419
	Stack Overflow	2,730 rep	1312
	Computer Science	640 rep	1211

13 Badges

recent class name

Informed	Yearling
Necromancer × 2	Fanatic
Revival × 2	Nice Answer
Critic	Citizen Patrol
Commentator	Enthusiast

view more

0 Active bounties

active offered earned

This user has no active bounties

52 Votes Cast

all time			by type			month
50	up		22	question		2
2	down		30	answer		2

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.22.696

Theoretical Computer Science Stack Exchange works best with JavaScript enabled