Computer Science
Realz Slaw's user avatar
Realz Slaw's user avatar
Realz Slaw's user avatar
Realz Slaw
  • Member for 11 years, 2 months
  • Last seen this week
  • GitHub
  • $$F^{A^{R^{R^{R^{R^{A^{W^{A^{Y}}}}}}}}}$$
Profile Activity
Stats
6,191
reputation
223k
reached
71
answers
30
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.
32
silver badges
71
bronze badges
Top tags
View all tags
151
Score
44
Posts
44
Posts %
102
Score
18
Posts
18
Posts %
77
Score
10
Posts
10
Posts %
64
Score
16
Posts
16
Posts %
58
Score
8
Posts
8
Posts %
57
Score
18
Posts
18
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
22
Distinguish Decision Procedure vs SMT solver vs Theorem prover vs Constraint solver
Oct 13, 2013
answer
22
Is Dominosa NP-Hard?
Nov 15, 2013
question
21
What classes of data structures can be made persistent?
Nov 22, 2013
answer
18
Proving that the conversion from CNF to DNF is NP-Hard
Sep 10, 2012
answer
16
Tiling an orthogonal polygon with squares
Nov 7, 2013
question
15
Comparing rational numbers
Oct 23, 2012
question
15
Shortest non intersecting path for a graph embedded in a euclidean plane (2D)
Oct 20, 2013
answer
14
Poly-time reduction from ILP to SAT?
Oct 14, 2013
answer
14
What is "memory coalescing"?
Nov 21, 2013
question
12
Is there a generalization of Huffman Coding to Arithmetic coding?
Nov 8, 2015
Top Meta posts
4
4
14
Is it all right to cleanup "comment-answered-questions"?
7
How to ask P vs NP questions without getting closed?
4
Online design/rendering of graphs and illustrations in your posts?
3
How to prepare long posts with mathjax?
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
19
Integer multiplication when one integer is fixed
11
Faster arithmetic with finite continued fractions

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.