Presentations

An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract)

Maria Luisa Bonet, Sam Buss

You are not currently permitted to view this paper. If you have an account for this conference website, you may need to log in to view content.