{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T12:23:45Z","timestamp":1763036625753},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Evol. Computat."],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/tevc.2011.2163638","type":"journal-article","created":{"date-parts":[[2011,10,17]],"date-time":"2011-10-17T20:47:41Z","timestamp":1318884461000},"page":"319-338","source":"Crossref","is-referenced-by-count":45,"title":["Maximum Satisfiability: Anatomy of the Fitness Landscape for a Hard Combinatorial Optimization Problem"],"prefix":"10.1109","volume":"16","author":[{"given":"Adam","family":"Prugel-Bennett","sequence":"first","affiliation":[]},{"given":"Mohammad-Hassan","family":"Tayarani-Najaran","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/978-3-540-73445-1_26","article-title":"Ant colony optimization with adaptive fitness function for satisfiability testing","author":"villagra","year":"2007","journal-title":"Proc 14th Int Conf Logic Language Inform Comput"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2003.1299746"},{"key":"ref31","first-page":"785","article-title":"Genetic algorithm behavior in the MAXSAT domain","author":"rana","year":"1998","journal-title":"Proc PPSN VII"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44886-1_12"},{"key":"ref37","author":"press","year":"2007","journal-title":"Numerical Recipes in C The Art of Scientific Computation"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1002\/3527606734"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.76.021122"},{"key":"ref34","first-page":"213","article-title":"Hierarchical BOA solves Ising spin glasses and MAXSAT","author":"pelikan","year":"2003","journal-title":"Proc Conf Genet Evol Comput"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/37\/6\/008"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF00202749"},{"key":"ref12","author":"jones","year":"1995","journal-title":"Evolutionary algorithms fitness landscapes and search"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/4235.887234"},{"key":"ref14","first-page":"57","article-title":"Fitness distance correlation analysis: An instructive counterexample","author":"altenberg","year":"1997","journal-title":"Proc 7th Int Conf Genetic Algorithms"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6377(92)90049-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0103571"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03751-1_4"},{"key":"ref18","author":"boese","year":"1993","journal-title":"On the big valley and adaptive multi-start for discrete global optimizations"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6377(94)90065-5"},{"key":"ref28","first-page":"337","article-title":"Noise strategies for improving local search","volume":"1","author":"selman","year":"1994","journal-title":"Proc AAAI"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1038\/22055","article-title":"Determining computational complexity from characteristic 'phase transition'","volume":"400","author":"monasson","year":"1999","journal-title":"Nature"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-010-0040-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00046-1"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"56126","DOI":"10.1103\/PhysRevE.66.056126","article-title":"The random K-satisfiability problem: From an analytic solution to an efficient algorithm","volume":"66","author":"mzard","year":"2002","journal-title":"Phys Rev E"},{"key":"ref29","author":"thompkins","year":"2009","journal-title":"UBCSAT The Satisfiability Library"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00149-9"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1038\/nature03602","article-title":"Rigorous location of phase transitions in hard optimization problems","volume":"435","author":"arclioptas","year":"2005","journal-title":"Nature"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2003.819419"},{"key":"ref2","first-page":"459","article-title":"Hard and easy distributions of SAT problems","author":"mitchell","year":"1992","journal-title":"Proc Nat Conf Artif Intell"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.94.197205"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2009.2033579"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/321623.321625"},{"key":"ref22","first-page":"440","article-title":"A new method for solving hard satisfiability problems","author":"selman","year":"1992","journal-title":"Proc AAAI"},{"key":"ref21","author":"garey","year":"1979","journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/S0895480199355225"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01165154"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30217-9_11"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.jors.2601611"}],"container-title":["IEEE Transactions on Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4235\/6204221\/06045332.pdf?arnumber=6045332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:49:43Z","timestamp":1633909783000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6045332\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":37,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tevc.2011.2163638","relation":{},"ISSN":["1089-778X","1089-778X","1941-0026"],"issn-type":[{"value":"1089-778X","type":"print"},{"value":"1089-778X","type":"print"},{"value":"1941-0026","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}