A Bayesian Approach to Tackling Hard Computational Problems