Emile H. L. Aarts;Jan H. M. Korst
-;-
Solving Satisfiability Via Boltzmann Machines
IEEE Transactions on Pattern Analysis and Machine Intelligence