https://mccompetition.org/
Model Counting | Since 2020
model countingsince
https://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-169.html
Maximum Model Counting | EECS at UC Berkeley
model countingmaximumeecsucberkeley
https://drmaciver.com/notebook/2019/09/faster-sat-model-counting/
David R. MacIver's Blog: Faster SAT model counting
A trick for speeding up #SAT model counting that I figured out but haven't deployed, written up with the caveat that this is a notebook post and you should...
david rblogfastersatmodel