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, Accessed: Nov. 21, 2024. [Online]. Available: https://czasopisma.uws.edu.pl/studiainformatica/article/view/231