User Realz Slaw - Stack Apps

1. Home
2. Your Apps
3. Questions
4. Unanswered
5. AI Assist Labs
6. Tags
8. Chat
9. Users
Stack Internal

Stack Overflow for Teams is now called Stack Internal. Bring the best of human thought and AI automation together at your work.
Try for free Learn more
Stack Internal
Bring the best of human thought and AI automation together at your work. Learn more

Realz Slaw

Member for 12 years, 1 month
Last seen more than 1 year ago

GitHub
$$F^{A^{R^{R^{R^{R^{A^{W^{A^{Y}}}}}}}}}$$

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

About

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

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

2

bronze badges

Supporter

Oct 8, 2013
Autobiographer

Sep 24, 2014

Posts

This user hasn’t posted yet.

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