TY - RPRT TI - Two Constraint Compilation Methods for Lifted Planning AU - Periklis Mantenoglou AU - Luigi Bonassi AU - Enrico Scala AU - Pedro Zuidberg Dos Martires PY - 2026 DO - 10.1609/aaai.v40i43.40952 UR - https://arxiv.org/abs/2511.10164 ID - 2511.10164 ER -