:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Kim, Dohan
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2310.05014
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Equational Theorem Proving for Clauses over Strings
por: Kim, Dohan
Publicado: (2023)

Non-Ground Congruence Closure
por: Leidinger, Hendrik, et al.
Publicado: (2024)

MCSAT Modulo Transcendental Arithmetics
por: Gallego-Hernández, Jorge, et al.
Publicado: (2026)

Generalized Optimization Modulo Theories
por: Tsiskaridze, Nestan, et al.
Publicado: (2024)

Reaching Classicality through Transitive Closure
por: Blomet, Quentin, et al.
Publicado: (2025)

Satisfiability Modulo Exponential Integer Arithmetic
por: Frohn, Florian, et al.
Publicado: (2024)

Satisfiability Modulo Theories for Verifying MILP Certificates
por: Wood, Kenan, et al.
Publicado: (2023)

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

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

Modulo quantifiers over functional vocabularies extending addition
por: Baskar, A., et al.
Publicado: (2017)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
por: Preiner, Mathias, et al.
Publicado: (2026)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
por: Feng, Nick, et al.
Publicado: (2024)

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
por: Isabel, Miguel, et al.
Publicado: (2026)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
por: Traversié, Thomas
Publicado: (2024)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
por: Caires-Santos, Ali K., et al.
Publicado: (2025)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
por: Traversié, Thomas
Publicado: (2024)

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

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

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
por: Asor, Ohad
Publicado: (2026)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
por: Komel, Anja Petković, et al.
Publicado: (2025)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
por: Aceto, Luca, et al.
Publicado: (2025)

Rewriting Modulo Traced Comonoid Structure
por: Ghica, Dan R., et al.
Publicado: (2023)

Canonical Decision Diagrams Modulo Theories
por: Michelutti, Massimo, et al.
Publicado: (2024)

Confluence of Conditional Rewriting Modulo
por: Lucas, Salvador
Publicado: (2025)

Closure and Complexity of Temporal Causality
por: Carelli, Mishel, et al.
Publicado: (2025)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
por: Faella, Marco, et al.
Publicado: (2024)

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

A Coq Formalization of Unification Modulo Exclusive-Or
por: Xu, Yichi, et al.
Publicado: (2025)

On Bisimilarity for Quasi-discrete Closure Spaces
por: Ciancia, Vincenzo, et al.
Publicado: (2023)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
por: Teuber, Samuel, et al.
Publicado: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
por: Li, Jinzhao, et al.
Publicado: (2025)

Closure Certificates
por: Murali, Vishnu, et al.
Publicado: (2023)

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
por: Nakamura, Yoshiki
Publicado: (2024)

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

Control Closure Certificates
por: Murali, Vishnu, et al.
Publicado: (2025)

Guarded Negation Transitive Closure Logic
por: Figueira, Diego, et al.
Publicado: (2025)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
por: Nakamura, Yoshiki
Publicado: (2023)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
por: Heck, Linus, et al.
Publicado: (2025)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
por: Masina, Gabriele, et al.
Publicado: (2025)

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