Buchumschlag

SKI-SAT: A CMOS-compatible Hardware for Solving SAT Problems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Salim, Ahmet Yusuf, Selman, Bart, Kautz, Henry, Ignjatovic, Zeljko, Köse, Selçuk
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Information Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Pseudo-random Number Generator for Multi-Sequence Generation with Programmable Statistics
von: Wu, Jianan, et al.
Veröffentlicht: (2024)

A 64-Spin All-to-All CMOS Ising Machine with Landscape Perturbation Achieving 2.28 nJ/Edge-Bit Energy-to-Solution
von: Salim, Ahmet Yusuf, et al.
Veröffentlicht: (2026)

MaxSAT decoders for arbitrary CSS codes
von: Noormandipour, Mohammadreza, et al.
Veröffentlicht: (2024)

Comprehensive Analysis of Behavioral Hardware Impairments in Cell-Free Massive MIMO-OFDM Uplink: Centralized Operation
von: Demir, Özlem Tuğfe, et al.
Veröffentlicht: (2025)

Margin Propagation based XOR-SAT Solvers for Decoding of LDPC Codes
von: Nandi, Ankita, et al.
Veröffentlicht: (2024)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
von: Pan, Muyu, et al.
Veröffentlicht: (2025)

On SAT information content, its polynomial-time solvability and fixed code algorithms
von: Drozdowski, Maciej
Veröffentlicht: (2024)

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

Solving Cyclic Antibandwidth Problem by SAT
von: Xuan, Hieu Truong, et al.
Veröffentlicht: (2026)

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

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

Solving the Problem of Induction
von: Yang, Xuezhi
Veröffentlicht: (2023)

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

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

Solve Mismatch Problem in Compressed Sensing
von: Yang, Le
Veröffentlicht: (2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
von: Geng, Chuqin, et al.
Veröffentlicht: (2024)

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

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

One-Shot Learning for k-SAT
von: Galanis, Andreas, et al.
Veröffentlicht: (2025)

Schema and Problem-Solving.
von: Callison, Daniel
Veröffentlicht: (1998)

Reed-Muller Error-Correction Code Encoder for SFQ-to-CMOS Interface Circuits
von: Mustafa, Yerzhan, et al.
Veröffentlicht: (2026)

The Entrapment Problem in Random Walk Decentralized Learning
von: Liu, Zonghong, et al.
Veröffentlicht: (2024)

Solving SAT with Quantum Vacuum Dynamics
von: Sethurathienam, Iyer
Veröffentlicht: (2025)

Goal-Oriented Semantic Communication for Logical Decision Making
von: Saz, Ahmet Faruk, et al.
Veröffentlicht: (2026)

Minimizing Latency for Secure Coded Computing Using Secret Sharing via Staircase Codes
von: Bitar, Rawad, et al.
Veröffentlicht: (2018)

Minimizing Latency for Secure Distributed Computing
von: Bitar, Rawad, et al.
Veröffentlicht: (2017)

Energy-Efficient UAV-Mounted RIS for IoT: A Hybrid Energy Harvesting and DRL Approach
von: Salim, Mahmoud M., et al.
Veröffentlicht: (2025)

Energy-Efficient Irregular RIS-aided UAV-Assisted Optimization: A Deep Reinforcement Learning Approach
von: Salim, Mahmoud M., et al.
Veröffentlicht: (2025)

Generalizing Unit Commitment Problem Solving via SAT-based Decoupling
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

Noise-Domain Non-Orthogonal Multiple Access for Three Users
von: Yapici, Erkin, et al.
Veröffentlicht: (2025)

Fast Analysis of the OpenAI O1-Preview Model in Solving Random K-SAT Problem: Does the LLM Solve the Problem Itself or Call an External SAT Solver?
von: Marino, Raffaele
Veröffentlicht: (2024)

On Solving Structured SAT on Ising Machines: A Semiprime Factorization Study
von: Efe, Ahmet, et al.
Veröffentlicht: (2025)

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
von: Chen, Qiyue, et al.
Veröffentlicht: (2025)

STAR-RIS-Aided Cell-Free Massive MIMO with Imperfect Hardware
von: Sui, Zeping, et al.
Veröffentlicht: (2024)

On The Theory of Semantic Information and Communication for Logical Inference
von: Saz, Ahmet Faruk, et al.
Veröffentlicht: (2024)

Lossy Semantic Communication for the Logical Deduction of the State of the World
von: Saz, Ahmet Faruk, et al.
Veröffentlicht: (2024)

Analysis of Semantic Communication for Logic-based Hypothesis Deduction
von: Saz, Ahmet Faruk, et al.
Veröffentlicht: (2025)

DISCD: Distributed Lossy Semantic Communication for Logical Deduction of Hypothesis
von: Saz, Ahmet Faruk, et al.
Veröffentlicht: (2025)

Perfect Privacy and Strong Stationary Times for Markovian Sources
von: Ye, Fangwei, et al.
Veröffentlicht: (2026)

Between Close Enough to Reveal and Far Enough to Protect: a New Privacy Region for Correlated Data
von: Maßny, Luis, et al.
Veröffentlicht: (2025)