Jussi Rintanen, Charles Orgill Gretton. Computing Upper Bounds on Lengths of Transition Sequences. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 2365-2372, IJCAI/AAAI, 2013. [doi]
Abstract is missing.