A Unified Formal Verification for the k-Center Problem.

Qi Sun, Haitao Xu

Browse the full SETTA paper archive.