@article{resourceconstrainedheuristicformaxsat,
  title = {Resource-Constrained Heuristic for Max-SAT},
  author = {Brian Matejek and Daniel Elenius and Cale Gentry and David Stoker and Adam Cobb},
  year = {2024},
  eprint = {2410.09173},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.09173v1},
}