Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen. Solving String Theories Involving Regular Membership Predicates Using SAT. In Owolabi Legunsen, Grigore Rosu, editors, Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Volume 13255 of Lecture Notes in Computer Science, pages 134-151, Springer, 2022. [doi]
Abstract is missing.