MCBAT: Model Counting for Constraints over Bounded Integer Arrays.

Abtin Molavi Tommy Schneider Mara Downing Lucas Bang

Published in: VSTTE (2020)

Keyphrases

model counting
weighted model counting
constraint satisfaction
knowledge base
database systems
query answering