Word equations in synergy with regular constraints (extended version)

No abstract is available for this paper.

• Publication year

  2025

• Venue

  Constraints

• Publication date

  2025-05-21

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s10601-025-09379-w
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

  2024influential reference
• Word Equations in Synergy with Regular Constraints

  2023cited by this paper
• On the Expressive Power of String Constraints

  2023cited by this paper
• Even Faster Conflicts and Lazier Reductions for String Solvers

  2022cited by this paper
• SolCMC: Solidity Compiler's Model Checker

  2022cited by this paper
• Solving Not-Substring Constraint withFlat Abstraction

  2021cited by this paper
• Solving string constraints with Regex-dependent functions through transducers with priorities and variables

  2021cited by this paper
• Z3str4: A Solver for Theories over Strings

  2021cited by this paper
• Reductions for Strings and Regular Expressions Revisited

  2020cited by this paper
• An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

  2020influential reference
• A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving

  2020cited by this paper
• A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

  2020cited by this paper
• Efficient handling of string-number conversion

  2020cited by this paper
• On Solving Word Equations Using SAT

  2019cited by this paper
• Chain-Free String Constraints

  2019influential reference
• Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations

  2019cited by this paper
• Decision procedures for path feasibility of string-manipulating programs with complex operations

  2018cited by this paper
• A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints

  2018cited by this paper
• Trau: SMT solver for string constraints

  2018cited by this paper
• A Symbolic Model Checking Approach to the Analysis of String and Length Constraints

  2018cited by this paper
• Design and Implementation of Bounded-Length Sequence Variables

  2017cited by this paper
• Model Checking Regular Language Constraints

  2017cited by this paper
• Flatten and conquer: a framework for efficient analysis of string constraints

  2017cited by this paper
• ZSstrS: A string solver with theory-aware heuristics

  2017cited by this paper
• Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification

  2017cited by this paper
• A Novel Approach to String Constraint Solving

  2017cited by this paper
• What is decidable about string constraints with the ReplaceAll function

  2017cited by this paper
• Efficient solving of string constraints for security analysis

  2016cited by this paper
• MiniZinc with Strings

  2016cited by this paper
• An efficient SMT solver for string constraints

  2016cited by this paper
• Progressive Reasoning over Recursively-Defined Strings

  2016cited by this paper
• String Analysis via Automata Manipulation with Logic Circuit Representation

  2016cited by this paper
• A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

  2015cited by this paper
• Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

  2015cited by this paper
• String solving with word equations and transducers: towards a logic for analysing mutation XSS

  2015cited by this paper
• Norn: An SMT Solver for String Constraints

  2015cited by this paper
• Automata-Based Model Counting for String Constraints

  2015cited by this paper
• A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions

  2014cited by this paper
• S3: A Symbolic String Solver for Vulnerability Detection in Web Applications

  2014cited by this paper
• PASS: String Solving with Parameterized Array and Interval Automaton

  2013cited by this paper
• Z3-str: a z3-based string solver for web application analysis

  2013cited by this paper
• Automata-based symbolic string analysis for vulnerability detection

  2013cited by this paper
• Symbolic finite state transducers: algorithms and applications

  2012cited by this paper
• StrSolve: solving string constraints lazily

  2012cited by this paper
• Word Equations with Length Constraints: What's Decidable?

  2012cited by this paper
• HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars

  2012cited by this paper
• Recompression

  2012cited by this paper
• Fast and Precise Sanitizer Analysis with BEK

  2011cited by this paper
• Stranger: An Automata-Based String Analysis Tool for PHP

  2010cited by this paper
• A Symbolic Execution Framework for JavaScript

  2010cited by this paper
• Modeling Regular Replacement for String Constraint Solving

  2010cited by this paper
• Relational String Verification Using Multi-Track Automata

  2010cited by this paper
• Path Feasibility Analysis for String-Manipulating Programs

  2009cited by this paper
• Combinatorics on Words

  2004cited by this paper
• Precise Analysis of String Expressions

  2003cited by this paper
• Satisfiability of word equations with constants is in NEXPTIME

  1999cited by this paper
• Application of Lempel-Ziv Encodings to the Solution of Words Equations

  1998cited by this paper
• The expressibility of languages and relations by word equations

  1997cited by this paper
• Constraints

  1979cited by this paper
• The Problem of Solvability of Equations in a Free Semigroup

  1977cited by this paper
• Équations dans les monoïdes libres

  1972cited by this paper
• Contributors

  1966cited by this paper
• Die Isomorphismen der allgemeinen, unendlichen Gruppe mit zwei Erzeugenden

  1917cited by this paper

• No citing papers are available for this paper.