@misc{indiciae6af285d2a1c0,
  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},
  url = {https://arxiv.org/abs/2308.02666},
  note = {Source identifier: 2308.02666}
}