Reductions And Propositional Proofs For Total Np Search Problems