Search Results for author: Joel D. Day

Found 1 papers, 0 papers with code

String Theories involving Regular Membership Predicates: From Practice to Theory and Back

no code implementations15 May 2021 Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Designing an algorithm for the (generally undecidable) satisfiability problem for systems of string constraints requires a thorough understanding of the structure of constraints present in the targeted cases.

Cannot find the paper you are looking for? You can Submit a new open access paper.