Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek. Hybrid Planning by Combining SMT and Simulated Annealing. In Zbigniew Suraj, Ludwik Czaja, editors, Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015. Volume 1492 of CEUR Workshop Proceedings, pages 173-176, CEUR-WS.org, 2015. [doi]
Abstract is missing.