1 paper
Pravesh Kothari, Anand Louis, Rameesh Paul +1
We study the problem of efficiently certifying upper bounds on independence number of ℓ-uniform hypergraphs in semirandom models. This is a notoriously hard problem, with effi…