Solving Satisfiability Problem by Parallel Execution of Neural Networks with Biases.

Kairong Zhang, Masahiro Nagamatu

Browse the full ICANN paper archive.