Skip to content

A constructive formalization of the weak perfect graph theorem.

Abhishek Kr Singh, Raja Natarajan

VenueBCPP
Year2020
ProceedingsCPP

Browse the full CPP paper archive.