Cover Image

On Solving Structured SAT on Ising Machines: A Semiprime Factorization Study

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Efe, Ahmet, Cılasun, Hüsrev, Kumar, Abhimanyu, Prova, Nafisa Sadaf, Zeng, Ziqing, Islam, Tahmida, Yin, Ruihong, Li, Chaohui, Kreye, Peter, Kim, Chris, Sapatnekar, Sachin S., Karpuzcu, Ulya R.
Format:	Preprint
Published:	2025
Subjects:	Emerging Technologies
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

HETRI: Heterogeneous Ising Multiprocessing
by: Cılasun, Hüsrev, et al.
Published: (2024)

Supporting Higher-Order Interactions in Practical Ising Machines
by: Prova, Nafisa Sadaf, et al.
Published: (2025)

3SAT on an All-to-All-Connected CMOS Ising Solver Chip
by: Cılasun, Hüsrev, et al.
Published: (2023)

Extractive summarization on a CMOS Ising machine
by: Zeng, Ziqing, et al.
Published: (2026)

Computing In Spintronic Memory: A Thermal Perspective
by: Miller, Patrick, et al.
Published: (2026)

Decomposing Large-Scale Ising Problems on FPGAs: A Hybrid Hardware Approach
by: Yin, Ruihong, et al.
Published: (2026)

DROID: Discrete-Time Simulation for Ring-Oscillator-Based Ising Design
by: Kumar, Abhimanyu, et al.
Published: (2025)

On Error Correction for Nonvolatile Processing-In-Memory
by: Cılasun, Hüsrev, et al.
Published: (2022)

Implicitly Parallel Neuromorphic Solver Design for Constraint Satisfaction Problems
by: Uludag, Recep Bugra, et al.
Published: (2026)

Experimental demonstration of magnetic tunnel junction-based computational random-access memory
by: Lv, Yang, et al.
Published: (2023)

SAIM: Scalable Analog Ising Machine for Solving Quadratic Binary Optimization Problems
by: Razmkhah, Sasan, et al.
Published: (2024)

An ASIC Emulated Oscillator Ising/Potts Machine Solving Combinatorial Optimization Problems
by: Gonul, Yilmaz Ege, et al.
Published: (2026)

Multi Digit Ising Mapping for Low Precision Ising Solvers
by: Singh, Abhishek Kumar, et al.
Published: (2024)

An Electronic Ising Machine
by: Bowring, Matt, et al.
Published: (2025)

Information Transmission in Quorum Sensing for Gut Microbiome
by: Baydas, O. Tansel, et al.
Published: (2025)

Accurate modeling of continuous-time SAT solvers in SPICE
by: Pershin, Yuriy V., et al.
Published: (2024)

A SAT Encoding for Optimal Clifford Circuit Synthesis
by: Schneider, Sarah, et al.
Published: (2022)

Limitations in Parallel Ising Machine Networks: Theory and Practice
by: Burns, Matthew X., et al.
Published: (2025)

Relaxation-based dynamical Ising machines for discrete tomography
by: Erementchouk, Mikhail, et al.
Published: (2025)

Performance Gains in Quantum SAT Solvers Using ESOP Encoding
by: Assaad, Majd, et al.
Published: (2026)

Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs
by: Zielinski, Sebastian, et al.
Published: (2024)

Resistive Memory for Computing and Security: Algorithms, Architectures, and Platforms
by: Singh, Simranjeet, et al.
Published: (2024)

BEOL Ferroelectric Compute-in-Memory Ising Machine for Simulated Bifurcation
by: Qian, Yu, et al.
Published: (2025)

Building a simple oscillator based Ising machine for research and education
by: Ulmann, Bernd, et al.
Published: (2024)

Robustness Verification of Binary Neural Networks: An Ising and Quantum-Inspired Framework
by: Singh, Rahul, et al.
Published: (2026)

End-to-End Mathematical Modeling of Stress Communication Between Plants
by: Kilic, Ahmet B., et al.
Published: (2024)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
by: Kole, Abhoy, et al.
Published: (2024)

Intrinsic Annealing in a Hybrid Memristor-Magnetic Tunnel Junction Ising Machine
by: Iftakher, Mohammed Akib, et al.
Published: (2025)

Designing Unit Ising Models for Logic Gate Simulation through Integer Linear Programming
by: Tsukiyama, Shunsuke, et al.
Published: (2024)

General Oscillator-Based Ising Machine Models with Phase-Amplitude Dynamics and Polynomial Interactions
by: Sun, Lianlong, et al.
Published: (2025)

Supporting Energy-Based Learning With An Ising Machine Substrate: A Case Study on RBM
by: Vengalam, Uday Kumar Reddy, et al.
Published: (2023)

Conserved Linear Epitopes in the VP1 Protein of Foot‐and‐Mouth Disease Virus Serotype SAT2: Identification and Characterization
by: Yu-qian Zhu, et al.
Published: (2026)

Parallelizable Search-Space Decomposition for Large-Scale Combinatorial Optimization Problems Using Ising Machines
by: Kawase, Eiji, et al.
Published: (2026)

Cache Coherence Over Disaggregated Memory
by: Wang, Ruihong, et al.
Published: (2024)

A Unified Performance-Cost Landscape of Parallel p-bit Ising Machines Based on Update Dynamics
by: Onizawa, Naoya, et al.
Published: (2026)

Clustering Guided Residual Neural Networks for Multi-Tx Localization in Molecular Communications
by: Sonmez, Ali, et al.
Published: (2025)

Adaptive controllable architecture of analog Ising machine
by: Li, Langyu, et al.
Published: (2026)

Scalable almost-linear dynamical Ising machines
by: Shukla, Aditya, et al.
Published: (2022)

Scalable Connectivity for Ising Machines: Dense to Sparse
by: Sajeeb, M Mahmudul Hasan, et al.
Published: (2025)

Solving Boolean satisfiability problems with resistive content addressable memories
by: Pedretti, Giacomo, et al.
Published: (2025)