| 1. | | Incentives in Academic Research (msoos.org) |
| 64 points by zero_k 29 days ago | past | 77 comments |
|
| 2. | | Ganak: The making of a high-performance model counter (msoos.org) |
| 2 points by zero_k 8 months ago | past | 1 comment |
|
| 3. | | Ganak: The Making of a Versatile, High Performance Model Counter (msoos.org) |
| 1 point by matt_d 8 months ago | past |
|
| 4. | | Computing Tricky Probabilities Using Model Counting (msoos.org) |
| 19 points by zero_k on Feb 10, 2025 | past | 12 comments |
|
| 5. | | Computing Tricky Probabilities (msoos.org) |
| 4 points by matt_d on Feb 9, 2025 | past |
|
| 6. | | Probabilistic Approximate DNF volume counting (msoos.org) |
| 2 points by zero_k on Sept 24, 2023 | past | 1 comment |
|
| 7. | | Pepin: Probabilistic Approximate Volume Counter (msoos.org) |
| 2 points by matt_d on Sept 24, 2023 | past |
|
| 8. | | CMSGen, a Fast Uniform-Like Sampler (msoos.org) |
| 3 points by matt_d on Sept 18, 2021 | past |
|
| 9. | | CrystalBall: Sat Solving, Data Gathering, and Machine Learning (msoos.org) |
| 4 points by another on June 14, 2019 | past |
|
| 10. | | SAT Solvers as Smart Search Engines (msoos.org) |
| 45 points by another on Feb 14, 2019 | past | 5 comments |
|
| 11. | | How Approximate Model Counting Works (msoos.org) |
| 3 points by matt_d on Dec 9, 2018 | past |
|
| 12. | | Testing and Pentesting – a Rant (msoos.org) |
| 2 points by mate_soos on May 27, 2017 | past |
|
| 13. | | CryptoMiniSat 5.0.1 released – with MIT license (msoos.org) |
| 5 points by another on Sept 10, 2016 | past | 1 comment |
|
| 14. | | MiniSat in your browser (2013) (msoos.org) |
| 3 points by idoco on Nov 6, 2014 | past |
|
| 15. | | MiniSat in your browser (msoos.org) |
| 2 points by kaeso on Sept 30, 2013 | past |
|
