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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call