%0 Conference Paper %1 conf/spin/KulczynskiLNP22 %A Kulczynski, Mitja %A Lotz, Kevin %A Nowotka, Dirk %A Poulsen, Danny Bøgsted %B SPIN %D 2022 %E Legunsen, Owolabi %E Rosu, Grigore %I Springer %K dblp %P 134-151 %T Solving String Theories Involving Regular Membership Predicates Using SAT. %U http://dblp.uni-trier.de/db/conf/spin/spin2022.html#KulczynskiLNP22 %V 13255 %@ 978-3-031-15077-7

@inproceedings{conf/spin/KulczynskiLNP22, added-at = {2022-09-22T00:00:00.000+0200}, author = {Kulczynski, Mitja and Lotz, Kevin and Nowotka, Dirk and Poulsen, Danny Bøgsted}, biburl = {https://www.bibsonomy.org/bibtex/232cb4ad79add7932a5830eaea04ddde4/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2022}, editor = {Legunsen, Owolabi and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-031-15077-7_8}, interhash = {dfa33cdee22fe44750ddeeaedfdc5dba}, intrahash = {32cb4ad79add7932a5830eaea04ddde4}, isbn = {978-3-031-15077-7}, keywords = {dblp}, pages = {134-151}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:50.000+0200}, title = {Solving String Theories Involving Regular Membership Predicates Using SAT.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2022.html#KulczynskiLNP22}, volume = 13255, year = 2022 }