A Study of Proof Search Algorithms for Resolution and Polynomial Calculus.

Maria Luisa Bonet, Nicola Galesi

Browse the full FOCS paper archive.