Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Anil Shukla

Original record
Institution
The Institute of Mathematical Sciences, Chennai
Year
2017
Country
India
MGP identifier
221501

Dissertation: On Proof Complexity for Quantified Boolean Formulas

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy