Angelo Monfroglio Neural Networks and Linear Programming for the Satisfiability Problem. 11-25 1999 9 Int. J. Neural Syst. 1 http://dx.doi.org/10.1142/S0129065799000034 db/journals/ijns/ijns9.html#Monfroglio99