I am a graduate student at the University of Oxford, where I study configuration problems.
Oxford, United Kingdom
Member for 10 years
17 profile views
Last seen Dec 28 '12 at 23:07
Top network posts
- 32 Where and how did computers help prove a theorem?
- 26 Translating SAT to HornSAT
- 24 What would it mean to disprove Church-Turing thesis?
- 11 Number of equivalence classes in regular languages as a function of DFA size
- 8 Extensions of beta-theory of lambda calculus
- 7 Open or Interactive Constraint Satisfaction
- 6 Is #P contained in PSPACE?
- View more network posts →