Mastodawn

Dr. Anna Latour Nov 23, 2022

The results of the 2022 Model Counting competition have been published! https://github.com/msoos/model-counting-comp-2022

Thanks to Markus Hecher and Johannes Fichte for organising, and thanks to @msoos for uploading.

Now go play with those data and improve your counters!

#PropositionalModelCounting #ModelCounting #BeyondNP #AI #BooleanSatisfiability #FormalMethods #ArtificialIntelligence #Reasoning #Counting #ModelCounting

GitHub - msoos/model-counting-comp-2022: The binaries and the PDF of the Model Counting Competition of 2022

The binaries and the PDF of the Model Counting Competition of 2022 - GitHub - msoos/model-counting-comp-2022: The binaries and the PDF of the Model Counting Competition of 2022

GitHub