Accelerating hybrid XOR–CNF Boolean satisfiability problems natively with in-memory computing

Nature Communications

Authors 16

1. Haesol Im
2. Fabian Böhm
3. Giacomo Pedretti
4. Noriyuki Kushida
5. Moslem Noori
6. Xiangyi Zhang
7. Chuhong Yang
8. Tinish Bhattacharya
9. Xia Sheng
10. Jim Ignowski
11. Arne Heittmann
12. John Paul Strachan Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

13. Masoud Mohseni
14. Raymond Beausoleil
15. Thomas Van Vaerenbergh
16. Ignacio Rozada