Solving String Theories Involving Regular Membership Predicates Using SAT. - Mitja Kulczynski; Kevin Lotz; Dirk Nowotka; Danny Bøgsted Poulsen (SPIN, 2022)

Solving String Constraints Using SAT. - Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Rupak Majumdar; Dirk Nowotka (CAV (2), 2023)

Verified Verifying: SMT-LIB for Strings in Isabelle. - Kevin Lotz; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen; Anders Schlichtkrull (CIAA, 2023)

Solving String Constraints with Concatenation Using SAT. - Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Dirk Nowotka (FMCAD, 2024)

SMTQuery: Analysing SMT-LIB String Benchmarks. - Mitja Kulczynski; Kevin Lotz; Florin Manea; Danny Bøgsted Poulsen; Paul Sarnighausen-Cahn (SBMF, 2024)