Skaruz, J., Niewiadomski, A. and Penczek, W. (2019) “Combining SMT and Simulated Annealing into a Hybrid Planning Method”, Studia Informatica. System and information technology, 19(1-2), pp. 43–48. Available at: https://czasopisma.uph.edu.pl/studiainformatica/article/view/231 (Accessed: 3 May 2024).