TY - RPRT TI - Neural networks and linear programming for the satisfiability problem. AU - A Monfroglio PY - 1999 DO - 10.1142/s0129065799000034 UR - https://pubmed.ncbi.nlm.nih.gov/10401927/ ID - 10401927 ER -