TY  - RPRT
TI  - Resource-Constrained Heuristic for Max-SAT
AU  - Brian Matejek
AU  - Daniel Elenius
AU  - Cale Gentry
AU  - David Stoker
AU  - Adam Cobb
PY  - 2024
UR  - https://arxiv.org/abs/2410.09173
ID  - 2410.09173
ER  -