{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:12:36Z","timestamp":1763467956576,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/cec.2009.4983117","type":"proceedings-article","created":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T20:17:46Z","timestamp":1255551466000},"page":"1478-1485","source":"Crossref","is-referenced-by-count":1,"title":["Massively parallel evolution of SAT heuristics"],"prefix":"10.1109","author":[{"given":"Alex S.","family":"Fukunaga","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"233","article-title":"scaling and probabilistic smoothing: efficient dynamic local search for sat","author":"hutter","year":"2002","journal-title":"Proc Eighth International Conference on the Principles and Practice of Constraint Programming (CP'02)"},{"key":"17","first-page":"37","article-title":"generating sat local-search using a gp hyper-heuristic framework","author":"bader-el-den","year":"2007","journal-title":"Proc Artificial Evolution 2007 LNCS 4926"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1162\/evco.2006.14.2.223"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1162\/106365602317301763"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-48056-5_16"},{"key":"13","first-page":"459","article-title":"hard and easy distributions of sat problems","author":"mitchell","year":"1992","journal-title":"Proc Nat Conf Artif Intell"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006350622830"},{"key":"11","first-page":"287","article-title":"efficient implementations of sat local search","author":"fukunaga","year":"2004","journal-title":"Proceedings of Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT-2004)"},{"key":"12","first-page":"483","article-title":"evolving local search heuristics for sat","volume":"3103","year":"2004","journal-title":"Proc Genetic and Evolutionary Computation Conference (GECCO)"},{"key":"21","first-page":"2359","article-title":"building structure into local search for sat","author":"pham","year":"2007","journal-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)"},{"key":"3","first-page":"459","article-title":"evidence for invariants in local search","author":"mcallester","year":"1997","journal-title":"Proc Nat Conf Artif Intell"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-005-9010-1"},{"key":"2","article-title":"noise strategies for improving local search","author":"selman","year":"1994","journal-title":"Proc Nat Conf Artif Intell"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00091-3"},{"journal-title":"Strongly Typed Genetic Programming","year":"1993","author":"montana","key":"10"},{"key":"7","first-page":"440","article-title":"a new method for solving hard satisfiability problems","author":"selman","year":"1992","journal-title":"Proc Nat Conf Artif Intell"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1162\/evco.2008.16.1.31"},{"key":"5","first-page":"641","article-title":"automated discovery of composite sat variableselection heuristics","author":"fukunaga","year":"2002","journal-title":"Proc AAAI"},{"key":"4","first-page":"661","article-title":"on the run-time behaviour of stochastic local search algorithms for sat","author":"hoos","year":"1999","journal-title":"Proceedings of AAAI"},{"journal-title":"Genetic Programming On the Programming of Computers by the Means of Natural Selection","year":"1992","author":"koza","key":"9"},{"key":"8","article-title":"domain-independent extensions to gsat: solving large structured satisfiability problems","author":"selman","year":"1993","journal-title":"Proc Intl Joint Conf Artificial Intelligence (IJCAI)"}],"event":{"name":"2009 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2009,5,18]]},"location":"Trondheim, Norway","end":{"date-parts":[[2009,5,21]]}},"container-title":["2009 IEEE Congress on Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4939002\/4982922\/04983117.pdf?arnumber=4983117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T16:17:07Z","timestamp":1602692227000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4983117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cec.2009.4983117","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}