J. Skaruz, A. Niewiadomski, and W. Penczek, “Combining SMT and Simulated Annealing into a Hybrid Planning Method”, SI, vol. 19, no. 1-2, pp. 43–48, May 2019.