Author:Agnes Schleitzer

Publications
EasyChair Preprint no. 8633

Keyphrases

lower bounds, proof complexity, QBF, resolution.