Theoretical Computer Science
Profile Activity
Meta user
Network profile
333
reputation
2
7

Leon Leon

leon.leon @ gmx.com

1
answer
3
questions
~4k
people reached
  • Member for 9 years, 7 months
  • 59 profile views
  • Last seen Mar 9 '11 at 10:21

Communities (4)

Top network posts

We respect a laser-like focus on one topic.

Top tags (11)

Score 7
Posts 1
Posts % 25
Score 7
Posts 1
Score 7
Posts 1
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (4)

All Questions Answers
Votes Newest
7 Boolean function with specific ОBDD representation Feb 8 '11
7 Boolean functions with exponential size OBDD representation in all orders except one order? Feb 25 '11
7 #SAT Solver download Dec 31 '10
1 Restricted read twice BDDs and context free grammars Dec 22 '10

Badges (9)

Gold

—

Silver

2

Rarest

Bronze

7

Rarest