Im, H., Böhm, F., Pedretti, G., Kushida, N., Noori, M., Valiante, E., Zhang, X., Yang, C., Bhattacharya, T., Sheng, X., Ignowski, J., Heittmann, A., Strachan, J. P., Mohseni, M., Beausoleil, R., Vaerenbergh, T. V., Rozada, I. (2026). Accelerating hybrid XOR–CNF Boolean satisfiability problems natively with in-memory computing. Nature Communications. https://doi.org/10.1038/s41467-026-69465-2