@misc{indiciae8891ee0c1231,
  title = {Accelerating Hybrid XOR\$-\$CNF Boolean Satisfiability Problems Natively with In-Memory Computing},
  author = {Haesol Im and Fabian Böhm and Giacomo Pedretti and Noriyuki Kushida and Moslem Noori and Elisabetta Valiante and Xiangyi Zhang and Chan-Woo Yang and Tinish Bhattacharya and Xia Sheng and Jim Ignowski and Arne Heittmann and John Paul Strachan and Masoud Mohseni and Ray Beausoleil and Thomas Van Vaerenbergh and Ignacio Rozada},
  year = {2026},
  doi = {10.1038/s41467-026-69465-2},
  url = {https://arxiv.org/abs/2504.06476},
  note = {Source identifier: 2504.06476}
}