Theoretical Computer Science
Meta user
Network profile
1,019
reputation
9
17

Evgenij Thorstensen

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

6
answers
3
questions
~21k
people reached
  • Oxford, United Kingdom
  • folk.uio.no/evgenit
  • Member for 9 years, 5 months
  • 202 profile views
  • Last seen Jan 5 '15 at 8:49

Communities (3)

Top Meta Posts
1
0

Top network posts

We respect a laser-like focus on one topic.

Top tags (20)

Score 24
Posts 2
Posts % 22
Score 24
Posts 1
Score 24
Posts 1
Score 8
Posts 1
Score 7
Posts 2
Score 7
Posts 2
View all tags →

Top posts (9) All Questions Answers | Votes Newest

32 Where and how did computers help prove a theorem? Aug 17 '10
26 Translating SAT to HornSAT Aug 17 '10
24 What would it mean to disprove Church-Turing thesis? Aug 17 '10
11 Number of equivalence classes in regular languages as a function of DFA size Aug 22 '11
8 Extensions of beta-theory of lambda calculus Aug 18 '10
7 Open or Interactive Constraint Satisfaction Oct 21 '10
6 Is #P contained in PSPACE? Oct 12 '10
2 Algorithm for inverting a bijective function. Aug 18 '10
2 Given the following set of LISP primitives, is it possible to extend the eval function to evaluate defmacro? Aug 28 '10

Badges (26)

Gold

—

Silver

9

Rarest

Bronze

17

Rarest

View all badges →