:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wood, Kenan, Zhou, Runtian, Wu, Haoze, Mendes, Hammurabi, Pulaj, Jonad
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2312.10420
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Distributed Agreement in the Arrovian Framework
by: Wood, Kenan, et al.
Published: (2024)

Optimal Multilevel Slashing for Blockchains
by: Wood, Kenan, et al.
Published: (2024)

Expiring Assets in Automated Market Makers
by: Wood, Kenan, et al.
Published: (2024)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
by: Soroka, Emiko, et al.
Published: (2023)

Local Configurations in Union-Closed Families
by: Pulaj, Jonad, et al.
Published: (2023)

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

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

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

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

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

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
by: Ratschan, Stefan, et al.
Published: (2026)

Bilevel Programming for Pebbling Numbers of Lemke Graph Products
by: Pulaj, Jonad, et al.
Published: (2024)

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

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

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

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
by: Li, Jinzhao, et al.
Published: (2023)

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

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

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

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

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

Formally Verified Certification of Unsolvability of Temporal Planning Problems
by: Wang, David, et al.
Published: (2025)

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

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

Hyperproperty Verification as CHC Satisfiability
by: Itzhaky, Shachar, et al.
Published: (2023)

Satisfiability of Quantified Boolean Announcements
by: van Ditmarsch, Hans, et al.
Published: (2022)

Cubing for Tuning
by: Wu, Haoze, et al.
Published: (2025)

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

Satisfiability in Łukasiewicz logic and its unbounded relative
by: Haniková, Zuzana, et al.
Published: (2025)

Congruence Closure Modulo Groups
by: Kim, Dohan
Published: (2023)

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

Finding Connections via Satisfiability Solving
by: Eisenhofer, Clemens, et al.
Published: (2026)

Spanning Matrices via Satisfiability Solving
by: Eisenhofer, Clemens, et al.
Published: (2024)

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

On the Satisfiability of Local First-Order Logics with Data
by: Bollig, Benedikt, et al.
Published: (2023)

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

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)

Verifying SQL Queries using Theories of Tables and Relations
by: Mohamed, Mudathir, et al.
Published: (2024)

Checking Satisfiability of Hyperproperties using First-Order Logic
by: Beutner, Raven, et al.
Published: (2025)