SKARUZ, J.; NIEWIADOMSKI, A.; PENCZEK, W. 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: 3 may. 2024.