String theories involving regular membership predicates: from practice to theory and back

DOI10.1007/978-3-030-85088-3_5MaRDI QIDQ2140459zbMATH OpenOpenAlexFDO

Authors Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Publication date 20 May 2022

Full work available at URL https://arxiv.org/abs/2105.07220

Mathematics Subject Classification ID

Combinatorics on words (68R15)

Recommendations

• Solving String Theories Involving Regular Membership Predicates Using SAT
• A formal framework for stringology
• scientific article; zbMATH DE number 776040
• scientific article; zbMATH DE number 7300355
• Some properties of type \(\text{I}'\) string theory
• Towards string predictions
• σ-MODELS AND STRING THEORIES
• From the \(S\)-matrix to string theory
• From the \(S\)-matrix to string theory

Cites work

• scientific article; zbMATH DE number 1979550 (Why is no real title available?)
• scientific article; zbMATH DE number 1737190 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• scientific article; zbMATH DE number 3336814 (Why is no real title available?)
• A Survey on Fooling Sets as Effective Tools for Lower Bounds on Nondeterministic Complexity
• A decision procedure for regular membership and length constraints over unbounded strings
• An SMT solver for regular expressions and linear arithmetic over string length
• Chrobak normal form revisited, with applications
• Finite automata and unary languages
• More than 1700 years of word equations
• On solving word equations using SAT
• String theories involving regular membership predicates: from practice to theory and back
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• The satisfiability of word equations: decidable and undecidable theories
• Word equations in nondeterministic linear space
• Z3str2: an efficient solver for strings, regular expressions, and length constraints

Cited in

(6)

• An SMT solver for regular expressions and linear arithmetic over string length
• Solving String Theories Involving Regular Membership Predicates Using SAT
• String theories involving regular membership predicates: from practice to theory and back
• Towards more efficient methods for solving regular-expression heavy string constraints
• Formal languages via theories over strings: an overview of some recent results
• Solving string constraints using SAT

Describes a project that uses

Uses Software

• StringFuzz
• Saner
• Z3str2
• Z3str3
• Norn
• CVC4
• Stranger

This page was built for publication: String theories involving regular membership predicates: from practice to theory and back

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2140459)