Stack Exchange
sign up | log in | chat | meta | about | faq

Mathematics
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

Kyle Jones

less info
meta site favicon meta user | stack exchange network profile network profile
328 reputation
129
bio website
location Seattle, WA
age
visits member for 1 year, 5 months
seen yesterday
stats profile views 29

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


328 reputation
bio website visits member for 1 year, 5 months
129 badges
location Seattle, WA seen yesterday
summary answers questions tags badges favorites bounties reputation activity

9 Answers

newest activity votes
6
CNF to DNF — conversion is NP Hard
3
Why do mathematicians use single-letter variables?
2
transform traveling salesman problem into subgraph isomorphism problem
2
What is the complexity of succinct (binary) Nurikabe?
2
Is it possible to remove exactly one solution from a CNF in polynomial time?
1
Reduction over Exactly $m$ models
1
satisfiable assignment close to an unsatisfiable assignment
1
Find a best 4-tuple which fulfils a variable boolean formula
0
Check Whether A Boolean Formula Has One Satisfying Assignment
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.17.690