Skaruz, J., Niewiadomski, A., & Penczek, W. (2019). Combining SMT and Simulated Annealing into a Hybrid Planning Method. Studia Informatica. System and Information Technology, 19(1-2), 43–48. Retrieved from https://czasopisma.uph.edu.pl/studiainformatica/article/view/231