:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kim, Dohan
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2310.05014
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Non-Ground Congruence Closure
by: Leidinger, Hendrik, et al.
Published: (2024)

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

Generalized Optimization Modulo Theories
by: Tsiskaridze, Nestan, et al.
Published: (2024)

Reaching Classicality through Transitive Closure
by: Blomet, Quentin, et al.
Published: (2025)

Satisfiability Modulo Exponential Integer Arithmetic
by: Frohn, Florian, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

Confluence of Conditional Rewriting Modulo
by: Lucas, Salvador
Published: (2025)

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

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

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

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

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

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

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

Closure Certificates
by: Murali, Vishnu, et al.
Published: (2023)

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

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

Control Closure Certificates
by: Murali, Vishnu, et al.
Published: (2025)

Guarded Negation Transitive Closure Logic
by: Figueira, Diego, et al.
Published: (2025)

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

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

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

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