Skip to main content
Computer Science
ConcernedCitizen's user avatar
ConcernedCitizen's user avatar
ConcernedCitizen's user avatar
ConcernedCitizen
  • Member for 5 years, 10 months
  • Last seen more than 1 year ago
Profile Activity
Stats
318
reputation
7k
reached
6
answers
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
View all tags
4
Score
3
Posts
43
Posts %
4
Score
1
Posts
14
Posts %
4
Score
1
Posts
14
Posts %
4
Score
1
Posts
14
Posts %
4
Score
1
Posts
14
Posts %
3
Score
2
Posts
29
Posts %
Top posts
answer
4
Maximum number of segments with no intersection
Oct 31, 2018
question
3
Naming facts exported from blocks in Isabelle/HOL
Apr 29, 2020
answer
3
Prove/disprove that the class of decidable (resp. partially decidable) languages is closed under symmetric difference
Nov 14, 2018
answer
3
Directed HAM Cycles with Additional Constraints to SAT
Dec 6, 2018
answer
3
DP recurrence relations: Coin change vs Knapsack
Dec 7, 2018
answer
0
A data structure that makes finding close objects easy
Oct 31, 2018
answer
0
Why are greedy algorithms used to find upper/lower bounds? (when they doesn't guarantee an optimal solution)
Nov 27, 2018
Top network posts
View all network posts
6
gcc Invalid version (max ) error adding symbols: Bad value