Behnke G, Biundo S. X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism: Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. ia [Internet]. 2018 Sep. 11 [cited 2025 Sep. 16];21(62):75-90. Available from: https://journal.iberamia.org/index.php/intartif/article/view/226