@article{solvingwitnesstypetrianglepuzzlesfaster,
  title = {Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate},
  author = {Justin Stevens and Vadim Bulitko and David Thue},
  year = {2023},
  eprint = {2308.02666},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2308.02666v1},
}