Search Results for author:
Found 3 papers, 0 papers with code
A new perspective of paramodulation complexity by solving massive 8 puzzles
By doing this, we can distinguish the complexity of 8 puzzles with the number of generated with paramodulation.
A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem
Generally, negation-limited inverters problem is known as a puzzle of constructing an inverter with AND gates and OR gates and a few inverters.
A constrained recursion algorithm for batch normalization of tree-sturctured LSTM
In proposal method, we impose the constraint on the recursion algorithm for the depth-first search of binary tree representation of LSTM for which batch normalization is applied.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
