Abstract
This essay is a highly personal and biased account of some main concepts and several research directions in modern propositional proof complexity. Special attention will be paid to connections with other disciplines.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have