Copertina

Finding Connections via Satisfiability Solving

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Eisenhofer, Clemens, Rawson, Michael, Kovács, Laura
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Spanning Matrices via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2024)

Constraint Learning for Non-confluent Proof Search
di: Rawson, Michael, et al.
Pubblicazione: (2026)

On Solving String Equations via Powers and Parikh Images
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

SAT Solving for Variants of First-Order Subsumption
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

PolySAT: Word-level Bit-vector Reasoning in Z3
di: Rath, Jakob, et al.
Pubblicazione: (2024)

Rewriting and Inductive Reasoning
di: Hajdu, Márton, et al.
Pubblicazione: (2024)

SAT-Based Subsumption Resolution
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

Lean on Vampire Proofs (Short Paper)
di: Bodingbauer, Jonas, et al.
Pubblicazione: (2026)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
di: Jeanteur, Simon, et al.
Pubblicazione: (2023)

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

parSAT: Parallel Solving of Floating-Point Satisfiability
di: Krahl, Markus, et al.
Pubblicazione: (2025)

Scaling CheckMate for Game-Theoretic Security
di: Rain, Sophie, et al.
Pubblicazione: (2024)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
di: Kim, Curie, et al.
Pubblicazione: (2026)

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

Case Study: Saturations as Explicit Models in Equational Theories
di: Janota, Mikoláš, et al.
Pubblicazione: (2026)

When Agda met Vampire
di: Šinkarovs, Artjoms, et al.
Pubblicazione: (2026)

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

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

Hyperproperty Verification as CHC Satisfiability
di: Itzhaky, Shachar, et al.
Pubblicazione: (2023)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
di: Zhang, Leizhen, et al.
Pubblicazione: (2026)

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

Positive Almost-Sure Termination of Polynomial Random Walks
di: Winkler, Lorenz, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
di: Stoltenow, Lara, et al.
Pubblicazione: (2024)

Superposition with Delayed Unification
di: Bhayat, Ahmed, et al.
Pubblicazione: (2024)

The Vampire Diary
di: Bártek, Filip, et al.
Pubblicazione: (2025)

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

Lazy Reimplication in Chronological Backtracking
di: Coutelier, Robin, et al.
Pubblicazione: (2025)

Partial Redundancy in Saturation
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

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

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
di: Chodil, Miroslav, et al.
Pubblicazione: (2025)

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

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
di: Fortin, Marie, et al.
Pubblicazione: (2023)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)