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 (May 2019), 43–48.