TY  - RPRT
TI  - A Constructive Formalization of the Weak Perfect Graph Theorem
AU  - Abhishek Kr Singh
AU  - Raja Natarajan
PY  - 2019
DO  - 10.1145/3372885.3373819
UR  - https://arxiv.org/abs/1912.02211
ID  - 1912.02211
ER  -