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
~23k
people reached
  • Oxford, United Kingdom
  • folk.uio.no/evgenit
  • Member for 10 years, 5 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 (0)

This user has not participated in any tags.

Top posts (9)

All Questions Answers
Votes Newest
32 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 →