Boolean Subtraction for Proximity Queries With Applications to Path Planning Tasks With Collisions | IEEE Journals & Magazine | IEEE Xplore