Sign in

Automata-Based Model Counting for String Constraints.

Abdulbaki AydinLucas BangTevfik Bultan
Published in: CAV (1) (2015)
Keyphrases
  • model counting
  • weighted model counting
  • constraint programming
  • learning algorithm