Solving Boolean satisfiability problems with resistive content addressable memories
Fuente:
arXiv
Saved in:
| Main Authors: | Pedretti, Giacomo, Böhm, Fabian, Bhattacharya, Tinish, Heittman, Arne, Zhang, Xiangyi, Hizzani, Mohammad, Hutchinson, George, Kwon, Dongseok, Moon, John, Valiante, Elisabetta, Rozada, Ignacio, Graves, Catherine E., Ignowski, Jim, Mohseni, Masoud, Strachan, John Paul, Strukov, Dmitri, Beausoleil, Ray, Van Vaerenbergh, Thomas |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Accelerating Hybrid XOR$-$CNF Boolean Satisfiability Problems Natively with In-Memory Computing
by: Im, Haesol, et al.
Published: (2025)
by: Im, Haesol, et al.
Published: (2025)
Parallel Tempering-Inspired Distributed Binary Optimization with In-Memory Computing
by: Zhang, Xiangyi, et al.
Published: (2024)
by: Zhang, Xiangyi, et al.
Published: (2024)
Hardware-Compatible Single-Shot Feasible-Space Heuristics for Solving the Quadratic Assignment Problem
by: Im, Haesol, et al.
Published: (2025)
by: Im, Haesol, et al.
Published: (2025)
Memristor-based hardware and algorithms for higher-order Hopfield optimization solver outperforming quadratic Ising machines
by: Hizzani, Mohammad, et al.
Published: (2023)
by: Hizzani, Mohammad, et al.
Published: (2023)
In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
by: Dongseok Kwon, et al.
Published: (2026)
by: Dongseok Kwon, et al.
Published: (2026)
Energy landscapes of combinatorial optimization in Ising machines
by: Dobrynin, Dmitrii, et al.
Published: (2024)
by: Dobrynin, Dmitrii, et al.
Published: (2024)
A Statistical Analysis for Per-Instance Evaluation of Stochastic Optimizers: Avoiding Unreliable Conclusions
by: Noori, Moslem, et al.
Published: (2025)
by: Noori, Moslem, et al.
Published: (2025)
Computing High-Degree Polynomial Gradients in Memory
by: Bhattacharya, T., et al.
Published: (2024)
by: Bhattacharya, T., et al.
Published: (2024)
FPIA: Field-Programmable Ising Arrays with In-Memory Computing
by: Hutchinson, George Higgins, et al.
Published: (2024)
by: Hutchinson, George Higgins, et al.
Published: (2024)
Performance of QUBO-Formulated MIMO Detection Under Hardware Precision Constraints
by: Hashemi, Seyedkhashayar, et al.
Published: (2026)
by: Hashemi, Seyedkhashayar, et al.
Published: (2026)
Nonlocal Monte Carlo via Reinforcement Learning
by: Dobrynin, Dmitrii, et al.
Published: (2025)
by: Dobrynin, Dmitrii, et al.
Published: (2025)
Real-time raw signal genomic analysis using fully integrated memristor hardware
by: He, Peiyi, et al.
Published: (2025)
by: He, Peiyi, et al.
Published: (2025)
A Fast and Energy-Efficient Latch-Based Memristive Analog Content-Addressable Memory
by: Manea, Paul-Philipp, et al.
Published: (2026)
by: Manea, Paul-Philipp, et al.
Published: (2026)
NeoHebbian Synapses to Accelerate Online Training of Neuromorphic Hardware
by: Pande, Shubham, et al.
Published: (2024)
by: Pande, Shubham, et al.
Published: (2024)
Nonlinear Hamiltonians and Boolean satisfiability
by: Geller, Michael R., et al.
Published: (2026)
by: Geller, Michael R., et al.
Published: (2026)
RACE-IT: A Reconfigurable Analog Computing Engine for In-Memory Transformer Acceleration
by: Zhao, Lei, et al.
Published: (2023)
by: Zhao, Lei, et al.
Published: (2023)
Heterogeneously Integrated Memristive Laser on Silicon with Non-Volatile Wavelength Tuning
by: Tossoun, Bassem, et al.
Published: (2024)
by: Tossoun, Bassem, et al.
Published: (2024)
X-TIME: An in-memory engine for accelerating machine learning on tabular data with CAMs
by: Pedretti, Giacomo, et al.
Published: (2023)
by: Pedretti, Giacomo, et al.
Published: (2023)
Patriotic (Non) Consumption: Food, Fashion and Media: Editorial
by: Strukov, Vlad
Published: (2016)
by: Strukov, Vlad
Published: (2016)
Hardware-Adaptive and Superlinear-Capacity Memristor-based Associative Memory
by: He, Chengping, et al.
Published: (2025)
by: He, Chengping, et al.
Published: (2025)
Automatic Differentiation Accelerated Shape Optimization Approaches to Photonic Inverse Design in FDFD/FDTD
by: Sean Hooten, et al.
Published: (2024)
by: Sean Hooten, et al.
Published: (2024)
A Medical Tape/Slide Library
by: Graves, John, et al.
Published: (1974)
by: Graves, John, et al.
Published: (1974)
NL-DPE: An Analog In-memory Non-Linear Dot Product Engine for Efficient CNN and LLM Inference
by: Zhao, Lei, et al.
Published: (2025)
by: Zhao, Lei, et al.
Published: (2025)
A Unique Library Serves the United Farm Workers of America Union
by: Graves, Elaine, et al.
Published: (1976)
by: Graves, Elaine, et al.
Published: (1976)
BobVan der Linden. 2024. Romantic Nationalism in India: Cultivation of Culture and the Global Circulation of Ideas. Brill. 187 pp. EUR 99.00 (hbk).
by: John Hutchinson
Published: (2026)
by: John Hutchinson
Published: (2026)
Thor's hammer: How warfare enables and disables nation formation
by: John Hutchinson
Published: (2024)
by: John Hutchinson
Published: (2024)
One-side oscillation strategic approach
by: Ricardo Beausoleil
Published: (2013)
by: Ricardo Beausoleil
Published: (2013)
Distributed Quantum Computing via Adaptive Circuit Knitting
by: Johnson, K. Grace, et al.
Published: (2026)
by: Johnson, K. Grace, et al.
Published: (2026)
BBC's Video Hub: Working in the Post-broadcast Era
by: Strukov, Vlad, et al.
Published: (2012)
by: Strukov, Vlad, et al.
Published: (2012)
Chapter L’eredità di Bruno Trentin per la sinistra europea
by: Pedretti, Ivan
Published: (2023)
by: Pedretti, Ivan
Published: (2023)
Leonardo : rt and science / Carlo Pedretti
by: Pedretti, Carlo
by: Pedretti, Carlo
BUDDHISM IN COURT: RELIGION, LAW, AND JURISDICTION IN CHINA. By CulianLiu. New York and Oxford: Oxford University Press, 2024. Pp. xiv + 263. Hardback, $120.00.
by: Filippo Pedretti
Published: (2025)
by: Filippo Pedretti
Published: (2025)
Environmental Education and Science Education: Ideology, Hegemony, Traditional Knowledge, and Alignment
by: Erminia Pedretti
Published: (2014)
by: Erminia Pedretti
Published: (2014)
Fault-Free Analog Computing with Imperfect Hardware
by: Xu, Zhicheng, et al.
Published: (2025)
by: Xu, Zhicheng, et al.
Published: (2025)
Adriana López-Labourdette, Valeria Wagner y Daniel Bemgsch (eds.), Volver. Culturas e imaginarios del retorno a y desde América Latina, Barcelona, Red Ediciones, 2018
by: Esther Argüelles Rozada
Published: (2020)
by: Esther Argüelles Rozada
Published: (2020)
Quillahuaman, Rocío.Marrón. Memorias. Blackie Books, 2022, 200 pp.
by: Esther Argüelles Rozada
Published: (2024)
by: Esther Argüelles Rozada
Published: (2024)
A Full Stack Framework for High Performance Quantum-Classical Computing
by: Zhan, Xin, et al.
Published: (2025)
by: Zhan, Xin, et al.
Published: (2025)
Issue 8: Cinegames: Convergent Media and the Aesthetic Turn: Editorial
by: Strukov, Vlad, et al.
Published: (2012)
by: Strukov, Vlad, et al.
Published: (2012)
Bounded variables nonlinear multiple criteria optimization using scatter search
by: Ricardo P. Beausoleil
Published: (2004)
by: Ricardo P. Beausoleil
Published: (2004)
a tabu search approach for the weighted tardiness with sequence-dependent setups in one-machine problem
by: Ricardo P Beausoleil
Published: (2002)
by: Ricardo P Beausoleil
Published: (2002)
Similar Items
-
Accelerating Hybrid XOR$-$CNF Boolean Satisfiability Problems Natively with In-Memory Computing
by: Im, Haesol, et al.
Published: (2025) -
Parallel Tempering-Inspired Distributed Binary Optimization with In-Memory Computing
by: Zhang, Xiangyi, et al.
Published: (2024) -
Hardware-Compatible Single-Shot Feasible-Space Heuristics for Solving the Quadratic Assignment Problem
by: Im, Haesol, et al.
Published: (2025) -
Memristor-based hardware and algorithms for higher-order Hopfield optimization solver outperforming quadratic Ising machines
by: Hizzani, Mohammad, et al.
Published: (2023) -
In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
by: Dongseok Kwon, et al.
Published: (2026)