Cover Image

OSTRICH2: Solver for Complex String Constraints

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hague, Matthew, Hu, Denghang, Jeż, Artur, Lin, Anthony W., Markgraf, Oliver, Rümmer, Philipp, Wu, Zhilin
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Power of Regular Constraint Propagation (Technical Report)
by: Hague, Matthew, et al.
Published: (2025)

Parikh's Theorem Made Symbolic
by: Hague, Matthew, et al.
Published: (2023)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
by: Jiang, Hongjian, et al.
Published: (2025)

Synthesis and Verification of Transformer Programs (Technical Report)
by: Jiang, Hongjian, et al.
Published: (2026)

Craig Interpolation in Program Verification
by: Rümmer, Philipp
Published: (2026)

An Encoding for CLP Problems in SMT-LIB
by: Amrollahi, Daneshvar, et al.
Published: (2024)

Bounded Structural Model Finding with Symbolic Data Constraints
by: Boronat, Artur
Published: (2026)

A Program Instrumentation Framework for Automatic Verification
by: Amilon, Jesper, et al.
Published: (2024)

Decision Procedure for A Theory of String Sequences
by: Hu, Denghang, et al.
Published: (2025)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
by: Su, Wanyun, et al.
Published: (2024)

Can LLM Aid in Solving Constraints with Inductive Definitions?
by: Feng, Weizhi, et al.
Published: (2026)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
by: Esen, Zafer, et al.
Published: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
by: Hader, Thomas, et al.
Published: (2024)

String Diagrams for Monoidal Categories, in Rocq
by: Pous, Damien
Published: (2026)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2024)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
by: Janota, Mikoláš, et al.
Published: (2026)

Rethinking Clause Management for CDCL SAT Solvers
by: Cai, Yalun, et al.
Published: (2026)

Equational Theorem Proving for Clauses over Strings
by: Kim, Dohan
Published: (2023)

On Problems Dual to Unification: The String-Rewriting Case
by: Akçam, Zümrüt, et al.
Published: (2021)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
by: Defresne, Marianne, et al.
Published: (2025)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)

Cyclic Implicit Complexity
by: Curzi, Gianluca, et al.
Published: (2021)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Understanding CDCL Solvers via Scalability Studies and Proofdoors
by: Zhang, Shimin, et al.
Published: (2026)

Towards SMT Solver Stability via Input Normalization
by: Amrollahi, Daneshvar, et al.
Published: (2024)

On Solving String Equations via Powers and Parikh Images
by: Eisenhofer, Clemens, et al.
Published: (2026)

Proofdoors and Efficiency of CDCL Solvers
by: Singh, Sunidhi, et al.
Published: (2026)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
by: Watanabe, Kazuki
Published: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
by: Watanabe, Kazuki, et al.
Published: (2024)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
by: Pshenitsyn, Tikhon
Published: (2023)

General Decidability Results for Systems with Continuous Counters
by: Balasubramanian, A. R., et al.
Published: (2025)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

The 2-Dimensional Constraint Loop Problem is Decidable
by: Guilmant, Quentin, et al.
Published: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)
by: Chen, Yu-Fang, et al.
Published: (2025)

Effective Versions of Strong Measure Zero
by: Rayman, Matthew
Published: (2025)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

Theta as a Horn Solver
by: Bajczi, Levente, et al.
Published: (2025)