Accelerating hybrid XOR–CNF Boolean satisfiability problems natively with in-memory computing
Year: 2026
Type: article
Source: RWTH Publications (RWTH Aachen)
Authors: Im, Haesol, Böhm, Fabian, Ignowski, Jim, Heittmann, Arne, Strachan, John Paul, Mohseni, Masoud, Beausoleil, Raymond, Van Vaerenbergh, Thomas, Rozada, Ignacio, Pedretti, Giacomo, Kushida, Noriyuki, Noori, Moslem, Valiante, Elisabetta, Zhang, Xiangyi, Yang, Chan-Woo, Bhattacharya, Tinish, Sheng, Xia
Language: English
Subfield: Electrical and Electronic Engineering
Field: Engineering
Domain: Physical Sciences
Open Access status: green
Award: G45918702
OpenAlex ID: W7130328747