A virtual logic algorithm for solving satisfiability problems using reconfigurable hardware | IEEE Conference Publication | IEEE Xplore