An Efficient SAT Solving Algorithm Using Pseudo-Conflict Learning and Heterogeneous Computing Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

MacCaull, Wendy
Liu, Heng
MacCaully, Wendy
Wang, Xu

status

published

publication date

December 2015

published in

2015 Third International Symposium on Computing and Networking (CANDAR) Journal

presented at event

2015 Third International Symposium on Computing and Networking (CANDAR) Conference