3d Matching Made Exact: A Technical Deep Dive