Towards a Theory of Algorithmic Proof Complexity (Invited Talk).

Albert Atserias

Published in: ICALP (2022)

Keyphrases

invited talk
theoretical framework
selected papers
computational model
knowledge discovery and data mining
book constitutes the refereed proceedings
complexity theoretic
book presents
carefully reviewed and selected from submissions
program committee