Proof Complexity and Certification in QBF, PSPACE and Beyond

Leroy Chew (ORCID: 0000-0003-0226-2832)

Matching Funds - Oberösterreich

Disciplines

Computer Sciences (90%); Philosophy, Ethics, Religion (10%)

Keywords

  • QBF,
  • PSPACE,
  • Proof Complexity,
  • Certification
Research institution(s)
Project participants
International project participants