{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:12:49Z","timestamp":1761894769695},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1007\/bf02946608","type":"journal-article","created":{"date-parts":[[2008,9,5]],"date-time":"2008-09-05T01:40:56Z","timestamp":1220578856000},"page":"9-12","source":"Crossref","is-referenced-by-count":1,"title":["A hopeful CNF-SAT algorithm\u2014 Its high efficiency, industrial application and limitation"],"prefix":"10.1007","volume":"13","author":[{"given":"Wenqi","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02946608_CR1","doi-asserted-by":"crossref","unstructured":"Huang Wenqi, Li Wei, Lu Weifeng, Zhang Yuping. A physical model for the satisfiability problem. Lecture Notes in Computer Science 959 Springer. InProc. First Annual International Conference, Cocoon\u203295, Xi\u2019an, China, August 1995.","DOI":"10.1007\/BFb0030881"},{"key":"BF02946608_CR2","unstructured":"Li Wei, Huang Wenqi. A mathematic-physical approach to the satisfiability problem. InScience in China, Series A, Nov. 1994 (in Chinese), Jan. 1995 (in English)."},{"key":"BF02946608_CR3","unstructured":"Huang Wenqi. Solving CNF-SAT problem by ordinary differential equation method. InProc. National Symposium on Dynamical System (in Chinese), Xinin, Black Horse River, July 1994."},{"key":"BF02946608_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity Theory of Real Functions","author":"Ker-I ko","year":"1991","unstructured":"Ker-I ko. Complexity Theory of Real Functions. Birch\u00fcser, Boston\u00b7Basel\u00b7Berlin, 1991."},{"key":"BF02946608_CR5","series-title":"Technical Report","volume-title":"A Practical, Feasible Square Packing Algorithm for Chip Manufacture in VLSI","author":"Wenqi Huang","year":"1992","unstructured":"Huang Wenqi, Moos Sweedler. A Practical, Feasible Square Packing Algorithm for Chip Manufacture in VLSI. Technical Report 1992-20, Mathematical Sciences Institute, Cornell University, U.S.A."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02946608.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02946608\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02946608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:17:12Z","timestamp":1558469832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02946608"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["BF02946608"],"URL":"https:\/\/doi.org\/10.1007\/bf02946608","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}