Dean Philp, Naomi Chan, Leslie F. Sikos. Decision Support for Network Path Estimation via Automated Reasoning. In Ireneusz Czarnowski, Robert J. Howlett, Lakhmi C. Jain, editors, Intelligent Decision Technologies 2019 - Proceedings of the 11th KES International Conference on Intelligent Decision Technologies (KES-IDT 2019), Volume 1, Malta, June 17-19, 2019. Volume 142 of Smart Innovation, Systems and Technologies, pages 335-344, Springer, 2019. [doi]
Abstract is missing.