TY - RPRT TI - A Quantum-Inspired Classical Solver for Boolean k-Satisfiability Problems AU - S. Andrew Lanham AU - Brian R. La Cour PY - 2021 UR - https://arxiv.org/abs/2109.10291 ID - 2109.10291 ER -