Variable and clause elimination in SAT problems using an FPGA | IEEE Conference Publication | IEEE Xplore