P
Initializing...
Theorem 4.3: add/drop/swap local search for metric UFL has locality gap at most 3 · Prove2Me