Bool the Miner: Relying on Ghost Companions to Solve Boolean Equations. - Maria Aufheimer; Johannes Bonenberger; David Klein 005; Imin Kurashvili; Katja Rogers (CHI PLAY (Companion), 2016)