Login / Signup

Projected Model Counting: Beyond Independent Support.

Jiong YangSupratik ChakrabortyKuldeep S. Meel
Published in: ATVA (2022)
Keyphrases
  • model counting
  • machine learning
  • propositional logic
  • weighted model counting