Hacker News new | ask | show | jobs
The Model Counting Competitions 2021-2023 (arxiv.org)
2 points by ahsillyme 416 days ago