Computer Science
Dchris
  • Member for 8 years, 10 months
  • Last seen more than 1 year ago
Profile Activity
Stats
425
reputation
3k
reached
1
answer
3
questions
Communities
View all
About

Computer Science student at University of Cyprus

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
0
Score
2
Posts
50
Posts %
0
Score
2
Posts
50
Posts %
0
Score
2
Posts
50
Posts %
Top posts
All Questions Answers
Votes Newest
24
Converting (math) problems to SAT instances
May 17 '13
6
Modeling the problem of finding all stable sets of an argumentation framework as SAT
May 19 '13
1
Start using SAT Solvers [duplicate]
May 17 '13
1
Why do negative array indices make sense?
Mar 27 '13
Top network posts
View all network posts
122
How do I append text to a file?
39
Fix "firefox is already running" issue in Linux
24
Fix "firefox is already running" issue in Linux
12
How do I change a git commit message in Bitbucket?
12
Use QWERTZ keyboard as a QWERTY

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.