Fišer D. Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level. ICAPS [Internet]. 2023Jul.1 [cited 2024Jul.29];33(1):118-27. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/27186