128 citations · 198 across the 14 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.ET2025
Accelerating Hybrid XORCNF Boolean Satisfiability Problems Natively with In-Memory Computing
Haesol Im, Fabian Böhm, Giacomo Pedretti +14
The Boolean satisfiability (SAT) problem is a computationally challenging decision problem central to many industrial applications. For SAT problems in cryptanalysis, circuit desig…
cs.ET2025★ 18 cited
Roadmap on Neuromorphic Photonics
Daniel Brunner, Bhavin J. Shastri, Mohammed A. Al Qadasi +147
This roadmap consolidates recent advances while exploring emerging applications, reflecting the remarkable diversity of hardware platforms, neuromorphic concepts, and implementatio…