“…This planning approach, after two decades of inactivity since its initial proposal (Mali & Kambhampati, 1998), recently received a significant amount of attention. On the one hand, new techniques for much more compact SAT encodings were found Schreiber, Pellier, Fiorino, & Balyo, 2019a;Schreiber, Pellier, Fiorino, et al, 2019b) while on the other hand new grounding approaches (Ramoul, Pellier, Fiorino, & Pesty, 2017;Behnke, Höller, Schmid, Bercher, & Biundo, 2020) serve as a catalyst to improve on SAT-based approaches, not only speeding up the processing of a planning description but also leading to smaller encodings and therefore better performance.…”