{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T18:50:04Z","timestamp":1773082204894,"version":"3.50.1"},"reference-count":38,"publisher":"MIT Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Evolutionary Computation"],"published-print":{"date-parts":[[2012,12]]},"abstract":"<jats:p>Many researchers have focused on the satisfiability problem and on many of its variants due to its applicability in many areas of artificial intelligence. This NP-complete problem refers to the task of finding a satisfying assignment that makes a Boolean expression evaluate to True. In this work, we introduce a memetic algorithm that makes use of the multilevel paradigm. The multilevel paradigm refers to the process of dividing large and difficult problems into smaller ones, which are hopefully much easier to solve, and then work backward toward the solution of the original problem, using a solution from a previous level as a starting solution at the next level. Results comparing the memetic with and without the multilevel paradigm are presented using problem instances drawn from real industrial hardware designs.<\/jats:p>","DOI":"10.1162\/evco_a_00078","type":"journal-article","created":{"date-parts":[[2012,4,27]],"date-time":"2012-04-27T17:38:05Z","timestamp":1335548285000},"page":"641-664","source":"Crossref","is-referenced-by-count":13,"title":["A Multilevel Memetic Algorithm for Large SAT-Encoded Problems"],"prefix":"10.1162","volume":"20","author":[{"given":"Noureddine","family":"Bouhmala","sequence":"first","affiliation":[{"name":"Department of Maritime Technology and Innovation, Vestfold University College, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"281","reference":[{"key":"B1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4330060203"},{"key":"B2","doi-asserted-by":"publisher","DOI":"10.1145\/937503.937505"},{"key":"B3","doi-asserted-by":"publisher","DOI":"10.1007\/s10852-008-9077-x"},{"key":"B4","doi-asserted-by":"publisher","DOI":"10.1007\/11427186_43"},{"key":"B5","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"B6","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"B7","unstructured":"Gary, M. R., and Johnson, D. S. (1979). Computers and intractability: A guide to the theory of NP-completeness. New York: W.H. Freeman."},{"key":"B8","first-page":"28","volume-title":"Proceedings of AAAI \u201993","author":"Gent L. P.","year":"1993"},{"key":"B9","first-page":"73","volume-title":"Hybrid problems, hybrid solutions","author":"Gent I.","year":"1995"},{"key":"B10","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1.3.190"},{"key":"B12","doi-asserted-by":"publisher","DOI":"10.1162\/106365602317301763"},{"issue":"3","key":"B13","first-page":"15","volume":"4","author":"Granmo O. C.","year":"2007","journal-title":"International Journal of Computer Science and Applications"},{"key":"B15","doi-asserted-by":"publisher","DOI":"10.1007\/BF02241270"},{"key":"B17","first-page":"661","volume-title":"Proceedings of AAAI-99","author":"Hoos H","year":"1999"},{"key":"B18","first-page":"655","volume-title":"Proceedings of the Eighteenth National Conference in Artificial Intelligence (AAAI-02)","author":"Hoos H","year":"2002"},{"key":"B19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46135-3_16"},{"key":"B20","first-page":"772","volume-title":"Proceedings of the Eleventh International Conference on Principles and Practice Programming (CP-05)","volume":"3709","author":"Ishtaiwi A.","year":"2005"},{"key":"B21","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-36605-9_24","volume-title":"Applications of evolutionary computing","volume":"2611","author":"Jin-Kao H.","year":"2003"},{"key":"B22","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827595287997"},{"key":"B23","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1997.1404"},{"key":"B25","doi-asserted-by":"publisher","DOI":"10.1162\/evco.2006.14.2.223"},{"key":"B26","doi-asserted-by":"publisher","DOI":"10.1007\/11499107_12"},{"key":"B27","first-page":"121","volume-title":"Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT-07)","volume":"4501","author":"Li C. M.","year":"2007"},{"key":"B28","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2009.02.010"},{"key":"B29","volume-title":"Proceedings of SAT 2004","author":"Mahajan Y.","year":"2004"},{"key":"B30","first-page":"321","volume-title":"Proceedings of AAAI \u201997","author":"McAllester D.","year":"1997"},{"key":"B33","doi-asserted-by":"publisher","DOI":"10.1007\/11499107_15"},{"key":"B34","first-page":"297","volume-title":"Proceedings of AAAI-2000","author":"Schuurmans D.","year":"2000"},{"key":"B35","first-page":"334","volume-title":"Proceedings of IJCAI-01","author":"Schuurmans D.","year":"2001"},{"key":"B37","first-page":"337","volume-title":"Proceedings of AAAI \u201994","author":"Selman B.","year":"1994"},{"key":"B38","first-page":"440","volume-title":"Proceedings of AAA \u201992","author":"Selman B.","year":"1992"},{"key":"B39","doi-asserted-by":"crossref","first-page":"367","DOI":"10.7551\/mitpress\/2887.003.0035","volume-title":"Proceedings of the Fourth Annual Conference on Evolutionary Programming","author":"Spears W","year":"1995"},{"key":"B40","first-page":"191","volume-title":"Proceedings of the Nineteenth National Conference of Artificial Intelligence (AAAI-04)","author":"Thornton J.","year":"2004"},{"key":"B41","first-page":"686","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference","author":"Vrajitoru D","year":"1999"},{"key":"B44","doi-asserted-by":"publisher","DOI":"10.1287\/opre.50.5.862.373"},{"key":"B45","doi-asserted-by":"publisher","DOI":"10.7155\/jgaa.00070"},{"key":"B46","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827598337373"},{"key":"B47","first-page":"310","volume-title":"Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-00)","author":"Wu Z.","year":"2000"}],"container-title":["Evolutionary Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mitpressjournals.org\/doi\/pdf\/10.1162\/EVCO_a_00078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T00:03:04Z","timestamp":1713916984000},"score":1,"resource":{"primary":{"URL":"https:\/\/direct.mit.edu\/evco\/article\/20\/4\/641-664\/957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["10.1162\/EVCO_a_00078"],"URL":"https:\/\/doi.org\/10.1162\/evco_a_00078","relation":{},"ISSN":["1063-6560","1530-9304"],"issn-type":[{"value":"1063-6560","type":"print"},{"value":"1530-9304","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]}}}