{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:00:46Z","timestamp":1743033646741,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319777115"},{"type":"electronic","value":"9783319777122"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-77712-2_85","type":"book-chapter","created":{"date-parts":[[2018,3,24]],"date-time":"2018-03-24T09:03:18Z","timestamp":1521882198000},"page":"899-908","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Density Based Clustering for Satisfiability Solving"],"prefix":"10.1007","author":[{"given":"Celia","family":"Hireche","sequence":"first","affiliation":[]},{"given":"Habiba","family":"Drias","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"key":"85_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Armin Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: The Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1999). LNCS, Springer (1999)"},{"key":"85_CR2","doi-asserted-by":"crossref","unstructured":"Cook, S.: The complexity of theorem-proving procedures. In: Proceedings of 3rd Annual ACM Symposium on the Theory of Computing, New York, pp. 151\u2013198 (1971)","DOI":"10.1145\/800157.805047"},{"issue":"7","key":"85_CR3","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Commun. ACM 5(7), 394\u2013397 (1962)","journal-title":"Commun. ACM"},{"key":"85_CR4","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-41278-3_71","volume-title":"Intelligent Data Engineering and Automated Learning \u2013 IDEAL 2013","author":"Habiba Drias","year":"2013","unstructured":"Drias, H., Douib, A., Hir\u00e8che, C.: Swarm intelligence with clustering for solving SAT. In: Yin, H., Tang, K., Gao, Y., Klawonn, F., Lee, M., Weise, T., Li, B., Yao, X. (eds.) IDEAL 2013. LNCS, vol. 8206, pp. 585\u2013593. Springer, Heidelberg (2013)"},{"key":"85_CR5","doi-asserted-by":"crossref","unstructured":"Drias, H., Hireche, C., Douib, A.: Datamining techniques and swarm intelligence for problem solving: application to SAT. In: 2013 World Congress on Nature and Biologically Inspired Computing (NaBIC), pp. 200\u2013206. IEEE (2013). ISBN 978-1-4799-1414-2","DOI":"10.1109\/NaBIC.2013.6617862"},{"key":"85_CR6","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/11494669_39","volume-title":"Computational Intelligence and Bioinspired Systems","author":"Habiba Drias","year":"2005","unstructured":"Drias, H., Sadeg, S., Yahi, S.: Cooperatives bees swarm for solving the maximum weighted satisfiability problem. In: Proceedings of IWANN 2005. LNCS, vol. 3512, pp. 318\u2013325. Springer Verlag, Barcelona, June 2005"},{"key":"85_CR7","unstructured":"Ester, M., Kriegel, H.P., Sander, J., Xu, X.: A density-based algorithm for discovering clusters in large spatial databases with noise. In: Proceedings of the 2nd International Conference on Knowledge Discovery and Data mining, pp. 226\u2013231 (1996)"},{"key":"85_CR8","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. A Series of Books in the Mathematical Sciences. W.H. Freeman and Co, San Francisco (1979). pp. x+338. ISBN 0-7167-1045-5. MR 519066"},{"key":"85_CR9","doi-asserted-by":"publisher","unstructured":"Glover, F., Kochenberger, G.A.: Handbook of Metaheuristics. Springer, Heidelberg. \nhttps:\/\/doi.org\/10.1007\/b101874\n\n. ISBN: 978-1-4020-7263-5","DOI":"10.1007\/b101874"},{"key":"85_CR10","unstructured":"Han, J. et al.: Data Mining, Concepts and Techniques: The Morgan Kaufmann Series in Data Management Systems. 3rd edn (2011)"},{"key":"85_CR11","doi-asserted-by":"crossref","unstructured":"Le, T., Kulikowski, C., Muchnik, I.: Coring method for clustering a graph. In: 19th International Conference on Pattern Recognition. ICPR 2008, Pattern Recognition, USA (2008)","DOI":"10.1109\/ICPR.2008.4760954"},{"key":"85_CR12","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF00175101","volume":"28","author":"TD Seeley","year":"1991","unstructured":"Seeley, T.D., Camazine, S., Sneyd, J.: Collective decision-making in honey bees: how colonies choose among nectar sources. Behav. Ecol. Sociobiol. 28, 277\u2013290 (1991). 232","journal-title":"Behav. Ecol. Sociobiol."},{"key":"85_CR13","unstructured":"BMC. \nhttp:\/\/www.satcompetition.org\/2013\/downloads.shtml"},{"key":"85_CR14","unstructured":"Artificially generated random. \nhttps:\/\/baldur.iti.kit.edu\/sat-competition-2016\/index.php?cat=benchmarks"},{"key":"85_CR15","unstructured":"Random SAT. \nhttps:\/\/baldur.iti.kit.edu\/sat-competition-2016\/index.php?cat=benchmarks"}],"container-title":["Advances in Intelligent Systems and Computing","Trends and Advances in Information Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-77712-2_85","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T04:39:41Z","timestamp":1526445581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-77712-2_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319777115","9783319777122"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-77712-2_85","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018]]}}}