Parallel solvers for hard problems