Daniel Höller, Gregor Behnke. Encoding Lifted Classical Planning in Propositional Logic. In Akshat Kumar, Sylvie Thiébaux, Pradeep Varakantham, William Yeoh 0001, editors, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022. pages 134-144, AAAI Press, 2022. [doi]
Abstract is missing.