- Computer Science 4.8k 4.8k 2222 silver badges6363 bronze badges
- Stack Overflow 2.8k 2.8k 11 gold badge1818 silver badges3636 bronze badges
- Mathematics 472 472 55 silver badges2020 bronze badges
- Area 51 276 276 66 bronze badges
- Theoretical Computer Science 265 265 44 silver badges1111 bronze badges
- View network profile →
Top network posts
- 30 Quantifiable metrics (benchmarks) on the usage of header-only c++ libraries
- 28 Quantifiable metrics (benchmarks) on the usage of header-only c++ libraries
- 23 Limits of SMT solvers
- 23 Is Dominosa NP-Hard?
- 18 How can I prove that the conversion from CNF to DNF is NP-Hard?
- 17 What classes of data structures can be made persistent?
- 17 Distinguish Decision Procedure vs SMT solver vs Theorem prover vs Constraint solver
- View more network posts →