Login / Signup

Model Counting for Recursively-Defined Strings.

Minh-Thai TrinhDuc-Hiep ChuJoxan Jaffar
Published in: CAV (2) (2017)
Keyphrases
  • model counting
  • weighted model counting
  • polynomial size
  • search algorithm
  • user defined
  • probabilistic inference