On the Complexity of Error Explanation.

Nirman Kumar, Viraj Kumar, Mahesh Viswanathan

Browse the full VMCAI paper archive.