Boolean Operation for CAD Models Using a Hybrid Representation | Synapse