{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:44:19Z","timestamp":1649184259999},"reference-count":12,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Neur. Syst."],"published-print":{"date-parts":[[1999,2]]},"abstract":"<jats:p> First a Linear Programming formulation is considered for the satisfiability problem, in particular for the satisfaction of a Conjunctive Normal Form in the Propositional Calculus and the Simplex algorithm for solving the optimization problem. The use of Recurrent Neural Networks is then described for choosing the best pivot positions and greatly improving the algorithm performance. The result of hard cases testing is reported and shows that the technique can be useful even if it requires a huge amount of size for the constraint array and Neural Network Data Input. <\/jats:p>","DOI":"10.1142\/s0129065799000034","type":"journal-article","created":{"date-parts":[[2003,5,14]],"date-time":"2003-05-14T07:53:01Z","timestamp":1052898781000},"page":"11-25","source":"Crossref","is-referenced-by-count":0,"title":["NEURAL NETWORKS AND LINEAR PROGRAMMING FOR THE SATISFIABILITY PROBLEM"],"prefix":"10.1142","volume":"09","author":[{"given":"ANGELO","family":"MONFROGLIO","sequence":"first","affiliation":[{"name":"Via Beldi 19, 28068 Romentino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"issue":"5","key":"p_1","first-page":"1093","volume":"244","author":"Khachian L. G.","year":"1979","journal-title":"Soviet Mathematics Dklady"},{"key":"p_3","first-page":"61","year":"1990","journal-title":"Mathematical Programming 46 (North-Holland, Amsterdam)"},{"issue":"6","key":"p_6","first-page":"441","volume":"25","author":"Monfroglio A.","year":"1998","journal-title":"COR"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1402_1"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"p_12","first-page":"167","author":"Jeroslow R. G.","year":"1990","journal-title":"M. C. Golumbic and J. C. Baltzer (Scientific Publishing Company, Switzerland)"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1007\/BF02430364"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.1016\/0925-2312(91)90018-7"},{"key":"p_21","first-page":"259","author":"Monfroglio A.","year":"1993","journal-title":"Decision Support Systems 11 (North-Holland)"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1994.1009"},{"key":"p_23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01421960"},{"key":"p_26","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(96)00071-9"}],"container-title":["International Journal of Neural Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129065799000034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:50:44Z","timestamp":1565128244000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129065799000034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,2]]},"references-count":12,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1999,2]]}},"alternative-id":["10.1142\/S0129065799000034"],"URL":"https:\/\/doi.org\/10.1142\/s0129065799000034","relation":{},"ISSN":["0129-0657","1793-6462"],"issn-type":[{"value":"0129-0657","type":"print"},{"value":"1793-6462","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,2]]}}}