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