@misc{indiciae2793e680ab96,
  title = {Resource-Constrained Heuristic for Max-SAT},
  author = {Brian Matejek and Daniel Elenius and Cale Gentry and David Stoker and Adam Cobb},
  year = {2024},
  url = {https://arxiv.org/abs/2410.09173},
  note = {Source identifier: 2410.09173}
}