Login / Signup
Improving Model Counting by Leveraging Definability.
Jean-Marie Lagniez
Emmanuel Lonca
Pierre Marquis
Published in:
IJCAI (2016)
Keyphrases
</>
model counting
weighted model counting
fixed point
propositional logic
knowledge compilation
polynomial size