A study of proof search algorithms for resolution and polynomial calculus | IEEE Conference Publication | IEEE Xplore