{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:55:08Z","timestamp":1764996908867},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642130243"},{"type":"electronic","value":"9783642130250"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-13025-0_15","type":"book-chapter","created":{"date-parts":[[2011,1,21]],"date-time":"2011-01-21T15:50:19Z","timestamp":1295625019000},"page":"136-142","source":"Crossref","is-referenced-by-count":8,"title":["A New Artificial Immune System for Solving the Maximum Satisfiability Problem"],"prefix":"10.1007","author":[{"given":"Abdesslem","family":"Layeb","sequence":"first","affiliation":[]},{"given":"Abdel Hakim","family":"Deneche","sequence":"additional","affiliation":[]},{"given":"Souham","family":"Meshoul","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The Complexity of Theorem Proving Procedures. In: Proc. 3rd Ann. ACM Symp. On Theory of Computing, Association for Computing Machinery, pp. 151\u2013158 (1971)","DOI":"10.1145\/800157.805047"},{"issue":"5","key":"15_CR2","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"J.P. Marques-Silva","year":"1999","unstructured":"Marques-Silva, J.P., Sakallah, K.A.: GRASP: A Search Algorithm for Propositional Satisfiability. IEEE Transactions on Computers\u00a048(5), 506\u2013521 (1999)","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Davis, M., Putnam, G., Loveland, D.: A machine program for theorem proving. communication of the ACM, 394\u2013397 (1962)","DOI":"10.1145\/368273.368557"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Zhang, H., Shen, H.: Exact Algorithms for MAX-SAT. Electronic Notes in Theoretical Computer Science\u00a086(1) (2003)","DOI":"10.1016\/S1571-0661(04)80663-7"},{"key":"15_CR5","unstructured":"Marchiori, E., Rossi, C.: A Flipping Genetic Algorithm for Hard 3-SAT Problems. In: Proc. of the Genetic and Evolutionary Computation Conference, vol.\u00a01, pp. 393\u2013400 (1999)"},{"key":"15_CR6","unstructured":"Selman, B., Levesque, H., Mitchell, D.: A new method for solving hard satisfiability problems. In: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI 1992), San Jose, CA, pp. 440\u2013446 (1992)"},{"issue":"4","key":"15_CR7","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1023\/A:1006350622830","volume":"24","author":"H. Holger","year":"2000","unstructured":"Holger, H., St\u00fctzle, T.: Local search algorithms for SAT: An empirical evaluation. Journal of Automated Reasoning\u00a024(4), 421\u2013481 (2000)","journal-title":"Journal of Automated Reasoning"},{"key":"15_CR8","unstructured":"De Castro, L.N.: The clonal selection algorithm with engineering applications. In: Proc. GECCO, Workshop on Artificial Immune Systems, pp. 36\u201337 (2000)"},{"issue":"4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1009725216438","volume":"2","author":"B. Borchers","year":"1999","unstructured":"Borchers, B., Furman, J.: Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems. Journal of Combinatorial Optimization\u00a02(4), 299\u2013306 (1999)","journal-title":"Journal of Combinatorial Optimization"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Menai, M., Batouche, M.: A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT. Artificial Evolution, 155\u2013166 (2005)","DOI":"10.1007\/11740698_14"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Layeb, A., Deneche, A.: Multiple Sequence Alignment by Immune Artificial System. In: IEEE\/ACS International Conference on Computer Systems and Applications (AICCSA 2007), Jordan, pp. 336\u2013342 (2007) ISBN: 1-4244-1031-2","DOI":"10.1109\/AICCSA.2007.370903"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-540-45192-1_2","volume-title":"Artificial Immune Systems","author":"E. Bendiab","year":"2003","unstructured":"Bendiab, E., Meshoul, S., Batouche, M.: An AIS for Multi-Modality Image Alignment. In: Timmis, J., Bentley, P.J., Hart, E. (eds.) ICARIS 2003. LNCS, vol.\u00a02787, pp. 13\u201321. Springer, Heidelberg (2003)"},{"key":"15_CR13","unstructured":"Selman, B., Kautz, H., Cohen, B.: Local Search Strategies for Satisfiability Testing. In: Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, October 11-13 (1993)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Asahiro, Y., Iwama, K., Miyano, E.: Random Generation of Test Instanzes with Controlled Attributes. In: Johnson, D.S., Trick, M.A. (eds.) Cliques, Coloring, and Satisfiability: The Second DIMACS Implementation Challenge. DIMACS Series on Discr. Math. and Theor. Comp. Sci., vol.\u00a026, pp. 377\u2013394 (1996), http:\/\/www.cs.ubc.ca\/~hoos\/SATLIB\/Benchmarks\/SAT\/DIMACS\/AIM\/descr.html","DOI":"10.1090\/dimacs\/026\/18"},{"key":"15_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-87656-4_22","volume-title":"Hybrid Artificial Intelligence Systems","author":"A. Layeb","year":"2008","unstructured":"Layeb, A., Saidouni, D.: A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem. In: Corchado, E., Abraham, A., Pedrycz, W. (eds.) HAIS 2008. LNCS (LNAI), vol.\u00a05271, pp. 172\u2013179. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Trends in Applied Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13025-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:50:09Z","timestamp":1559944209000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13025-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642130243","9783642130250"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13025-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}