starting date pendingPrincipal Investigator Projects

Proof Complexity and Certification in QBF, PSPACE and Beyond

Beweise Komplexität und Zertifikate in QBF, PSPACE und mehr

Principal Investigator

Keywords

QBFPSPACEProof ComplexityCertification

Research Disciplines

Artificial intelligenceFormal languagesTheoretical computer scienceLogic

This project has no linked research outputs in the database.

No additional funding sources recorded.