PaMira - A Parallel SAT Solver with Knowledge Sharing | IEEE Conference Publication | IEEE Xplore