Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux. Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. In Frank van Harmelen, editor, Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI 2002, Lyon, France, July 2002. pages 576-580, IOS Press, 2002.
Abstract is missing.