{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:59:30Z","timestamp":1725465570504},"publisher-location":"New York","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"038723151X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-23152-8_35","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T06:36:28Z","timestamp":1137652588000},"page":"273-277","source":"Crossref","is-referenced-by-count":0,"title":["Mixed Parallel Execution of Algorithms for Satisfiability Problem"],"prefix":"10.1007","author":[{"given":"Kairong","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Masahiro","family":"Nagamatu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0925-2312(95)00087-9","volume":"13","author":"M. Nagamatu","year":"1995","unstructured":"M. Nagamatu and T. Yannaru, \u201cOn the stability of Lagrange programming neural networks of satisfiability problems of propositional calculus\u201d, Neurocomputing, 13, 119\u2013133, 1995.","journal-title":"Neurocomputing"},{"key":"35_CR2","unstructured":"M. Nagamatu and T. Yannaru, \u201cParallel state space search for SAT with Lagrange Programming Neural Network\u201d, proceedings of the fifth International Conference on Neural Information Processing. October, 1998"},{"key":"35_CR3","unstructured":"K. Zhang and M. Nagamatu, \u201cParallel execution of neural networks for solving SAT\u201d (to appear)."},{"key":"35_CR4","unstructured":"K. Zhang and M. Nagamatu, \u201cSolving SAT by execution of neural network with probabilistic attenuation coefficient generator\u201d (to appear)"},{"key":"35_CR5","unstructured":"B. Selman, H. Levesque and D. Mitchell, \u201cA new method for solving hard satisfiability problem,\u201d AAA-92, Proceedings Tenth National Conference on Artifical Intelligence, pp.440\u20136, 1992"}],"container-title":["IFIP International Federation for Information Processing","Intelligent Information Processing II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-23152-8_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T04:36:50Z","timestamp":1619498210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-23152-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["038723151X"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/0-387-23152-8_35","relation":{},"subject":[]}}