Computer Science
user avatar
user avatar
user avatar
Dchris
  • Member for 9 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
415
reputation
4k
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
Score Newest
question
23
Converting (math) problems to SAT instances
May 17, 2013
question
6
Modeling the problem of finding all stable sets of an argumentation framework as SAT
May 19, 2013
answer
1
Why do negative array indices make sense?
Mar 27, 2013
question
1
Start using SAT Solvers [duplicate]
May 17, 2013
Top network posts
View all network posts
128
How do I append text to a file?
40
Fix "firefox is already running" issue in Linux
25
Fix "firefox is already running" issue in Linux
13
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.