{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:46:22Z","timestamp":1729676782911,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1109\/icmlc.2014.7009141","type":"proceedings-article","created":{"date-parts":[[2015,1,20]],"date-time":"2015-01-20T02:52:15Z","timestamp":1421722335000},"page":"352-358","source":"Crossref","is-referenced-by-count":0,"title":["Solving the maximum satisfiability problem by fuzzy converting it into a continuous optimization problem"],"prefix":"10.1109","author":[{"given":"Lin-Yu","family":"Tseng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36605-9_24"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2463372.2463468"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5775-3_30"},{"key":"33","first-page":"1951","article-title":"Multiple trajectory search for large scale global optimization","author":"tseng","year":"2008","journal-title":"Proceedings of IEEE Congress on Evolutionary Computation"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1162\/106365602317301763"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2007.08.030"},{"key":"16","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/130836.130837","article-title":"Efficient local search for very large-scale satisfiability problems","volume":"3","author":"gu","year":"1992","journal-title":"ACM SIGART Bulletin"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0026590"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45356-3_61"},{"key":"11","first-page":"73","article-title":"Unsatisfied variables in local search","author":"gent","year":"1995","journal-title":"Hybrid Problems Hybrid Solutions (AISB-95"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1137\/S0895480192243516"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1162\/evco.2006.14.2.223"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2005.11.017"},{"key":"23","doi-asserted-by":"crossref","first-page":"2063","DOI":"10.1016\/j.asoc.2012.01.013","article-title":"Adaptive memory-based local search for MAX-SAT","volume":"12","author":"lu","year":"2012","journal-title":"Applied Soft Computing"},{"key":"24","first-page":"393","article-title":"A flipping genetic algorithm for hard 3-SAT problems","author":"marchiori","year":"1999","journal-title":"Proceedings of Genetic and Evolutionary Computation Conference"},{"key":"25","first-page":"281","article-title":"Tabu search for SAT","author":"mazure","year":"1997","journal-title":"Proceedings of the 14th National Conference on Artificial Intelligence"},{"key":"26","first-page":"321","article-title":"Evidence for invariants in local search","author":"mcallester","year":"1997","journal-title":"Proceedings of the National Conference on Artificial Intelligence"},{"key":"27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-92151-6","author":"onwubolu","year":"2009","journal-title":"Differential Evolution A Handbook for Global Permutation-based Combinatorial Optimization"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/335603.335912"},{"key":"29","first-page":"440","article-title":"A new method for solving hard satisfiability problems","author":"selman","year":"1992","journal-title":"Proceedings of the Tenth National Conference on Artificial Intelligence"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0040766"},{"key":"2","doi-asserted-by":"crossref","first-page":"1329","DOI":"10.1016\/j.cor.2006.08.013","article-title":"A differential evolution approach for the common due date early\/tardy job scheduling problem","volume":"35","author":"andreas","year":"2008","journal-title":"Computers & Operations Research"},{"key":"10","first-page":"28","article-title":"Towards an understanding of hill-climbing procedures for SAT","author":"gent","year":"1993","journal-title":"Proceedings of AAAI-93"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.1990.137951"},{"key":"30","first-page":"337","article-title":"Noise strategies for improving local search","volume":"1","author":"selman","year":"1994","journal-title":"Proceedings of the twelfth national conference on Artificial intelligence"},{"key":"7","first-page":"221","article-title":"Solving 3-SAT using adaptive sampling","author":"de jong","year":"1998","journal-title":"Proceedings of 10th Dutch\/Belgian Artificial Intelligence Conference"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2008.11.010"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2005.12.024"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.4236\/ijcns.2012.510068"},{"key":"31","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1023\/A:1008202821328","article-title":"Differential evolution - A simple and efficient heuristic for global optimization over continuous spaces","volume":"11","author":"storn","year":"1997","journal-title":"Journal Global Optimization"},{"key":"4","first-page":"130","article-title":"GSAT versus simulated annealing","author":"beringer","year":"1994","journal-title":"Proceedings of the European Conference on Artificial Intelligence"},{"key":"9","first-page":"81","article-title":"Solving 3-SAT with adaptive genetic algorithms","author":"eiben","year":"1997","journal-title":"Proceedings of the 4th IEEE Conference on Evolutionary Computation"},{"key":"8","first-page":"124","article-title":"Using genetic algorithms to solve NP-complete problems","author":"de jong","year":"1989","journal-title":"Proceedings of the Third International Conference on Genetic Algorithms"}],"event":{"name":"2014 International Conference on Machine Learning and Cybernetics (ICMLC)","start":{"date-parts":[[2014,7,13]]},"location":"Lanzhou, China","end":{"date-parts":[[2014,7,16]]}},"container-title":["2014 International Conference on Machine Learning and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6991348\/7009076\/07009141.pdf?arnumber=7009141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:31:12Z","timestamp":1602685872000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7009141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icmlc.2014.7009141","relation":{},"subject":[],"published":{"date-parts":[[2014,7]]}}}