Acceleration of Satisfiability Algorithms by Reconfigurable Hardware