Skip to main content
Computer Science
juaninf's user avatar
juaninf's user avatar
juaninf's user avatar
juaninf
  • Member for 11 years, 1 month
  • Last seen more than 1 year ago
Profile Activity
Stats
503
reputation
23k
reached
0
answers
24
questions
Communities
View all
Badges
View all badges
1
gold badge
5
silver badges
11
bronze badges
Top tags
View all tags
0
Score
13
Posts
54
Posts %
0
Score
4
Posts
17
Posts %
0
Score
4
Posts
17
Posts %
0
Score
3
Posts
12
Posts %
0
Score
2
Posts
8
Posts %
0
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
question
4
What are predicates of a sentence?
Feb 25, 2016
question
3
What does a square mean in a Boolean formula
Sep 26, 2015
question
3
The language of Logical Theory as Metalanguage
Feb 27, 2016
question
2
Measuring the hardness of SAT instances Lemma
Sep 27, 2015
question
2
The Space of an Unsatisfiable Formula
Sep 29, 2015
question
2
Size of Propositional Formula
Oct 16, 2015
question
2
Non-deterministic algorithms and Tautologies
Oct 17, 2015
question
2
What's non-algorithm-specific
Dec 12, 2015
question
2
Conflict Driven Clause Learning combined with brute force
Feb 19, 2016
question
1
Why is SAT not in P? [duplicate]
Nov 7, 2013
Top network posts
View all network posts
29
Can you sign using a digital certificate itself?
24
Why does key generation take an input $1^k$, and how do I represent it in practice?
24
Why initialize SHA1 with specific buffer?
22
Manifest merger failed : uses-sdk:minSdkVersion 1 cannot be smaller than version 7
20
Elastic Search number of object passed must be even