An Efficient Hardware Implementation of a SAT Problem Solver on FPGA | IEEE Conference Publication | IEEE Xplore