P
Initializing...
Theorem 4.1 — MinWork is a strongly truthful n-approximation mechanism · Prove2Me