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 2018, 21, 75-90.