Model Counting Meets Distinct Elements.

A. Pavan N. V. Vinodchandran Arnab Bhattacharyya Kuldeep S. Meel

Published in: Commun. ACM (2023)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
machine learning
expert systems
relational databases