Skaruz J, Niewiadomski A, Penczek W. Combining SMT and Simulated Annealing into a Hybrid Planning Method. SI [Internet]. 2019 May 7 [cited 2024 Nov. 24];19(1-2):43-8. Available from: https://czasopisma.uws.edu.pl/studiainformatica/article/view/231