Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,039
reputation
10
17

Evgenij Thorstensen

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

6
answers
3
questions
~24k
people reached
  • Oxford, United Kingdom
  • folk.uio.no/evgenit
  • Member for 10 years, 8 months
  • 204 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 (21)

Score 25
Posts 2
Posts % 22
Score 25
Posts 1
Score 25
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
33 Where and how did computers help prove a theorem? Aug 17 '10
27 Translating SAT to HornSAT Aug 17 '10
25 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 (27)

Gold

—

Silver

10

Rarest

Bronze

17

Rarest

View all badges →

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.