A Simulated Annealing Algorithm for the Satisfiability Problem Using Dynamic Markov Chains with Linear Regression Equilibrium
1995 ◽
Vol 32
(04)
◽
pp. 867-876
◽
1992 ◽
Vol 29
(02)
◽
pp. 472-476
◽
2020 ◽
Keyword(s):
2013 ◽
Vol 32
(12)
◽
pp. 3478-3481
Keyword(s):
2013 ◽
Vol 33
(7)
◽
pp. 1898-1902
◽