Skaruz, Jarosław, et al. “Combining SMT and Simulated Annealing into a Hybrid Planning Method”. Studia Informatica. System and Information Technology, vol. 19, no. 1-2, May 2019, pp. 43-48, https://czasopisma.uph.edu.pl/studiainformatica/article/view/231.