A Human Computation Framework for Boosting Combinatorial Solvers