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