:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hague, Matthew, Jeż, Artur, Lin, Anthony W., Markgraf, Oliver, Rümmer, Philipp
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2508.19888
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

OSTRICH2: Solver for Complex String Constraints
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)

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

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

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)

Regular Abstractions for Array Systems
by: Hong, Chih-Duo, et al.
Published: (2024)

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

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

The Transpension Type: Technical Report
by: Nuyts, Andreas
Published: (2020)

Technical Report: Time-Bounded Resilience
by: Kirigin, Tajana Ban, et al.
Published: (2024)

$ω$-Regular Energy Problems
by: Dziadek, Sven, et al.
Published: (2022)

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

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
by: Leme, Renato, et al.
Published: (2025)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
by: Peters, Kirstin, et al.
Published: (2024)

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

Deciding Boolean Separation Logic via Small Models (Technical Report)
by: Dacík, Tomáš, et al.
Published: (2024)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
by: Ceulemans, Joris, et al.
Published: (2024)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
by: Habermehl, Peter, et al.
Published: (2024)

Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
by: Alexaj, Ondrej, et al.
Published: (2026)

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
by: Gomes, Ronaldo, et al.
Published: (2026)

Parameterized Verification of Quantum Circuits (Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
by: Pettinau, Roberto, et al.
Published: (2026)

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

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

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

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

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

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
by: Wang, Shanxia
Published: (2026)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
by: Cramer, Marcos, et al.
Published: (2026)

Regular Typed Unification
by: Barbosa, João, et al.
Published: (2024)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Negated String Containment is Decidable (Technical Report)
by: Havlena, Vojtěch, et al.
Published: (2025)

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

Complementation of Emerson-Lei Automata (Technical Report)
by: Havlena, Vojtěch, et al.
Published: (2024)