Parallel Satisfiability Solver Based on Hybrid Partitioning Method | IEEE Conference Publication | IEEE Xplore