Tomohiro Sonobe, Mary Inaba. Portfolio with Block Branching for Parallel SAT Solvers. In Giuseppe Nicosia, Panos M. Pardalos, editors, Learning and Intelligent Optimization - 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers. Volume 7997 of Lecture Notes in Computer Science, pages 247-252, Springer, 2013. [doi]
Abstract is missing.