Portfolio with Block Branching for Parallel SAT Solvers

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

Abstract is missing.