Copertina

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Habermehl, Peter, Havlena, Vojtěch, Hečko, Michal, Holík, Lukáš, Lengál, Ondřej
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
di: Havlena, Vojtěch, et al.
Pubblicazione: (2022)

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

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

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

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
di: Holík, Lukáš, et al.
Pubblicazione: (2025)

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

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

Mata, a Fast and Simple Finite Automata Library (Technical Report)
di: Chocholatý, David, et al.
Pubblicazione: (2023)

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
di: Tsai, Wei-Lun, et al.
Pubblicazione: (2026)

On Presburger arithmetic extended with non-unary counting quantifiers
di: Habermehl, Peter, et al.
Pubblicazione: (2022)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Satisfiability Modulo Exponential Integer Arithmetic
di: Frohn, Florian, et al.
Pubblicazione: (2024)

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

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
di: André, Étienne, et al.
Pubblicazione: (2023)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
di: Chen, Yu-Fang, et al.
Pubblicazione: (2024)

Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Integer Linear Arithmetic
di: Gokaj, Geri, et al.
Pubblicazione: (2025)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
di: Lipparini, Enrico, et al.
Pubblicazione: (2025)

Automata Linear Dynamic Logic on Finite Traces
di: Smith, Kevin W., et al.
Pubblicazione: (2021)

Compositional Reasoning for Probabilistic Automata with Uncertainty
di: Mertens, Hannah, et al.
Pubblicazione: (2026)

Optimization Modulo Integer Linear-Exponential Programs
di: Hitarth, S, et al.
Pubblicazione: (2025)

Prime Factorization in Models of PV$_1$
di: Ježil, Ondřej
Pubblicazione: (2025)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
di: Mertens, Hannah, et al.
Pubblicazione: (2025)

Integer Reasoning Modulo Different Constants in SMT
di: Pertseva, Elizaveta, et al.
Pubblicazione: (2025)

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

Algebraic Reasoning over Relational Structures
di: Jurka, Jan, et al.
Pubblicazione: (2024)

Unravelling Cyclic First-Order Arithmetic
di: Leigh, Graham E., et al.
Pubblicazione: (2025)

Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
di: Lipparini, Enrico, et al.
Pubblicazione: (2023)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)

On proving consistency of equational theories in Bounded Arithmetic
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
di: Katsura, Hiroyuki, et al.
Pubblicazione: (2025)

The Transpension Type: Technical Report
di: Nuyts, Andreas
Pubblicazione: (2020)

Step Automata
di: Wang, Yong
Pubblicazione: (2026)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Parallelism and Adaptivity in Student-Teacher Witnessing
di: Ježil, Ondřej, et al.
Pubblicazione: (2026)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
di: Lommen, Nils, et al.
Pubblicazione: (2022)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
di: Shi, Zhengyuan, et al.
Pubblicazione: (2024)

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