A reconfigurable, pipelined, conflict directed jumping search SAT solver | IEEE Conference Publication | IEEE Xplore