Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving.

Johannes Klaus Fichte

Browse the full COMMA paper archive.