Skaruz J, Niewiadomski A, Penczek W. Combining SMT and Simulated Annealing into a Hybrid Planning Method. SI. 2019;19(1-2):43-48. Accessed March 27, 2026. https://czasopisma.uph.edu.pl/studiainformatica/article/view/231