Copertina

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Shi, Zhengyuan, Tang, Tiebing, Zhu, Jiaying, Khan, Sadaf, Zhen, Hui-Ling, Yuan, Mingxuan, Chu, Zhufei, Xu, Qiang
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Rethinking Clause Management for CDCL SAT Solvers
di: Cai, Yalun, et al.
Pubblicazione: (2026)

RustSAT: A Library For SAT Solving in Rust
di: Jabs, Christoph
Pubblicazione: (2025)

Orthologic for SAT Solving
di: de Haldat, Vladislas, et al.
Pubblicazione: (2026)

SAT-Solving the Poset Cover Problem
di: Yuan, Chih-Cheng Rex, et al.
Pubblicazione: (2025)

SATformer: Transformer-Based UNSAT Core Learning
di: Shi, Zhengyuan, et al.
Pubblicazione: (2022)

Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities
di: Zhu, Jiaying, et al.
Pubblicazione: (2025)

Can Transformers Reason Logically? A Study in SAT Solving
di: Pan, Leyan, et al.
Pubblicazione: (2024)

Queen Domination by SAT Solving
di: Rostami, Taha, et al.
Pubblicazione: (2025)

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

SAT-based Learning of Computation Tree Logic
di: Pommellet, Adrien, et al.
Pubblicazione: (2024)

Function Recovery Attacks in Gate-Hiding Garbled Circuits using SAT Solving
di: Yin, Chao, et al.
Pubblicazione: (2026)

DateSAT: A Framework for Solving Date and Period Constraints
di: Cui, Leyi, et al.
Pubblicazione: (2026)

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

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

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
di: Vandesande, Dieter, et al.
Pubblicazione: (2025)

Solving SAT By Computing A Stable Set Of Points In Clusters
di: Goldberg, Eugene
Pubblicazione: (2025)

Dsat: A Native SAT Solver for Discrete Logic
di: Zhang, Yaofang, et al.
Pubblicazione: (2026)

SAT Solving Using XOR-OR-AND Normal Forms
di: Andraschko, Bernhard, et al.
Pubblicazione: (2023)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
di: Zhang, Zhiwei, et al.
Pubblicazione: (2025)

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

Life span of SAT techniques
di: Fleury, Mathias, et al.
Pubblicazione: (2024)

Orbitopal Fixing in SAT
di: Anders, Markus, et al.
Pubblicazione: (2026)

A Reduction of Input/Output Logics to SAT
di: Steen, Alexander
Pubblicazione: (2025)

SAT-Inspired Higher-Order Eliminations
di: Blanchette, Jasmin, et al.
Pubblicazione: (2022)

Between proof construction and SAT-solving
di: Schubert, Aleksy, et al.
Pubblicazione: (2024)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
di: Su, Yuheng, et al.
Pubblicazione: (2025)

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
di: Bino, Melki
Pubblicazione: (2026)

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

Generalizing Unit Commitment Problem Solving via SAT-based Decoupling
di: Zhao, Yuxin, et al.
Pubblicazione: (2026)

Compact SAT Encoding for Power Peak Minimization
di: Van Kieu, Tuyen, et al.
Pubblicazione: (2025)

Empirical Impact of Dimensionality on Random Geometric SAT
di: Rädiker, Flora
Pubblicazione: (2026)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
di: Schreiber, Dominik
Pubblicazione: (2025)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
di: Goldberg, Eugene
Pubblicazione: (2024)

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

SAT-Based Techniques for Lexicographically Smallest Finite Models
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

Approaching the Conway-99 problem using SAT solvers
di: Keramatipour, Ali
Pubblicazione: (2026)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2024)

SAT Encodings for Bandwidth Coloring: A Systematic Design Study
di: Nguyen, Duc Trung Kim, et al.
Pubblicazione: (2026)

Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
di: Bartal, Uriya, et al.
Pubblicazione: (2026)

Computing Short SAT Implicants via Ising/QUBO Encodings
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2026)