Theoretical Computer Science
Realz Slaw's user avatar
Realz Slaw's user avatar
Realz Slaw's user avatar
Realz Slaw
  • Member for 12 years, 10 months
  • Last seen more than a week ago
  • GitHub
  • $$F^{A^{R^{R^{R^{R^{A^{W^{A^{Y}}}}}}}}}$$
Profile Activity
Stats
295
reputation
2k
reached
1
answer
0
questions
Communities
View all
About

contact info: realz.slaw on gmail, enter image description here

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
11
bronze badges
Top tags
19
Score
1
Posts
100
Posts %
19
Score
1
Posts
100
Posts %
19
Score
1
Posts
100
Posts %
19
Score
1
Posts
100
Posts %
19
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
19
Integer multiplication when one integer is fixed
Oct 15, 2013
Top network posts
View all network posts
37
Quantifiable metrics (benchmarks) on the usage of header-only c++ libraries
28
Quantifiable metrics (benchmarks) on the usage of header-only c++ libraries
25
Limits of SMT solvers
23
Is Dominosa NP-Hard?
22
Distinguish Decision Procedure vs SMT solver vs Theorem prover vs Constraint solver

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.