%0 Journal Article %1 journals/corr/abs-2012-08231 %A Ando, Ruo %A Takefuji, Yoshiyasu %D 2020 %J CoRR %K dblp %T A new perspective of paramodulation complexity by solving massive 8 puzzles. %U http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-08231 %V abs/2012.08231

@article{journals/corr/abs-2012-08231, added-at = {2021-01-02T00:00:00.000+0100}, author = {Ando, Ruo and Takefuji, Yoshiyasu}, biburl = {https://www.bibsonomy.org/bibtex/27f909d622b3464114937a069cf9f1703/dblp}, ee = {https://arxiv.org/abs/2012.08231}, interhash = {9f07f7f09f48572a83de8e693d3a29e5}, intrahash = {7f909d622b3464114937a069cf9f1703}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:10:53.000+0200}, title = {A new perspective of paramodulation complexity by solving massive 8 puzzles.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-08231}, volume = {abs/2012.08231}, year = 2020 }