Keyword:proof complexity

Publications
EasyChair Preprint 8633