The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1993 vol.15)
pp: 514-521
ABSTRACT
<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>
INDEX TERMS
simulated annealing; Boltzmann machines; computational model; satisfiability; propositional calculus; consensus function maxima; Boltzmann machines; calculus; set theory; simulated annealing
CITATION
A. d'Anjou, M. Graña, F.J. Torrealdea, M.C. Hernandez, "Solving Satisfiability Via Boltzmann Machines", IEEE Transactions on Pattern Analysis & Machine Intelligence, vol.15, no. 5, pp. 514-521, May 1993, doi:10.1109/34.211473
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool