#beyondnp — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #beyondnp, aggregated by home.social.
-
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