Login / Signup

Parameterized model counting for string and numeric constraints.

Abdulbaki AydinWilliam EiersLucas BangTegan BrennanMiroslav GavrilovTevfik BultanFang Yu
Published in: ESEC/SIGSOFT FSE (2018)
Keyphrases
  • model counting
  • constraint satisfaction
  • knowledge compilation
  • weighted model counting
  • global constraints
  • database
  • special case
  • bayesian inference
  • lower and upper bounds
  • propositional formulas
  • polynomial size