Function Synthesis for Maximizing Model Counting.

Thomas Vigouroux Marius Bozga Cristian Ene Laurent Mounier

Published in: VMCAI (1) (2024)

Keyphrases

model counting
knowledge base
database systems
special case
polynomial size
normal form
knowledge compilation
weighted model counting