{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:12:49Z","timestamp":1778249569675,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540602163","type":"print"},{"value":"9783540447337","type":"electronic"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0030881","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T03:51:40Z","timestamp":1133409100000},"page":"591-596","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A physical model for the satisfiability problem"],"prefix":"10.1007","author":[{"given":"Huang","family":"Wenqi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Weifeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhang","family":"Yuping","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"issue":"No.1","key":"68_CR1","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/130836.130837","volume":"3","author":"J. Gu","year":"1992","unstructured":"Gu, J., Efficient Local Search for Very Large-Scale Satisfiability Problem, SIGART Bulletin, Vol. 3, No. 1, Jan. 1992, pp.8\u201312.","journal-title":"SIGART Bulletin"},{"key":"68_CR2","doi-asserted-by":"crossref","unstructured":"Gu, J., Local Search For Satisfiability (SAT) Problem, IEEE Transactions on Systems, Man, and Cybernetics, Vol. 23, No. 4, July\/August 1993.","DOI":"10.1109\/21.247892"},{"key":"68_CR3","doi-asserted-by":"crossref","unstructured":"Gu, J., Global Optimization For Satisfiability (SAT) Problem, IEEE Transactions on Knowledge and Data Engineering, Vol.6, No. 3, June 1994.","DOI":"10.1109\/69.334864"},{"key":"68_CR4","unstructured":"Li, W., Huang, W., A mathematical-physical approach to the satisfiability problem, Science in China, Vol.38, No.1, 1995."},{"key":"68_CR5","unstructured":"Mitchell,D.,Selman,B.,and Levesque,H.J.(1992),Hard and easy distributions of SAT problems. Proceedings AAAI-92,San Jose,CA,459\u2013465."},{"key":"68_CR6","unstructured":"Selman,B.and Levesque,H.J.,and Mitchell,D.G.(1992), A New Method for Solving Hard Satisfiability Problems, Proc. AAAI-92,San Jose,CA,440\u2013446."}],"container-title":["Lecture Notes in Computer Science","Computing and Combinatorics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:26:22Z","timestamp":1778246782000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0030881"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602163","9783540447337"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0030881","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"20 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}