@article{athanorlocalsearchoverabstractconstraint,
  title = {Athanor: Local Search over Abstract Constraint Specifications},
  author = {Saad Attieh and Nguyen Dang and Christopher Jefferson and Ian Miguel and Peter Nightingale},
  year = {2024},
  eprint = {2410.05937},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.05937v2},
}