Haesol Im, Fabian Böhm, Giacomo Pedretti, Noriyuki Kushida, Moslem Noori, Elisabetta Valiante, Xiangyi Zhang, Chan-Woo Yang, Tinish Bhattacharya, Xia Sheng, Jim Ignowski, Arne Heittmann, John Paul Strachan, Masoud Mohseni, Raymond Beausoleil, Thomas Van Vaerenbergh, Ignacio Rozada. "Accelerating hybrid XOR–CNF Boolean satisfiability problems natively with in-memory computing." Nature Communications (2026). https://doi.org/10.1038/s41467-026-69465-2