A Reconfigurable Five-Stage Pipelined SAT Solver | IEEE Conference Publication | IEEE Xplore