Solving String Constraints Using SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka. Solving String Constraints Using SAT. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. Volume 13965 of Lecture Notes in Computer Science, pages 187-208, Springer, 2023. [doi]

This author has not been identified. Look up 'Kevin Lotz' in GoogleThis author has not been identified. Look up 'Amit Goel' in GoogleThis author has not been identified. Look up 'Bruno Dutertre' in GoogleThis author has not been identified. Look up 'Benjamin Kiesl-Reiter' in GoogleThis author has not been identified. Look up 'Soonho Kong' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in GoogleThis author has not been identified. Look up 'Dirk Nowotka' in Google

runs on WebDSL