research
∙
04/15/2022
An Experiment of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic
In this paper, we present an experiment of our randomized hints strategy...
research
∙
01/10/2022
An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation
In this paper, we present a curious experiment with the hot list strateg...
research
∙
06/24/2021
Choice of Parallelism: Multi-GPU Driven Pipeline for Huge Academic Backbone Network
Science Information Network (SINET) is a Japanese academic backbone netw...
research
∙
12/15/2020
A new perspective of paramodulation complexity by solving massive 8 puzzles
A sliding puzzle is a combination puzzle where a player slide pieces alo...
research
∙
11/02/2020
A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem
Generally, negation-limited inverters problem is known as a puzzle of co...
research
∙
08/21/2020