Computer Science
user118967's user avatar
user118967's user avatar
user118967's user avatar
user118967
  • Member for 8 years
  • Last seen more than a week ago
Profile Activity
Stats
641
reputation
10k
reached
0
answers
6
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
13
bronze badges
Top tags
View all tags
0
Score
3
Posts
50
Posts %
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
question
33
Is there a more intuitive proof of the halting problem's undecidability than diagonalization?
May 20, 2015
question
8
Why is first-order logic (without arithmetic) VALIDITY only recursively enumerable, and not recursive?
Jul 22, 2016
question
6
Why don't modern SAT solvers use the notion of a "watched clause", in the same way they use the notion of a "watched literal"?
May 14, 2015
question
2
Basic question about backjumping in SAT solvers
May 11, 2015
question
2
What does "post-image analysis" mean in the context of formal program analysis?
Feb 27, 2016
question
1
Problem in Papadimitriou's "Computational Complexity" seems odd
Aug 12, 2015
Top network posts
View all network posts
108
Docker error: Cannot start service ...: network 7808732465bd529e6f20e4071115218b2826f198f8cb10c3899de527c3b637e6 not found
87
Surefire Maven plugin: "Corrupted STDOUT by directly writing to native stream in forked JVM"
24
English word for someone who often and unwarrantedly imposes on others
21
Why do I get "! Undefined control sequence" in bbl from very simple example?
18
I have a GPU and CUDA installed in Windows 10 but Pytorch's torch.cuda.is_available() returns false; how can I correct this?

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.