CarstensenThe sources this bibliography records under this name, in order of publication, and the claims they support.Carstensen (1983)Complexity of some parametric integer and network programming problems1983Vector quantization and Voronoi theoryClaims that cite this workVerification recordPublication-grade audit of the DS19 tilt-DP certificate complexAUDIT-DS-PRACTICAL-CERTIFIED-SOLVEROpenExact bit complexity of the variable-dimension tilt-DP dualOPEN-DS-TILT-DUAL-EXACT-COMPLEXITY