Shortest path amidst disc obstacles is computable - Chang, E.-C. (2013)
Proceedings of the Annual Symposium on Computational Geometry