Skip to main content
Computer Science
ShyPerson's user avatar
ShyPerson's user avatar
ShyPerson's user avatar
ShyPerson
  • Member for 12 years, 7 months
  • Last seen this week
Profile Activity
Stats
947
reputation
33k
reached
18
answers
28
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
23
bronze badges
Top tags
View all tags
20
Score
16
Posts
35
Posts %
14
Score
5
Posts
11
Posts %
8
Score
9
Posts
20
Posts %
8
Score
4
Posts
9
Posts %
7
Score
4
Posts
9
Posts %
2
Score
13
Posts
28
Posts %
Top posts
View all questions and answers
question
13
Restricted version of the Clique problem?
May 1, 2012
question
6
Generalizing the Comparison Sorting Lower Bound Proof
Nov 8, 2012
answer
5
What is the purpose of learning propositional logic
Oct 18, 2020
question
5
Maximal minimal DFA for some language of n-bit strings
May 12, 2021
answer
5
Can someone clarify this unification algorithm?
Dec 15, 2014
question
4
Resolution complexity versus a constrained SAT algorithm
Jun 5, 2012
question
4
Proofs based on narrowing down sets of possibilities
Dec 12, 2012
answer
4
Addition, multiplication, and apostrophe used to represent boolean algebra expressions?
Nov 4, 2019
answer
4
Subtlety of a bar in introduction rule
May 14, 2018
answer
4
Which is the equivalent processing of human brain in terms of computer processing?
Mar 4, 2015
Top network posts
View all network posts
16
Results that were widely believed to be false but were later shown to be true
15
Formal System and Formal Logical System
14
How to shoot down your proofs
10
Controlled publication of an efficient factoring algorithm?
9
Survey Article on the Theory of Recursive Functions?