Research
Title : | Hardness in QBF proof complexity |
Area of research : | Mathematical Sciences |
Focus area : | International Bilateral Cooperation (IBC) |
Principal Investigator : | Dr. M. Mahajan Institute of Mathematical Sciences Tamil Nadu |
Timeline Start Year : | 2020 |
Timeline End Year : | 2021 |
Details
Total Budget (INR): | 10,04,500 |
Organizations involved
Implementing Agency : | Institute of Mathematical Sciences Tamil Nadu |
Funding Agency : | Department of Science and Technology (DST) |