Solving String Constraints with Concatenation Using SAT

Download PDF
Open Webpage

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

Published: 2024, Last Modified: 22 Jan 2026FMCAD 2024EveryoneRevisionsBibTeXCC BY-SA 4.0