{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T05:16:34Z","timestamp":1767676594839},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319092836"},{"type":"electronic","value":"9783319092843"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09284-3_20","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T05:43:21Z","timestamp":1404279801000},"page":"252-268","source":"Crossref","is-referenced-by-count":29,"title":["Impact of Community Structure on SAT Solver Performance"],"prefix":"10.1007","author":[{"given":"Zack","family":"Newsham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Ganesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Audemard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Simon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"2013 sat competition, \n                      \n                        http:\/\/satcompetition.org\/2013\/\n                      \n                      \n                     (accessed: January 31, 2014)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Ans\u00f3tegui, C., Bonet, M.L., Gir\u00e1ldez-Cru, J., Levy, J.: The fractal dimension of sat formulas. arXiv preprint arXiv:1308.5046 (2013)","DOI":"10.1007\/978-3-319-08587-6_8"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-31612-8_31","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2012","author":"C. Ans\u00f3tegui","year":"2012","unstructured":"Ans\u00f3tegui, C., Gir\u00e1ldez-Cru, J., Levy, J.: The community structure of sat formulas. In: Cimatti, A., Sebastiani, R. (eds.) SAT 2012. LNCS, vol.\u00a07317, pp. 410\u2013423. Springer, Heidelberg (2012)"},{"key":"20_CR4","unstructured":"Ans\u00f3tegui, C., Levy, J.: On the modularity of industrial sat instances. In: CCIA, pp. 11\u201320 (2011)"},{"key":"20_CR5","unstructured":"Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. Proceedings of IJCAI, 399\u2013404 (2009)"},{"issue":"6","key":"20_CR6","doi-asserted-by":"publisher","first-page":"66111","DOI":"10.1103\/PhysRevE.70.066111","volume":"70","author":"A. Clauset","year":"2004","unstructured":"Clauset, A., Newman, M.E.J., Moore, C.: Finding community structure in very large networks. Physical review E\u00a070(6), 66111 (2004)","journal-title":"Physical review E"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible sat-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"20_CR8","unstructured":"Een, N., S\u00f6rensson, N.: Minisat: A sat solver with conflict-clause minimization. In: SAT, vol.\u00a05 (2005)"},{"key":"20_CR9","unstructured":"Ian, P.: Gent and Toby Walsh. The sat phase transition. In: ECAI, pp. 105\u2013109. PITMAN (1994)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"678","DOI":"10.1007\/978-3-642-40627-0_50","volume-title":"Principles and Practice of Constraint Programming","author":"D. Habet","year":"2013","unstructured":"Habet, D., Toumi, D.: Empirical study of the behavior of conflict analysis in cdcl solvers. In: Schulte, C. (ed.) CP 2013. LNCS, vol.\u00a08124, pp. 678\u2013693. Springer, Heidelberg (2013)"},{"key":"20_CR11","unstructured":"Mitchell, D., Selman, B., Levesque, H.: Hard and easy distributions of sat problems. In: AAAI, vol.\u00a092, pp. 459\u2013465. Citeseer (1992)"},{"issue":"6","key":"20_CR12","doi-asserted-by":"publisher","first-page":"66133","DOI":"10.1103\/PhysRevE.69.066133","volume":"69","author":"M.E.J. Newman","year":"2004","unstructured":"Newman, M.E.J.: Fast algorithm for detecting community structure in networks. Physical review E\u00a069(6), 66133 (2004)","journal-title":"Physical review E"},{"key":"20_CR13","unstructured":"Newsham, Z., Ganesh, V., Fischmeister, S., Audemard, G., Simon, L.: Community Structure of SAT Instances Webpage with Data and Code, \n                      \n                        https:\/\/ece.uwaterloo.ca\/~vganesh\/satcommunitystructure.html"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-72788-0_28","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2007","author":"K. Pipatsrisawat","year":"2007","unstructured":"Pipatsrisawat, K., Darwiche, A.: A lightweight component caching scheme for satisfiability solvers. In: Marques-Silva, J., Sakallah, K.A. (eds.) SAT 2007. LNCS, vol.\u00a04501, pp. 294\u2013299. Springer, Heidelberg (2007)"},{"key":"20_CR15","unstructured":"Vardi, M.: Phase transition and computation complexity (2012), \n                      \n                        http:\/\/www.lsv.ens-cachan.fr\/Events\/fmt2012\/SLIDES\/moshevardi.pdf"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: Satzilla: Portfolio-based algorithm selection for sat. J. Artif. Intell. Res. (JAIR)\u00a032, 565\u2013606 (2008)","DOI":"10.1613\/jair.2490"},{"key":"20_CR17","unstructured":"Zhang, W., Pan, G., Wu, Z., Li, S.: Online community detection for large complex networks. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 1903\u20131909. AAAI Press (2013)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2013 SAT 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09284-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:50:20Z","timestamp":1558921820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09284-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319092836","9783319092843"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09284-3_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}