1. A hardware accelerator for a Boolean satisfiability solver, comprising: an inference module comprising a plurality of inference engines, each inference engine storing a set of clauses of a Boolean satisfiability formula; and an inference multiplexer that serializes a plurality of results from the inference engines, wherein each inference engine comprises a walk table and a clause status table, and the walk table comprises index information pertaining to each clause and the clause status table comprises values of literals in each clause.