Theoretical Computer Science
Evgenij Thorstensen's user avatar
Evgenij Thorstensen's user avatar
Evgenij Thorstensen's user avatar
Evgenij Thorstensen
  • Member for 13 years, 1 month
  • Last seen more than 10 years ago
Profile Activity
Stats
1,089
reputation
68
reached
0
answers
1
question
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.
5
silver badges
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
6
Should we add a technical tutorial to the FAQ?
Aug 17, 2010
Top network posts
View all network posts
33
Where and how did computers help prove a theorem?
30
Translating SAT to HornSAT
26
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

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.