Theoretical Computer Science
Evgenij Thorstensen's user avatar
Evgenij Thorstensen's user avatar
Evgenij Thorstensen's user avatar
Evgenij Thorstensen
  • Member for 13 years, 3 months
  • Last seen more than 8 years ago
Profile Activity
Stats
1,089
reputation
27k
reached
6
answers
3
questions
Communities
About

I am a graduate student at the University of Oxford, where I study configuration problems.

Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
17
bronze badges
Top tags
View all tags
26
Score
2
Posts
22
Posts %
26
Score
1
Posts
11
Posts %
26
Score
1
Posts
11
Posts %
8
Score
1
Posts
11
Posts %
7
Score
2
Posts
22
Posts %
7
Score
2
Posts
22
Posts %
Top posts
All Questions Answers
Score Newest
answer
33
Where and how did computers help prove a theorem?
Aug 17, 2010
question
30
Translating SAT to HornSAT
Aug 17, 2010
answer
26
What would it mean to disprove Church-Turing thesis?
Aug 17, 2010
question
11
Number of equivalence classes in regular languages as a function of DFA size
Aug 22, 2011
answer
8
Extensions of beta-theory of lambda calculus
Aug 18, 2010
answer
7
Open or Interactive Constraint Satisfaction
Oct 21, 2010
question
7
Is #P contained in PSPACE?
Oct 12, 2010
answer
2
Algorithm for inverting a bijective function.
Aug 18, 2010
answer
2
Given the following set of LISP primitives, is it possible to extend the eval function to evaluate defmacro?
Aug 28, 2010
Top Meta posts
1
0
6
Should we add a technical tutorial to the FAQ?

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.