{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:08:26Z","timestamp":1729663706542,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/gefs.2013.6601055","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T18:05:24Z","timestamp":1380132324000},"page":"52-59","source":"Crossref","is-referenced-by-count":2,"title":["Local search and restart strategies for satisfiability solving in fuzzy logics"],"prefix":"10.1109","author":[{"given":"Tim","family":"Brys","sequence":"first","affiliation":[]},{"given":"Madalina M.","family":"Drugan","sequence":"additional","affiliation":[]},{"given":"Peter A.N.","family":"Bosman","sequence":"additional","affiliation":[]},{"given":"Martine","family":"De Cock","sequence":"additional","affiliation":[]},{"given":"Ann","family":"Nowe","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"1777","article-title":"Performance evaluation of an advanced local search evolutionary algorithm","author":"auger","year":"2005","journal-title":"IEEE Congress on Evolutionary Computation"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015059928466"},{"key":"18","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-540-30217-9_29","article-title":"Evaluating the cma evolution strategy on multimodal test functions","volume":"3242","author":"hansen","year":"2004","journal-title":"Parallel Problem Solving from Nature-PPSN VIII Ser Lecture Notes in Computer Science"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/S0305-0548(97)00031-2"},{"key":"16","first-page":"2","article-title":"A survey of evolution strategies","author":"ba?ck","year":"1991","journal-title":"Proceedings of the Fourth International Conference on Genetic Algorithms"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-32494-1_4"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","author":"ha?jek","year":"1998","journal-title":"Metamathematics of Fuzzy Logic"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/s10817-011-9227-0","article-title":"Satisfiability checking in ?ukasiewicz logic as finite constraint satisfaction","author":"schockaert","year":"2012","journal-title":"Journal of Automated Reasoning"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/NAFIPS.2012.6290998"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/11889205_42"},{"key":"2","first-page":"359","article-title":"Planning as satisfiability","author":"kautz","year":"1992","journal-title":"Proceedings of the 10th European Conference on Artificial Intelligence Ser ECAI '92"},{"key":"1","first-page":"641","article-title":"The quest for efficient boolean satisfiability solvers","volume":"2404","author":"zhang","year":"2002","journal-title":"Computer Aided Verification Ser Lecture Notes in Computer Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530787"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72982-2_23"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000093"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.10.009"},{"key":"4","article-title":"Mixed integer programming, general concept inclusions and fuzzy description logics","author":"straccia","year":"2007","journal-title":"Mathware & Soft Computing"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-007-9080-3"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2011.2114669"}],"event":{"name":"2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS)","start":{"date-parts":[[2013,4,16]]},"location":"Singapore, Singapore","end":{"date-parts":[[2013,4,19]]}},"container-title":["2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588676\/6601046\/06601055.pdf?arnumber=6601055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T18:34:28Z","timestamp":1498070068000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6601055\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/gefs.2013.6601055","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}