|
|
| | Computing Tricky Probabilities Using Model Counting (msoos.org) | | 19 points by zero_k 11 months ago | past | 12 comments | |
| | Computing Tricky Probabilities (msoos.org) | | 4 points by matt_d 11 months ago | past | |
| | Probabilistic Approximate DNF volume counting (msoos.org) | | 2 points by zero_k on Sept 24, 2023 | past | 1 comment | |
| | Pepin: Probabilistic Approximate Volume Counter (msoos.org) | | 2 points by matt_d on Sept 24, 2023 | past | |
| | CMSGen, a Fast Uniform-Like Sampler (msoos.org) | | 3 points by matt_d on Sept 18, 2021 | past | |
| | CrystalBall: Sat Solving, Data Gathering, and Machine Learning (msoos.org) | | 4 points by another on June 14, 2019 | past | |
| | SAT Solvers as Smart Search Engines (msoos.org) | | 45 points by another on Feb 14, 2019 | past | 5 comments | |
| | How Approximate Model Counting Works (msoos.org) | | 3 points by matt_d on Dec 9, 2018 | past | |
| | Testing and Pentesting – a Rant (msoos.org) | | 2 points by mate_soos on May 27, 2017 | past | |
| | CryptoMiniSat 5.0.1 released – with MIT license (msoos.org) | | 5 points by another on Sept 10, 2016 | past | 1 comment | |
| | MiniSat in your browser (2013) (msoos.org) | | 3 points by idoco on Nov 6, 2014 | past | |
| | MiniSat in your browser (msoos.org) | | 2 points by kaeso on Sept 30, 2013 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
