A Human Computation Framework for Boosting Combinatorial Solvers

The past decade has witnessed the rapid emergence of the We consider a central task in combinatorial materials discovery, field of human computation, along with numerous successful namely the problem of identifying the crystalline applications. Human computation is motivated by problems phases of inorganic compounds based on an analysis of for which automated algorithms cannot yet exceed high-intensity X-ray patterns. In our approach, we integrate human performance (Von Ahn 2005). Indeed, some tasks a state-of-the-art optimization framework based on are naturally and truly easy for humans, while they remain constraint reasoning with a human computation component.