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

Proof Complexity and Certification in QBF, PSPACE and Beyond

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

Matching Funds - Oberösterreich

Wissenschaftsdisziplinen

Informatik (90%); Philosophie, Ethik, Religion (10%)

Keywords

  • QBF,
  • PSPACE,
  • Proof Complexity,
  • Certification
Forschungsstätte(n)
Nationale Projektbeteiligte
Internationale Projektbeteiligte