Megiddo
The sources this bibliography records under this name, in order of publication, and the claims they support.
Claims that cite this work
- Publication-grade audit of the DS19 tilt-DP certificate complexAUDIT-DS-PRACTICAL-CERTIFIED-SOLVER
- Scalar-POI tilt-DP gives a valid two-sided certificate with an exact saddle closure gateDS-TILT-DUAL-CERTIFICATE
- Best practical Ds solver with theorem-backed certificateOPEN-DS-PRACTICAL-CERTIFIED-SOLVER
- Exact bit complexity of the variable-dimension tilt-DP dualOPEN-DS-TILT-DUAL-EXACT-COMPLEXITY