Cover Image

On Solving String Equations via Powers and Parikh Images

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Eisenhofer, Clemens, Seiser, Theodor, Bjørner, Nikolaj S., Kovács, Laura
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PolySAT: Word-level Bit-vector Reasoning in Z3
by: Rath, Jakob, et al.
Published: (2024)

Finding Connections via Satisfiability Solving
by: Eisenhofer, Clemens, et al.
Published: (2026)

Spanning Matrices via Satisfiability Solving
by: Eisenhofer, Clemens, et al.
Published: (2024)

Constraint Learning for Non-confluent Proof Search
by: Rawson, Michael, et al.
Published: (2026)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
by: Hozzová, Petra, et al.
Published: (2025)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
by: Huang, Ruanqianqian, et al.
Published: (2025)

SAT Solving for Variants of First-Order Subsumption
by: Coutelier, Robin, et al.
Published: (2024)

Attractors of Parikh mapping iterations
by: Chunikhin, Alexander
Published: (2024)

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

Did Turing prove the undecidability of the halting problem?
by: Hamkins, Joel David, et al.
Published: (2024)

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

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

Parikh Automata on Finite and Infinite Words
by: Grobler, Mario, et al.
Published: (2023)

Solving Homotopy Domain Equations
by: Martínez-Rivillas, Daniel O., et al.
Published: (2021)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

Rewriting and Inductive Reasoning
by: Hajdu, Márton, et al.
Published: (2024)

Lazy Reimplication in Chronological Backtracking
by: Coutelier, Robin, et al.
Published: (2025)

Partial Redundancy in Saturation
by: Hajdu, Márton, et al.
Published: (2025)

Equational Bit-Vector Solving via Strong Gröbner Bases
by: Song, Jiaxin, et al.
Published: (2024)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
by: Brown, Chad E., et al.
Published: (2025)

String Solving with Stabilization and Transducers (Technical Report)
by: Chocholatý, David, et al.
Published: (2026)

Certificate-Aware Property-Directed Reachability
by: Ferdowsi, Arman, et al.
Published: (2026)

Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)

Program Synthesis in Saturation
by: Hozzová, Petra, et al.
Published: (2024)

SAT-Based Subsumption Resolution
by: Coutelier, Robin, et al.
Published: (2024)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
by: Grabmayer, Clemens
Published: (2022)

Saturating Sorting without Sorts
by: Georgiou, Pamina, et al.
Published: (2024)

Completeness of Synthesis under Realizability Assumptions using Superposition
by: Hajdu, Márton, et al.
Published: (2026)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

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

Lean on Vampire Proofs (Short Paper)
by: Bodingbauer, Jonas, et al.
Published: (2026)

Getting Saturated with Induction
by: Hajdu, Márton, et al.
Published: (2024)

OSTRICH2: Solver for Complex String Constraints
by: Hague, Matthew, et al.
Published: (2025)

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

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

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
by: King, Daragh, et al.
Published: (2025)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
by: Castro, Pablo F.
Published: (2026)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
by: Bordais, Benjamin, et al.
Published: (2024)

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