Solving String Theories Involving Regular Membership Predicates Using SAT
From MaRDI portal
Publication:6487302
DOI10.1007/978-3-031-15077-7_8zbMATH Open1514.6833MaRDI QIDQ6487302FDOQ6487302
Authors: Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen 
Publication date: 7 December 2022
Recommendations
- String theories involving regular membership predicates: from practice to theory and back
- Solving constraint satisfaction problems with SAT modulo theories
- An efficient SMT solver for string constraints
- A theory of satisfiability-preserving proofs in SAT solving
- Constraint reasoning over strings
- scientific article; zbMATH DE number 554989
- Propositional SAT solving
- Variant Satisfiability of Parameterized Strings
Cites Work
- Title not available (Why is that?)
- Derivatives of Regular Expressions
- An efficient algorithm for solving word equations
- Title not available (Why is that?)
- Finite automata and unary languages
- Periodic sets of integers
- The expressibility of languages and relations by word equations
- String theories involving regular membership predicates: from practice to theory and back
- An SMT solver for regular expressions and linear arithmetic over string length
- Title not available (Why is that?)
- On solving word equations using SAT
Cited In (8)
- A decision procedure for regular membership and length constraints over unbounded strings
- String theories involving regular membership predicates: from practice to theory and back
- Unbounded model-checking with interpolation for regular language constraints
- Towards more efficient methods for solving regular-expression heavy string constraints
- Verified verifying: SMT-LIB for strings in Isabelle
- Symbolic automata constraint solving
- Solving string constraints using SAT
- An efficient SMT solver for string constraints
This page was built for publication: Solving String Theories Involving Regular Membership Predicates Using SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487302)
