Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate

Justin Stevens, Vadim Bulitko, David Thue

Automatically solving puzzle instances in the game The Witness can guide players toward solutions and help puzzle designers generate better puzzles. In the latter case such an Arti…