{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:17:11Z","timestamp":1743128231984,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540440383"},{"type":"electronic","value":"9783540456834"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"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":[[2002]]},"DOI":"10.1007\/3-540-45683-x_14","type":"book-chapter","created":{"date-parts":[[2007,5,22]],"date-time":"2007-05-22T22:42:27Z","timestamp":1179873747000},"page":"108-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances"],"prefix":"10.1007","author":[{"given":"Wenhui","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuo","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,8,21]]},"reference":[{"issue":"3-4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/BF02127976","volume":"17","author":"M. B\u00f6hm","year":"1996","unstructured":"Max B\u00f6hm and Ewald Speckenmeyer. A fast parallel SAT-solver-efficient workload balancing. Annals of Mathematics and Artificial Intelligence 17(3-4):381\u2013400. 1996.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"14_CR2","unstructured":"Holger H. Hoos. Stochastic Local Search-Methods, Models, Applications. PhD thesis, CS Department, TU Darmstadt, 1998."},{"key":"14_CR3","unstructured":"N. Jussien and O. Lhomme. Local search with constraint propagation and conflict-based heuristics. Proc. of the 17th National Conf. on Artificial Intelligence (AAAI), 169\u2013174, 2000."},{"key":"14_CR4","unstructured":"Henry Kautz, David McAllester and Bart Selman. Encoding Plans in Propositional Logic. Proc. KR\u201996, 374\u2013384. 1996."},{"key":"14_CR5","unstructured":"Henry Kautz and Bart Selman. Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. Proc. of the 13th National Conference on Artificial Intelligence (AAAI\u201996), 1194\u20131201, 1996."},{"key":"14_CR6","unstructured":"Chu Min Li and Anbulagan. Heuristics Based on Unit Propagation for Satisfiability Problems. Proc. of the 15th Int\u2019l Joint Conf. on Artificial Intelligence (IJCAI-97), 366\u2013371, 1997."},{"key":"14_CR7","first-page":"337","volume":"1","author":"B. Selman","year":"1994","unstructured":"Bart Selman, Henry A. Kautz and Bram Cohen. Noise Strategies for Improving Local Search. Proc. of the 12th National Conf. on Artificial Intelligence (AAAI), Vol.1, 337\u2013343, 1994.","journal-title":"Proc. of the 12th National Conf. on Artificial Intelligence (AAAI)"},{"key":"14_CR8","first-page":"1254","volume":"2","author":"A. Schaerf","year":"1997","unstructured":"A. Schaerf, Combining local search and look-ahead for scheduling and constraint satisfaction problems, Proc. Int\u2019l Joint Conf. on Artificial Intelligence (IJCAI-97), Vol.2, 1254\u20131259, 1997.","journal-title":"Proc. Int\u2019l Joint Conf. on Artificial Intelligence (IJCAI-97)"},{"issue":"1\/2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1023\/A:1006351428454","volume":"24","author":"H. Zhang","year":"2000","unstructured":"Hantao Zhang and Mark E. Stickel. Implementing the Davis-Putnam Method. Journal of Automated Reasoning 24(1\/2):277\u2013296 (2000).","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"14_CR10","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1006\/jsco.1996.0030","volume":"21","author":"H. Zhang","year":"1996","unstructured":"Hantao Zhang, Maria Paola Bonacina and Jieh Hsiang. PSATO: a distributed propositional prover and its application to quasigroup problems. J. of Symbolic Computation 21(4):543\u2013560. 1996.","journal-title":"J. of Symbolic Computation"},{"key":"14_CR11","first-page":"369","volume":"1","author":"J. Zhang","year":"1996","unstructured":"Jian Zhang and Hantao Zhang. Combining Local Search and Backtracking Techniques for Constraint Satisfaction, Proc. of the 13th National Conference on Artificial Intelligence (AAAI-96), Vol.1, 369\u2013374, 1996.","journal-title":"Proc. of the 13th National Conference on Artificial Intelligence (AAAI-96)"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2002: Trends in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45683-X_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T19:18:52Z","timestamp":1676575132000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45683-X_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440383","9783540456834"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45683-x_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"21 August 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}