Resource-Constrained Heuristic for Max-SAT. - Brian Matejek; Daniel Elenius; Cale Gentry; David Stoker; Adam D. Cobb (CoRR, 2024)