A Quantum-Inspired Classical Solver for Boolean k-Satisfiability Problems