Solving string constraints using SAT

DOI10.1007/978-3-031-37703-7_9zbMath1545.68085MaRDI QIDQ6535533

Rupak Majumdar, Kevin Lotz, Bruno Dutertre, Dirk Nowotka, Benjamin Kiesl-Reiter, Amit Goel, Soonho Kong

Publication date: 12 January 2024

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational aspects of satisfiability (68R07)

This page was built for publication: Solving string constraints using SAT