B-rep Boolean Resulting Model Repair by Correcting Intersection Edges Based on Inference Procedure. - Haomian Huang; Li Chen; Enya Shen; Jianmin Wang (CoRR, 2023)