Propositional proof system - Document - PDFSEARCH.IO

First Page	Meta Content
	ON SPACE AND DEPTH IN RESOLUTION Alexander Razborov September 13, 2017 Abstract. We show that the total space in resolution, as well as in Add to Reading List Document Date: 2017-09-13 17:59:44 Open Document File Size: 515,29 KB Share Result on Facebook

UPDATE

ON SPACE AND DEPTH IN RESOLUTION Alexander Razborov September 13, 2017 Abstract. We show that the total space in resolution, as well as inAdd to Reading List