Member for 9 years, 1 month
contact info: realz.slaw on gmail,
- Computer Science 6k 6k 2929 silver badges6767 bronze badges
- Stack Overflow 3k 3k 11 gold badge2121 silver badges3737 bronze badges
- Mathematics 602 602 66 silver badges2020 bronze badges
- Area 51 276 276 66 bronze badges
- Theoretical Computer Science 275 275 44 silver badges1111 bronze badges
- View network profile
Top network posts
- 36 Quantifiable metrics (benchmarks) on the usage of header-only c++ libraries
- 28 Quantifiable metrics (benchmarks) on the usage of header-only c++ libraries
- 24 Limits of SMT solvers
- 23 Is Dominosa NP-Hard?
- 20 What classes of data structures can be made persistent?
- 19 Distinguish Decision Procedure vs SMT solver vs Theorem prover vs Constraint solver
- 18 How can I prove that the conversion from CNF to DNF is NP-Hard?
- View more network posts →