Hernandez, C.; Baier, J. A. Avoiding and escaping depressions in real-time heuristic search. (English) Zbl 1237.68186 J. Artif. Intell. Res. (JAIR) 43, 523-570 (2012). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hernández, C.; Albizuri, F. X.; Danjou, A.; Graâ, M.; Torrealdea, F. J. Efficient solution of MAX-SAT and SAT via higher order Boltzmann machines. (English) Zbl 0971.90052 Rev. Invest. Oper. 22, No. 1, 67-79 (2001). Reviewer: Carlos Narciso Bouza (Habana) MSC: 90C09 90C30 68W10 90C27 × Cite Format Result Cite Review PDF