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

Maria Luisa Bonet, Sam Buss

Browse the full IJCAI paper archive.