Issue No. 05 - May (1993 vol. 15)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/34.211473
<p>Boltzmann machines (BMs) are proposed as a computational model for the solution of the satisfiability (SAT) problem in the propositional calculus setting. Conditions that guarantee consensus function maxima for configurations of the BM associated with solutions to the satisfaction problem are given. Experimental results that show a linear behavior of BMs solving the satisfiability problem are presented and discussed.</p>
simulated annealing; Boltzmann machines; computational model; satisfiability; propositional calculus; consensus function maxima; Boltzmann machines; calculus; set theory; simulated annealing
F. Torrealdea, A. d'Anjou, M. Hernandez and M. Graña, "Solving Satisfiability Via Boltzmann Machines," in IEEE Transactions on Pattern Analysis & Machine Intelligence, vol. 15, no. , pp. 514-521, 1993.