Le Bras, R., Y. Xue, R. Bernstein, C. Gomes, and B. Selman. “A Human Computation Framework for Boosting Combinatorial Solvers”. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing, vol. 2, no. 1, Sept. 2014, pp. 121-32, doi:10.1609/hcomp.v2i1.13155.