An Efficient SAT Solving Algorithm Using Pseudo-Conflict Learning and Heterogeneous Computing | IEEE Conference Publication | IEEE Xplore