Trevisan

“The matching hardness result is due to Trevisan, while the corresponding algorithmic guarantee was established by Barak et al.”