Agnes Schleitzer

1
Papers
0
Total Citations

Papers (1)

Computationally Hard Problems Are Hard for QBF Proof Systems Too

AAAI 2025
0
citations