Image de couverture de livre

Accelerating Hybrid XOR$-$CNF Boolean Satisfiability Problems Natively with In-Memory Computing

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Im, Haesol, Böhm, Fabian, Pedretti, Giacomo, Kushida, Noriyuki, Noori, Moslem, Valiante, Elisabetta, Zhang, Xiangyi, Yang, Chan-Woo, Bhattacharya, Tinish, Sheng, Xia, Ignowski, Jim, Heittmann, Arne, Strachan, John Paul, Mohseni, Masoud, Beausoleil, Ray, Van Vaerenbergh, Thomas, Rozada, Ignacio
Format:	Preprint
Publié:	2025
Sujets:	Emerging Technologies Hardware Architecture Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Hardware-Compatible Single-Shot Feasible-Space Heuristics for Solving the Quadratic Assignment Problem
par: Im, Haesol, et autres
Publié: (2025)

Parallel Tempering-Inspired Distributed Binary Optimization with In-Memory Computing
par: Zhang, Xiangyi, et autres
Publié: (2024)

A Statistical Analysis for Per-Instance Evaluation of Stochastic Optimizers: Avoiding Unreliable Conclusions
par: Noori, Moslem, et autres
Publié: (2025)

Solving Boolean satisfiability problems with resistive content addressable memories
par: Pedretti, Giacomo, et autres
Publié: (2025)

Performance of QUBO-Formulated MIMO Detection Under Hardware Precision Constraints
par: Hashemi, Seyedkhashayar, et autres
Publié: (2026)

Computing High-Degree Polynomial Gradients in Memory
par: Bhattacharya, T., et autres
Publié: (2024)

Memristor-based hardware and algorithms for higher-order Hopfield optimization solver outperforming quadratic Ising machines
par: Hizzani, Mohammad, et autres
Publié: (2023)

The 2CNF Boolean Formula Satisfiability Problem and the Linear Space Hypothesis
par: Yamakami, Tomoyuki
Publié: (2017)

On the enumeration of signatures of XOR-CNF's
par: Creignou, Nadia, et autres
Publié: (2024)

Implicit Redundancy and Degeneracy in Conic Program
par: Im, Haesol
Publié: (2024)

Nonlocal Monte Carlo via Reinforcement Learning
par: Dobrynin, Dmitrii, et autres
Publié: (2025)

The Satisfiability Threshold for K-XOR Games
par: Hughes, Jared A., et autres
Publié: (2025)

Real-time raw signal genomic analysis using fully integrated memristor hardware
par: He, Peiyi, et autres
Publié: (2025)

A Fast and Energy-Efficient Latch-Based Memristive Analog Content-Addressable Memory
par: Manea, Paul-Philipp, et autres
Publié: (2026)

Satisfiability of Quantified Boolean Announcements
par: van Ditmarsch, Hans, et autres
Publié: (2022)

Compression with wildcards: All models of a Boolean 2-CNF
par: Wild, Marcel
Publié: (2012)

On the Number of Control Nodes of Threshold and XOR Boolean Networks
par: Fok, Christopher H., et autres
Publié: (2025)

On the Expressive Power of GNNs for Boolean Satisfiability
par: Peltonen, Saku, et autres
Publié: (2026)

Boolean Satisfiability via Imitation Learning
par: Zhang, Zewei, et autres
Publié: (2025)

Learning-Augmented Algorithms for Boolean Satisfiability
par: Attias, Idan, et autres
Publié: (2025)

Inverse Intersections for Boolean Satisfiability Problems
par: Homer, Paul W.
Publié: (2025)

On Generating Cancelable Biometric Template using Reverse of Boolean XOR
par: Manisha, et autres
Publié: (2024)

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
par: Hůla, Jan, et autres
Publié: (2024)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
par: Dawar, Anuj, et autres
Publié: (2026)

Hardware-Adaptive and Superlinear-Capacity Memristor-based Associative Memory
par: He, Chengping, et autres
Publié: (2025)

RACE-IT: A Reconfigurable Analog Computing Engine for In-Memory Transformer Acceleration
par: Zhao, Lei, et autres
Publié: (2023)

Energy landscapes of combinatorial optimization in Ising machines
par: Dobrynin, Dmitrii, et autres
Publié: (2024)

Automatic Differentiation Accelerated Shape Optimization Approaches to Photonic Inverse Design in FDFD/FDTD
par: Sean Hooten, et autres
Publié: (2024)

Critical Factors Governing the Frictional Coefficient in Mg Alloys—Learn From Machine Learning
par: Negar Bagherieh, et autres
Publié: (2025)

Connecting XOR and XOR* games
par: Catani, Lorenzo, et autres
Publié: (2022)

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
par: Chan, Tsz Ho, et autres
Publié: (2024)

Morphology and Properties of Epoxy/Polycaprolactone@CNF Microsphere/CNF Composite Foams
par: Wei Zhang, et autres
Publié: (2026)

Heterogeneously Integrated Memristive Laser on Silicon with Non-Volatile Wavelength Tuning
par: Tossoun, Bassem, et autres
Publié: (2024)

Quantum strategies, error bounds, optimality, and duality gaps for multiplayer XOR, $\mathrm{XOR}^{*}$, compiled XOR, $\mathrm{XOR}^{*}$, and strong parallel repetiton of XOR, $\mathrm{XOR}^{*}$, and FFL games
par: Rigas, Pete
Publié: (2025)

One-side oscillation strategic approach
par: Ricardo Beausoleil
Publié: (2013)

The Recursive Constraint Principle: Generalizing Sudoku Cube Validation to Boolean Satisfiability (SAT)
par: Nikos Dimitris Fakotakis
Publié: (2026)

Solving Boolean Satisfiability Problems Using A Hypergraph-based Probabilistic Computer
par: He, Yihan, et autres
Publié: (2025)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
par: Kim, Curie, et autres
Publié: (2026)

Hybrid Multiobjective Framework for Boolean Satisfiability Optimization With Application to Financial Risk Prediction
par: Hamza Abubakar, et autres
Publié: (2026)

Distributed Quantum Computing via Adaptive Circuit Knitting
par: Johnson, K. Grace, et autres
Publié: (2026)