A Reconfigurable lsing Machine for Boolean Satisfiability Problems Featuring Many-Body Spin Interactions | IEEE Conference Publication | IEEE Xplore