{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:37:55Z","timestamp":1729633075014,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1109\/icaci.2018.8377516","type":"proceedings-article","created":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T19:04:38Z","timestamp":1528743878000},"page":"534-539","source":"Crossref","is-referenced-by-count":0,"title":["Simulating game playing to solve Max-SAT"],"prefix":"10.1109","author":[{"given":"Chenchen","family":"Ding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinlong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"337","article-title":"Noise strategies for improving local search","volume":"94","author":"selman","year":"1994","journal-title":"Association for the Advancement of Artificial Intelligence"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1.3.190"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/264216.264220"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44886-1_12"},{"key":"ref14","first-page":"434","article-title":"Configuration checking with aspiration in local search for sat","author":"su","year":"2012","journal-title":"Association for the Advancement of Artificial Intelligence"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.09.001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.11.001"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2014.2346196"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-44953-1_17"},{"journal-title":"borealis-a generalized global update algorithm for boolean optimization problems","year":"2016","author":"zhu","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(74)80044-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-013-9146-2"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1137\/1.9781611973082.50","article-title":"Randomized greedy: new variants of some classic approximation algorithms","author":"costello","year":"2011","journal-title":"Proceedings of the 5th Annual ACM-SIAM Symposium on Discrete Algorithms"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1612"},{"journal-title":"Stochastic Local Search Foundations and Applications","year":"2004","author":"hoos","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/15M1053369"},{"key":"ref2","first-page":"2334","article-title":"Exploiting inference rules to compute lower bounds for max-sat solving","volume":"7","author":"lin","year":"2007","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref9","first-page":"440","article-title":"A new method for solving hard satisfiability problems","volume":"92","author":"selman","year":"1992","journal-title":"Association for the Advancement of Artificial Intelligence"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/69.729707"},{"key":"ref22","first-page":"265","article-title":"Boolean games revisited","volume":"141","author":"bonzon","year":"2006","journal-title":"European Conference on Artificial Intelligence"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"1416","DOI":"10.1109\/CEC.2007.4424637","article-title":"Solving sat problem with a multiagent evolutionary algorithm","author":"li","year":"2007","journal-title":"Evolutionary Computation 2007 CEC 2007 IEEE Congress on"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-014-9544-5"},{"key":"ref23","first-page":"210","article-title":"Manipulating boolean games through communication","author":"grant","year":"2011","journal-title":"International Joint Conference on Artificial Intelligence"}],"event":{"name":"2018 Tenth International Conference on Advanced Computational Intelligence (ICACI )","start":{"date-parts":[[2018,3,29]]},"location":"Xiamen","end":{"date-parts":[[2018,3,31]]}},"container-title":["2018 Tenth International Conference on Advanced Computational Intelligence (ICACI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8370614\/8377463\/08377516.pdf?arnumber=8377516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,3]],"date-time":"2023-09-03T00:04:43Z","timestamp":1693699483000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8377516\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icaci.2018.8377516","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}