Neuro-Symbolic Sudoku Solver.

Ashutosh Hathidara Lalit Pandey

Published in: CoRR (2023)

Keyphrases

symbolic representation
high level
parallel search
neural network
artificial neural networks
neuro fuzzy
symbolic reasoning
computer vision
quantified boolean formulas
real time
databases
decision trees
search algorithm
state space
connectionist models
symbolic description