Skaruz, J. et al. 2019. Combining SMT and Simulated Annealing into a Hybrid Planning Method. Studia Informatica. System and information technology. 19, 1-2 (May 2019), 43–48.