Community Branching for Parallel Portfolio SAT Solvers. - Tomohiro Sonobe; Shuya Kondoh; Mary Inaba (SAT, 2014)