Parallel and scalable architecture for solving SATisfiability on reconfigurable FPGA | IEEE Conference Publication | IEEE Xplore