Login / Signup
Projected Model Counting: Beyond Independent Support.
Jiong Yang
Supratik Chakraborty
Kuldeep S. Meel
Published in:
ATVA (2022)
Keyphrases
</>
model counting
machine learning
propositional logic
weighted model counting