TomᚠPEITL

project number
J-4361

project title
From QBF to DQBF: Theory together with Practice

research place
Friedrich Schiller Universität Jena
Fakultät für Mathematik und Informatik

duration

back to overview