The Complexity of the Hajs Calculus

Toniann Pitassi, Alasdair Urquhart

Browse the full FOCS paper archive.