Solving SAT by Lagrange Programming Neural Network with Long and Short Term Memories.

Masahiro Nagamatu, Torao Yanaru

Browse the full EJC paper archive.