A novel conflict directed jumping algorithm for hardware-based SAT solvers | IEEE Conference Publication | IEEE Xplore