Exact boolean operation on triangulated meshes using accelerated BSPs | IEEE Conference Publication | IEEE Xplore