Skaruz, J.; Niewiadomski, A.; Penczek, W. Combining SMT and Simulated Annealing into a Hybrid Planning Method. SI 2019, 19 (1-2), 43-48.