Skip to main content
Theoretical Computer Science
Evgenij Thorstensen's user avatar
Evgenij Thorstensen's user avatar
Evgenij Thorstensen's user avatar
Evgenij Thorstensen
  • Member for 14 years
  • Last seen more than 9 years ago
Profile Activity
Stats
1,089
reputation
28k
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
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?