Author:Olaf Beyersdorff

Publications
EasyChair Preprint 8633

Keyphrases

lower bounds, proof complexity, QBF, resolution.