This repository include the proofs from:

Optimal Seeds Discovery of Traffic Congestions