A Configurable Hardware/Software Approach to SAT Solving | IEEE Conference Publication | IEEE Xplore