Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Salim, Ahmet Yusuf, Selman, Bart, Kautz, Henry, Ignjatovic, Zeljko, Köse, Selçuk
Format:	Preprint
Published:	2024
Subjects:	Information Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Pseudo-random Number Generator for Multi-Sequence Generation with Programmable Statistics
by: Wu, Jianan, et al.
Published: (2024)

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

MaxSAT decoders for arbitrary CSS codes
by: Noormandipour, Mohammadreza, et al.
Published: (2024)

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

Margin Propagation based XOR-SAT Solvers for Decoding of LDPC Codes
by: Nandi, Ankita, et al.
Published: (2024)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
by: Pan, Muyu, et al.
Published: (2025)

On SAT information content, its polynomial-time solvability and fixed code algorithms
by: Drozdowski, Maciej
Published: (2024)

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

Solving Cyclic Antibandwidth Problem by SAT
by: Xuan, Hieu Truong, et al.
Published: (2026)

RustSAT: A Library For SAT Solving in Rust
by: Jabs, Christoph
Published: (2025)

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

Solving the Problem of Induction
by: Yang, Xuezhi
Published: (2023)

Orthologic for SAT Solving
by: de Haldat, Vladislas, et al.
Published: (2026)

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

Solve Mismatch Problem in Compressed Sensing
by: Yang, Le
Published: (2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
by: Geng, Chuqin, et al.
Published: (2024)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
by: Shi, Zhengyuan, et al.
Published: (2024)

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

One-Shot Learning for k-SAT
by: Galanis, Andreas, et al.
Published: (2025)

Schema and Problem-Solving.
by: Callison, Daniel
Published: (1998)

Reed-Muller Error-Correction Code Encoder for SFQ-to-CMOS Interface Circuits
by: Mustafa, Yerzhan, et al.
Published: (2026)

The Entrapment Problem in Random Walk Decentralized Learning
by: Liu, Zonghong, et al.
Published: (2024)

Solving SAT with Quantum Vacuum Dynamics
by: Sethurathienam, Iyer
Published: (2025)

Goal-Oriented Semantic Communication for Logical Decision Making
by: Saz, Ahmet Faruk, et al.
Published: (2026)

Minimizing Latency for Secure Coded Computing Using Secret Sharing via Staircase Codes
by: Bitar, Rawad, et al.
Published: (2018)

Minimizing Latency for Secure Distributed Computing
by: Bitar, Rawad, et al.
Published: (2017)

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

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

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

Noise-Domain Non-Orthogonal Multiple Access for Three Users
by: Yapici, Erkin, et al.
Published: (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?
by: Marino, Raffaele
Published: (2024)

On Solving Structured SAT on Ising Machines: A Semiprime Factorization Study
by: Efe, Ahmet, et al.
Published: (2025)

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
by: Chen, Qiyue, et al.
Published: (2025)

STAR-RIS-Aided Cell-Free Massive MIMO with Imperfect Hardware
by: Sui, Zeping, et al.
Published: (2024)

On The Theory of Semantic Information and Communication for Logical Inference
by: Saz, Ahmet Faruk, et al.
Published: (2024)

Lossy Semantic Communication for the Logical Deduction of the State of the World
by: Saz, Ahmet Faruk, et al.
Published: (2024)

Analysis of Semantic Communication for Logic-based Hypothesis Deduction
by: Saz, Ahmet Faruk, et al.
Published: (2025)

DISCD: Distributed Lossy Semantic Communication for Logical Deduction of Hypothesis
by: Saz, Ahmet Faruk, et al.
Published: (2025)

Perfect Privacy and Strong Stationary Times for Markovian Sources
by: Ye, Fangwei, et al.
Published: (2026)

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