TY  - RPRT
TI  - Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate
AU  - Justin Stevens
AU  - Vadim Bulitko
AU  - David Thue
PY  - 2023
UR  - https://arxiv.org/abs/2308.02666
ID  - 2308.02666
ER  -