{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:57:30Z","timestamp":1742932650919,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287551"},{"type":"electronic","value":"9783540287568"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11550907_153","type":"book-chapter","created":{"date-parts":[[2021,2,12]],"date-time":"2021-02-12T16:24:41Z","timestamp":1613147081000},"page":"969-974","source":"Crossref","is-referenced-by-count":0,"title":["Solving Satisfiability Problem by Parallel Execution of Neural Networks with Biases"],"prefix":"10.1007","author":[{"given":"Kairong","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Nagamatu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"153_CR1","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0925-2312(95)00087-9","volume":"13","author":"M. Nagamatu","year":"1995","unstructured":"Nagamatu, M., Yanaru, T.: On the stability of Lagrange programming neural networks of satisfiability problems of propositional calculus. Neurocomputing\u00a013, 119\u2013133 (1995)","journal-title":"Neurocomputing"},{"key":"153_CR2","unstructured":"Nagamatu, M., Hoshiura, M.: Using Centripetal Force to Solve SAT by Lagrange Programming Neural Network. In: Proceeding of Knowledge-Based Intelligent Information Engineering System & Allied Technologies (KES 2001), pp. 476\u2013480 (2001)"},{"key":"153_CR3","unstructured":"Zhang, K., Nagamatu, M.: Parallel Execution of Neural Networks for Solving SAT. In: JACIII (2005) (to appear)"}],"container-title":["Lecture Notes in Computer Science","Artificial Neural Networks: Formal Models and Their Applications \u2013 ICANN 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11550907_153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,12]],"date-time":"2021-02-12T16:27:03Z","timestamp":1613147223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11550907_153"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287551","9783540287568"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/11550907_153","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}