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 |
Total Budget (INR): | 10,04,500 |
Details
Organizations involved
Implementing Agency : | Institute of Mathematical Sciences Tamil Nadu |
Funding Agency : | Department of Science and Technology (DST) |