Automata-Based Model Counting for String Constraints.

Abdulbaki Aydin, Lucas Bang, Tevfik Bultan

Browse the full CAV paper archive.