A Study of Proof Search Algorithms for Resolution and Polynomial Calculus