Theoretical Computer Science
Leon Leon
  • Member for 10 years, 9 months
Profile Activity
Stats
333
reputation
4k
reached
1
answers
3
questions
About

leon.leon @ gmx.com

Communities (4)

Top network posts

We respect a laser-like focus on one topic.

This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges

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

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.