SKARUZ, Jarosław; NIEWIADOMSKI, Artur; PENCZEK, Wojciech. Combining SMT and Simulated Annealing into a Hybrid Planning Method. Studia Informatica. System and information technology, [S. l.], v. 19, n. 1-2, p. 43–48, 2019. Disponível em: https://czasopisma.uph.edu.pl/studiainformatica/article/view/231. Acesso em: 22 jul. 2024.