{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:15:43Z","timestamp":1725538543472},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048425"},{"type":"electronic","value":"9783642048432"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04843-2_27","type":"book-chapter","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T16:40:50Z","timestamp":1254156050000},"page":"248-257","source":"Crossref","is-referenced-by-count":1,"title":["Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems"],"prefix":"10.1007","author":[{"given":"Peng","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenjian","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhifang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houjun","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xufa","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The Complexity of Theorem-proving Procedure. In: Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, New York, pp. 151\u2013158 (1971)","DOI":"10.1145\/800157.805047"},{"key":"27_CR2","unstructured":"Gent, I.P., Toby, W.: The Search for Satisfaction. Department of Computer Science. University of Strathclyde (1999)"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A Computing Procedure for Quantification Theory. Journal of the ACM\u00a07, 201\u2013215 (1960)","journal-title":"Journal of the ACM"},{"issue":"7","key":"27_CR4","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"D. Martin","year":"1962","unstructured":"Martin, D., George, L., Donald, L.: A Machine Program for Theorem-proving. Communication of ACM\u00a05(7), 394\u2013397 (1962)","journal-title":"Communication of ACM"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Papadimitriou, C.H.: On Selecting a Satisfying Truth Assignment. In: The 32nd Annual Symposium of Foundations of Computer Science, pp. 163\u2013169 (1991)","DOI":"10.1109\/SFCS.1991.185365"},{"key":"27_CR6","unstructured":"Selman, B., Levesque, H., Mitchell, D.: A New Method for Solving Hard Satisfiability Problems. In: Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, CA, pp. 440\u2013446 (1992)"},{"key":"27_CR7","unstructured":"Selman, B., Kautz, H.A., Cohen, B.: Noise Strategies for Improving Local Search. In: Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, pp. 337\u2013343 (1994)"},{"key":"27_CR8","unstructured":"McAllester, D., Selman, B., Kautz, H.: Evidence for Invariants in Local Search. In: Proceedings of the 14th National Conference on Artificial Intelligence, pp. 321\u2013327 (1997)"},{"issue":"1-4","key":"27_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10472-005-0421-9","volume":"43","author":"E.A. Hirsch","year":"2001","unstructured":"Hirsch, E.A., Kojevnikov, A.: UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination. Annals of Mathematics and Artificial Intelligence\u00a043(1-4), 91\u2013111 (2001)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"11","key":"27_CR10","first-page":"38","volume":"42","author":"Y. Zhang","year":"2006","unstructured":"Zhang, Y., Luo, W., Wang, X.: A Logic Circuits Designing Algorithm Based on Immune Principles. Computer Engineering and Applications\u00a042(11), 38\u201340 (2006) (in Chinese)","journal-title":"Computer Engineering and Applications"},{"issue":"B07","key":"27_CR11","first-page":"158","volume":"27","author":"W. Luo","year":"2006","unstructured":"Luo, W., Zhang, Y., Wang, X., Wang, X.: Experimental Analyses of Evolutionary Negative Selection Algorithm for Function Optimization. Journal of Harbin Engineering University\u00a027(B07), 158\u2013163 (2006)","journal-title":"Journal of Harbin Engineering University"},{"issue":"1","key":"27_CR12","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/j.asoc.2007.03.003","volume":"8","author":"Y. Zhang","year":"2008","unstructured":"Zhang, Y., Luo, W., Zhang, Z., Li, B., Wang, X.: A Hardware\/Software Partitioning Algorithm Based on Artificial Immune Principles. Applied Soft Computing\u00a08(1), 383\u2013391 (2008)","journal-title":"Applied Soft Computing"},{"key":"27_CR13","first-page":"393","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference","author":"E. Marchiori","year":"1999","unstructured":"Marchiori, E., Rossi, C.: A Flipping Genetic Algorithm for Hard 3-SAT Problems. In: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 393\u2013400. Morgan Kaufmann, San Francisco (1999)"},{"key":"27_CR14","first-page":"124","volume-title":"Proceedings of the 3rd International Conference on Genetic Algorithms","author":"K.A.D. Jong","year":"1989","unstructured":"Jong, K.A.D., Spears, W.M.: Using Genetic Algorithms to Solve NP-complete Problems. In: Proceedings of the 3rd International Conference on Genetic Algorithms, Mason University, United States, pp. 124\u2013132. Morgan Kaufmann Publishers Inc., San Francisco (1989)"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Fleurent, C., Ferland, J.: Object-oriented Implementation of Heuristic Search Methods for Graph Coloring, Maximum Clique, and Satisfiability. In: Trick, M., Johnson, D.S. (eds.) DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a026, pp. 619\u2013652 (1996)","DOI":"10.1090\/dimacs\/026\/29"},{"key":"27_CR16","volume-title":"Proceedings of the 7th International Conference on Evolutionary Programming VII","author":"B. Thomas","year":"1998","unstructured":"Thomas, B., Eiben, A.E., Marco, E.V.: A Superior Evolutionary Algorithm for 3-SAT. In: Proceedings of the 7th International Conference on Evolutionary Programming VII. Springer, Heidelberg (1998)"},{"key":"27_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1007\/BFb0056917","volume-title":"Parallel Problem Solving from Nature - PPSN V","author":"J. Gottlieb","year":"1998","unstructured":"Gottlieb, J., Voss, N.: Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions. In: Eiben, A.E., B\u00e4ck, T., Schoenauer, M., Schwefel, H.-P. (eds.) PPSN 1998. LNCS, vol.\u00a01498, pp. 755\u2013764. Springer, Heidelberg (1998)"},{"key":"27_CR18","volume-title":"Proceedings of the 6th International Conference on Parallel Problem Solving from Nature","author":"J. Gottlieb","year":"2000","unstructured":"Gottlieb, J., Voss, N.: Adaptive Fitness Functions for the Satisfiability Problem. In: Proceedings of the 6th International Conference on Parallel Problem Solving from Nature. Springer, Heidelberg (2000)"},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/335603.335912","volume-title":"Proceedings of the 2000, ACM symposium on Applied computing","author":"C. Rossi","year":"2000","unstructured":"Rossi, C., Marchiori, E., Kok, J.N.: An Adaptive Evolutionary Algorithm for the Satisfiability Problem. In: Proceedings of the 2000, ACM symposium on Applied computing, Como, Italy, vol.\u00a01, pp. 463\u2013469. ACM, New York (2000)"},{"issue":"2","key":"27_CR20","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1162\/evco.2006.14.2.223","volume":"14","author":"F. Lardeux","year":"2006","unstructured":"Lardeux, F., Saubion, F., Hao, J.-K.: GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem. Evolutionary Computation\u00a014(2), 223\u2013253 (2006)","journal-title":"Evolutionary Computation"},{"issue":"1","key":"27_CR21","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1162\/106365602317301763","volume":"10","author":"J. Gottlieb","year":"2002","unstructured":"Gottlieb, J., Marchiori, E., Rossi, C.: Evolutionary Algorithms for the Satisfiability Problem. Evolutionary Computation\u00a010(1), 35\u201350 (2002)","journal-title":"Evolutionary Computation"},{"key":"27_CR22","unstructured":"Luo, W., Wang, J., Wang, X.: Evolutionary Negative Selection Algorithms for Anomaly Detection. In: Proceedings of the 8th Joint Conference on Information Sciences (ICIS 2005), Salt Lake City, Utah, vol.\u00a01-3, pp. 440\u2013445 (2005)"},{"issue":"8","key":"27_CR23","first-page":"1987","volume":"29","author":"Z. Zhang","year":"2007","unstructured":"Zhang, Z., Luo, W., Wang, X.: Research of Mobile Robots Path Planning Algorithm Based on Immune Evolutionary Negative Selection Mechanism. Journal of Electronics and Information Technology\u00a029(8), 1987\u20131991 (2007)","journal-title":"Journal of Electronics and Information Technology"},{"key":"27_CR24","unstructured":"Cao, X., Zhang, S., Wang, X.: Immune Optimization System based on Immune Recognition. In: Proceedings of the 8th International Conference on Neural Information Processing, Shanghai, China, vol.\u00a02, pp. 535\u2013541 (2001)"},{"key":"27_CR25","unstructured":"Luo, W., Guo, P., Wang, X.: On Convergence of Evolutionary Negative Selection Algorithms for Anomaly Detection. In: Proceedings of the 2008 IEEE Congress on Evolutionary Computation, Hongkong, pp. 2938\u20132944 (2008)"}],"container-title":["Lecture Notes in Computer Science","Advances in Computation and Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04843-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T22:02:30Z","timestamp":1558562550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04843-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048425","9783642048432"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04843-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}