SongThe sources this bibliography records under this name, in order of publication, and the claims they support.Wang, Song (2011)Ckmeans.1d.dp: Optimal k-means Clustering in One Dimension by Dynamic Programming2011Vector quantization and Voronoi theoryClaims that cite this workVerification recordPublication-grade audit of the DS19 tilt-DP certificate complexAUDIT-DS-PRACTICAL-CERTIFIED-SOLVERProved here, no precedent foundScalar-POI tilt-DP gives a valid two-sided certificate with an exact saddle closure gateDS-TILT-DUAL-CERTIFICATE