- Computer Science 4.9k 4.9k 2323 silver badges6666 bronze badges
- Stack Overflow 2.9k 2.9k 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 275 275 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 Distinguish Decision Procedure vs SMT solver vs Theorem prover vs Constraint solver
- 18 What classes of data structures can be made persistent?
- 18 How can I prove that the conversion from CNF to DNF is NP-Hard?
- View more network posts →