Image de couverture de livre

parSAT: Parallel Solving of Floating-Point Satisfiability

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Krahl, Markus, Güdemann, Matthias, Wallentowitz, Stefan
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
par: Kim, Curie, et autres
Publié: (2026)

Solving SAT By Computing A Stable Set Of Points In Clusters
par: Goldberg, Eugene
Publié: (2025)

Finding Connections via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2026)

Spanning Matrices via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2024)

RustSAT: A Library For SAT Solving in Rust
par: Jabs, Christoph
Publié: (2025)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
par: Shi, Zhengyuan, et autres
Publié: (2024)

Orthologic for SAT Solving
par: de Haldat, Vladislas, et autres
Publié: (2026)

SAT Solving for Variants of First-Order Subsumption
par: Coutelier, Robin, et autres
Publié: (2024)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
par: Castro, Pablo F.
Publié: (2026)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
par: Vandesande, Dieter, et autres
Publié: (2025)

SAT-Solving the Poset Cover Problem
par: Yuan, Chih-Cheng Rex, et autres
Publié: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
par: Li, Jinzhao, et autres
Publié: (2025)

Queen Domination by SAT Solving
par: Rostami, Taha, et autres
Publié: (2025)

Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
par: Lipparini, Enrico, et autres
Publié: (2023)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
par: Ratschan, Stefan, et autres
Publié: (2026)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
par: Van Kieu, Tuyen, et autres
Publié: (2026)

Orbitopal Fixing in SAT
par: Anders, Markus, et autres
Publié: (2026)

Verifying Floating-Point Programs in Stainless
par: Gilot, Andrea, et autres
Publié: (2026)

Generalizing Unit Commitment Problem Solving via SAT-based Decoupling
par: Zhao, Yuxin, et autres
Publié: (2026)

Satisfiability of Quantified Boolean Announcements
par: van Ditmarsch, Hans, et autres
Publié: (2022)

Hyperproperty Verification as CHC Satisfiability
par: Itzhaky, Shachar, et autres
Publié: (2023)

DateSAT: A Framework for Solving Date and Period Constraints
par: Cui, Leyi, et autres
Publié: (2026)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
par: Zhang, Leizhen, et autres
Publié: (2026)

Automatic Verification of Floating-Point Accumulation Networks
par: Zhang, David K., et autres
Publié: (2025)

Probabilistic and Causal Satisfiability: Constraining the Model
par: Bläser, Markus, et autres
Publié: (2025)

Satisfiability Modulo Exponential Integer Arithmetic
par: Frohn, Florian, et autres
Publié: (2024)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
par: Kohlen, Bram, et autres
Publié: (2025)

Satisfiability in Łukasiewicz logic and its unbounded relative
par: Haniková, Zuzana, et autres
Publié: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
par: Mohanty, Hansa, et autres
Publié: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
par: Li, Jinzhao, et autres
Publié: (2023)

Satisfiability Modulo Theories for Verifying MILP Certificates
par: Wood, Kenan, et autres
Publié: (2023)

On the Satisfiability of Local First-Order Logics with Data
par: Bollig, Benedikt, et autres
Publié: (2023)

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
par: Bino, Melki
Publié: (2026)

Function Recovery Attacks in Gate-Hiding Garbled Circuits using SAT Solving
par: Yin, Chao, et autres
Publié: (2026)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
par: Dai, Steve, et autres
Publié: (2025)

SAT-Based Subsumption Resolution
par: Coutelier, Robin, et autres
Publié: (2024)

Life span of SAT techniques
par: Fleury, Mathias, et autres
Publié: (2024)

Checking Satisfiability of Hyperproperties using First-Order Logic
par: Beutner, Raven, et autres
Publié: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
par: Stoltenow, Lara, et autres
Publié: (2024)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
par: Preiner, Mathias, et autres
Publié: (2026)