Skaruz, Jarosław, Artur Niewiadomski, and Wojciech Penczek. “Combining SMT and Simulated Annealing into a Hybrid Planning Method”. Studia Informatica. System and information technology 19, no. 1-2 (May 7, 2019): 43–48. Accessed May 3, 2024. https://czasopisma.uph.edu.pl/studiainformatica/article/view/231.