Model counting for recursively-defined strings

DOI10.1007/978-3-319-63390-9_21zbMath1495.68159OpenAlexW2735407609MaRDI QIDQ2164241

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar

Publication date: 12 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63390-9_21

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms on strings (68W32) Computational aspects of satisfiability (68R07)

Related Items (1)

Dashed strings for string constraint solving

This page was built for publication: Model counting for recursively-defined strings