Kairong Zhang, Masahiro Nagamatu. Solving Satisfiability Problem by Parallel Execution of Neural Networks with Biases. In Wlodzislaw Duch, Janusz Kacprzyk, Erkki Oja, Slawomir Zadrozny, editors, Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005, 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II. Volume 3697 of Lecture Notes in Computer Science, pages 969-974, Springer, 2005. [doi]
Abstract is missing.