:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nguyen, Duc Trung Kim, Van Kieu, Tuyen, Van To, Khanh
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2602.08423
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Compact SAT Encoding for Power Peak Minimization
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2025)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2026)

Computing Short SAT Implicants via Ising/QUBO Encodings
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2026)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
von: Van Caudenberg, Daimy, et al.
Veröffentlicht: (2025)

SAT Encoding of Partial Ordering Models for Graph Coloring Problems
von: Faber, Daniel, et al.
Veröffentlicht: (2024)

Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem
von: Kieu, Tuyen Van, et al.
Veröffentlicht: (2025)

RustSAT: A Library For SAT Solving in Rust
von: Jabs, Christoph
Veröffentlicht: (2025)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
von: Shi, Zhengyuan, et al.
Veröffentlicht: (2024)

SAT-Based Subsumption Resolution
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

Life span of SAT techniques
von: Fleury, Mathias, et al.
Veröffentlicht: (2024)

SAT-Inspired Higher-Order Eliminations
von: Blanchette, Jasmin, et al.
Veröffentlicht: (2022)

Between proof construction and SAT-solving
von: Schubert, Aleksy, et al.
Veröffentlicht: (2024)

A Naive Encoding of Russell's Paradox in Type Theory
von: Qu, Zhuoyuan
Veröffentlicht: (2025)

Rethinking Clause Management for CDCL SAT Solvers
von: Cai, Yalun, et al.
Veröffentlicht: (2026)

Empirical Impact of Dimensionality on Random Geometric SAT
von: Rädiker, Flora
Veröffentlicht: (2026)

SAT Solving for Variants of First-Order Subsumption
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

SAT-based Learning of Computation Tree Logic
von: Pommellet, Adrien, et al.
Veröffentlicht: (2024)

Solving SAT By Computing A Stable Set Of Points In Clusters
von: Goldberg, Eugene
Veröffentlicht: (2025)

Orbitopal Fixing in SAT
von: Anders, Markus, et al.
Veröffentlicht: (2026)

Orthologic for SAT Solving
von: de Haldat, Vladislas, et al.
Veröffentlicht: (2026)

Approaching the Conway-99 problem using SAT solvers
von: Keramatipour, Ali
Veröffentlicht: (2026)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
von: Goldberg, Eugene
Veröffentlicht: (2024)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
von: Feng, Nick, et al.
Veröffentlicht: (2024)

SAT-Based Techniques for Lexicographically Smallest Finite Models
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

parSAT: Parallel Solving of Floating-Point Satisfiability
von: Krahl, Markus, et al.
Veröffentlicht: (2025)

Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
von: Bartal, Uriya, et al.
Veröffentlicht: (2026)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
von: Vandesande, Dieter, et al.
Veröffentlicht: (2025)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2024)

A SAT-centered XAI method for Deep Learning based Video Understanding
von: Key, Hojer
Veröffentlicht: (2025)

PolySAT: Word-level Bit-vector Reasoning in Z3
von: Rath, Jakob, et al.
Veröffentlicht: (2024)

Systematic Design of Separation Logics
von: Bruni, Roberto, et al.
Veröffentlicht: (2026)

Boolean Variation and Boolean Logic BackPropagation
von: Nguyen, Van Minh
Veröffentlicht: (2023)

Impredicative Encodings of (Higher) Inductive Types
von: Awodey, Steve, et al.
Veröffentlicht: (2018)

Can Transformers Reason Logically? A Study in SAT Solving
von: Pan, Leyan, et al.
Veröffentlicht: (2024)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
von: Filipe, João, et al.
Veröffentlicht: (2026)

SAT-Solving the Poset Cover Problem
von: Yuan, Chih-Cheng Rex, et al.
Veröffentlicht: (2025)

Dsat: A Native SAT Solver for Discrete Logic
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Queen Domination by SAT Solving
von: Rostami, Taha, et al.
Veröffentlicht: (2025)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
von: Kim, Curie, et al.
Veröffentlicht: (2026)

DateSAT: A Framework for Solving Date and Period Constraints
von: Cui, Leyi, et al.
Veröffentlicht: (2026)