| | Ganak: The making of a high-performance model counter (msoos.org) |
| 2 points by zero_k 33 days ago | past | 1 comment |
|
| | Ganak: The Making of a Versatile, High Performance Model Counter (msoos.org) |
| 1 point by matt_d 34 days ago | past |
|
| | Computing Tricky Probabilities Using Model Counting (msoos.org) |
| 19 points by zero_k on Feb 10, 2025 | past | 12 comments |
|
| | Computing Tricky Probabilities (msoos.org) |
| 4 points by matt_d on Feb 9, 2025 | 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 |
|
