Login / Signup
A new perspective of paramodulation complexity by solving massive 8 puzzles.
Ruo Ando
Yoshiyasu Takefuji
Published in:
CoRR (2020)
Keyphrases
</>
crossword puzzles
jigsaw puzzle
data analysis
worst case
data sets
computer vision
data mining
case study
lower bound
theorem proving
solving problems
nonlinear equations