Buchumschlag

Computing Short SAT Implicants via Ising/QUBO Encodings

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Spallitta, Giuseppe, Duenas-Osorio, Leonardo, Vardi, Moshe Y.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Extending CDCL-based Model Enumeration with Weights
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2026)

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

On CNF Conversion for SAT and SMT Enumeration
von: Masina, Gabriele, et al.
Veröffentlicht: (2023)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
von: Civini, Emanuele, et al.
Veröffentlicht: (2026)

Automata Linear Dynamic Logic on Finite Traces
von: Smith, Kevin W., et al.
Veröffentlicht: (2021)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
von: Rajasekaran, Senthil, et al.
Veröffentlicht: (2025)

LTLf Synthesis Under Unreliable Input
von: Hagemeier, Christian, et al.
Veröffentlicht: (2024)

Disjoint Partial Enumeration without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
von: Zhang, Zhiwei, et al.
Veröffentlicht: (2025)

Understanding CDCL Solvers via Scalability Studies and Proofdoors
von: Zhang, Shimin, et al.
Veröffentlicht: (2026)

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

Canonical Decision Diagrams Modulo Theories
von: Michelutti, Massimo, et al.
Veröffentlicht: (2024)

Multi-Property Synthesis
von: Weinhuber, Christoph, et al.
Veröffentlicht: (2026)

Dynamic Programming for Symbolic Boolean Realizability and Synthesis
von: Lin, Yi, et al.
Veröffentlicht: (2024)

SAT Encodings for Bandwidth Coloring: A Systematic Design Study
von: Nguyen, Duc Trung Kim, et al.
Veröffentlicht: (2026)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
von: Aminof, Benjamin, et al.
Veröffentlicht: (2024)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
von: Lin, Yi, et al.
Veröffentlicht: (2025)

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

Planted-solution SAT and Ising benchmarks from integer factorization
von: Hen, Itay
Veröffentlicht: (2026)

On-the-fly LTLf Synthesis under Partial Observability
von: Alon, Nadav, et al.
Veröffentlicht: (2026)

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

Fast Obligation Translation and Synthesis
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2026)

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

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
von: Bino, Melki
Veröffentlicht: (2026)

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

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
von: Xiao, Shengping, et al.
Veröffentlicht: (2024)

A Physical Analogy between Molecular Ordering and SAT-to-Ising Annealing
von: Dubey, ShivKishan, et al.
Veröffentlicht: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

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

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

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)

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)

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

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

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