Jörg Hoffmann 0001, Maximilian Fickert. C) in Polynomial Time. In Ronen I. Brafman, Carmel Domshlak, Patrik Haslum, Shlomo Zilberstein, editors, Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015. pages 115-119, AAAI Press, 2015. [doi]