Dr. Anna Latour · @anna
236 followers · 90 posts · Server mathstodon.xyz
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
#counting #reasoning #artificialintelligence #formalmethods #booleansatisfiability #ai #beyondnp #modelcounting #propositionalmodelcounting