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

Overview

publication venue for

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