Community Branching for Parallel Portfolio SAT Solvers.

Tomohiro Sonobe, Shuya Kondoh, Mary Inaba

Browse the full SAT paper archive.