Parallel State Space Search for SAT with Lagrange Programming Neural Network.

Masahiro Nagamatu, Torao Yanaru

Browse the full ICONIP paper archive.