Augmenting an electronic Ising machine to effectively solve boolean satisfiability

增强电子伊辛机以有效解决布尔可满足性问题