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

Justin Stevens Vadim Bulitko David Thue

Published in: CoRR (2023)

Keyphrases

automatically learned
crossword puzzles
jigsaw puzzle
real time
data sets
human experts
neural network
artificial neural networks
first order logic
constraint satisfaction
data structure
human behavior
human users
solving problems
quadratic programming
multiscale
artificial intelligence