Buchumschlag

Congruence Closure Modulo Groups

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kim, Dohan
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Equational Theorem Proving for Clauses over Strings
von: Kim, Dohan
Veröffentlicht: (2023)

Non-Ground Congruence Closure
von: Leidinger, Hendrik, et al.
Veröffentlicht: (2024)

Reaching Classicality through Transitive Closure
von: Blomet, Quentin, et al.
Veröffentlicht: (2025)

MCSAT Modulo Transcendental Arithmetics
von: Gallego-Hernández, Jorge, et al.
Veröffentlicht: (2026)

Generalized Optimization Modulo Theories
von: Tsiskaridze, Nestan, et al.
Veröffentlicht: (2024)

Satisfiability Modulo Exponential Integer Arithmetic
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Satisfiability Modulo Theories for Verifying MILP Certificates
von: Wood, Kenan, et al.
Veröffentlicht: (2023)

Optimization Modulo Integer Linear-Exponential Programs
von: Hitarth, S, et al.
Veröffentlicht: (2025)

Integer Reasoning Modulo Different Constants in SMT
von: Pertseva, Elizaveta, et al.
Veröffentlicht: (2025)

Modulo quantifiers over functional vocabularies extending addition
von: Baskar, A., et al.
Veröffentlicht: (2017)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
von: Preiner, Mathias, et al.
Veröffentlicht: (2026)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
von: Feng, Nick, et al.
Veröffentlicht: (2024)

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
von: Isabel, Miguel, et al.
Veröffentlicht: (2026)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
von: Traversié, Thomas
Veröffentlicht: (2024)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
von: Caires-Santos, Ali K., et al.
Veröffentlicht: (2025)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
von: Traversié, Thomas
Veröffentlicht: (2024)

Closure and Complexity of Temporal Causality
von: Carelli, Mishel, et al.
Veröffentlicht: (2025)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
von: Lipparini, Enrico, et al.
Veröffentlicht: (2025)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
von: Blot, Valentin, et al.
Veröffentlicht: (2024)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
Veröffentlicht: (2026)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
von: Komel, Anja Petković, et al.
Veröffentlicht: (2025)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
von: Aceto, Luca, et al.
Veröffentlicht: (2025)

On Bisimilarity for Quasi-discrete Closure Spaces
von: Ciancia, Vincenzo, et al.
Veröffentlicht: (2023)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
von: Faella, Marco, et al.
Veröffentlicht: (2024)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
von: Grabmayer, Clemens
Veröffentlicht: (2022)

Rewriting Modulo Traced Comonoid Structure
von: Ghica, Dan R., et al.
Veröffentlicht: (2023)

Canonical Decision Diagrams Modulo Theories
von: Michelutti, Massimo, et al.
Veröffentlicht: (2024)

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
von: Nakamura, Yoshiki
Veröffentlicht: (2024)

Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2023)

Confluence of Conditional Rewriting Modulo
von: Lucas, Salvador
Veröffentlicht: (2025)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
von: Nakamura, Yoshiki
Veröffentlicht: (2023)

A Coq Formalization of Unification Modulo Exclusive-Or
von: Xu, Yichi, et al.
Veröffentlicht: (2025)

Guarded Negation Transitive Closure Logic
von: Figueira, Diego, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
von: Erascu, Madalina
Veröffentlicht: (2025)

Control Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
von: Li, Jinzhao, et al.
Veröffentlicht: (2025)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Union of Finitely Generated Congruences on Ground Term Algebra
von: Vágvölgyi, Sándor
Veröffentlicht: (2024)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
von: Masina, Gabriele, et al.
Veröffentlicht: (2025)