Mahajan, Meena

Recent Publications

Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution

2022