An Efficient SAT Solving Algorithm Using Pseudo-Conflict Learning and Heterogeneous Computing. - Heng Liu; Wendy MacCaully; Xu Wang (CANDAR, 2015)