{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:29:36Z","timestamp":1761611376758},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243177"},{"type":"electronic","value":"9783319243184"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24318-4_6","type":"book-chapter","created":{"date-parts":[[2015,9,11]],"date-time":"2015-09-11T05:42:56Z","timestamp":1441950176000},"page":"62-70","source":"Crossref","is-referenced-by-count":5,"title":["SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers"],"prefix":"10.1007","author":[{"given":"Zack","family":"Newsham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Lindsay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Ganesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia Hui","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,27]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-24605-3_7","volume-title":"Theory and Applications of Satisfiability Testing","author":"E Clarke","year":"2004","unstructured":"Clarke, E., Talupur, M., Veith, H., Wang, D.: SAT based predicate abstraction for hardware verification. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 78\u201392. Springer, Heidelberg (2004)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic model checking using sat procedures instead of bdds. In: Proceedings of the 36th Annual ACM\/IEEE Design Automation Conference, pp. 317\u2013320. ACM (1999)","DOI":"10.1145\/309847.309942"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/978-3-319-09284-3_20","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2014","author":"Z Newsham","year":"2014","unstructured":"Newsham, Z., Ganesh, V., Fischmeister, S., Audemard, G., Simon, L.: Impact of community structure on SAT solver performance. In: Sinz, C., Egly, U. (eds.) SAT 2014. LNCS, vol. 8561, pp. 252\u2013268. Springer, Heidelberg (2014)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 7317, pp. 410\u2013423. Springer, Heidelberg (2012)"},{"issue":"6","key":"6_CR5","doi-asserted-by":"crossref","first-page":"066111","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 70(6), 066111 (2004)","journal-title":"Physical Review E"},{"key":"6_CR6","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)"},{"key":"6_CR7","unstructured":"Newman, M.E.J., Girvan, M.: Finding and evaluating community structure in networks (2003). http:\/\/arxiv.org\/pdf\/cond-mat\/0308217.pdf (last viewed December 2013)"},{"issue":"1","key":"6_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/99902.99903","volume":"10","author":"T Kamada","year":"1991","unstructured":"Kamada, T., Kawai, S.: A general framework for visualizing abstract objects and relations. ACM Trans. Graph. 10(1), 1\u201339 (1991)","journal-title":"ACM Trans. Graph."},{"issue":"11","key":"6_CR9","first-page":"1129","volume":"21","author":"TMJ Fruchterman","year":"1991","unstructured":"Fruchterman, T.M.J., Reingold, E.M.: Graph drawing by force-directed placement. Software: Practice and Experience 21(11), 1129\u20131164 (1991)","journal-title":"Software: Practice and Experience"},{"key":"6_CR10","unstructured":"SAT competition 2013 (2013). http:\/\/satcompetition.org\/2013\/ (last viewed January 2014)"},{"key":"6_CR11","unstructured":"Newsham, Z., Lindsay, W., Liang, J., Ganesh, V., Fischmeister, S., Czarnecki, K.: Satgraf sat formula visualization tool. http:\/\/bitbucket.org\/znewsham\/satgraf"},{"key":"6_CR12","unstructured":"Newsham, Z., Lindsay, W., Liang, J., Ganesh, V., Fischmeister, S., Czarnecki, K.: Satgraf structure source. http:\/\/bitbucket.org\/znewsham\/satlib"},{"key":"6_CR13","unstructured":"Newsham, Z., Lindsay, W., Liang, J., Ganesh, V., Fischmeister, S., Czarnecki, K.: Satgraf visualisation executable. https:\/\/bitbucket.org\/znewsham\/satgraf\/downloads\/satgraf.zip"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, DTIC Document (1990)","DOI":"10.21236\/ADA235785"},{"key":"6_CR15","unstructured":"Newsham, Z., Lindsay, W., Liang, J., Ganesh, V., Fischmeister, S., Czarnecki, K.: Satgraf: Results (2014). http:\/\/satbench.uwaterloo.ca\/satgraf\/index (last viewed January 2015)"},{"key":"6_CR16","unstructured":"Taiwan, T., Wang, H.: Minipure (2013). http:\/\/edacc4.informatik.uni-ulm.de\/SC13\/solver-description-download\/134 (last viewed January 2014)"},{"key":"6_CR17","unstructured":"Een, N., S\u00f6rensson, N.: Minisat: a SAT solver with conflict-clause minimization. In: SAT 2005 (2005)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/11499107_19","volume-title":"Theory and Applications of Satisfiability Testing","author":"C Sinz","year":"2005","unstructured":"Sinz, C., Dieringer, E.-M.: DPvis \u2013 a tool to visualize the structure of SAT instances. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol. 3569, pp. 257\u2013268. Springer, Heidelberg (2005)"},{"key":"6_CR19","unstructured":"Nicolini, C., Dallachiesa, M.: Graphinsight: An interactive visualization system for graph data exploration. http:\/\/www.graphinsight.com"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/978-3-642-28717-6_26","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"E Orbe","year":"2012","unstructured":"Orbe, E., Areces, C., Infante-L\u00f3pez, G.: iSat: structure visualization for SAT problems. In: Bj\u00f8rner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol. 7180, pp. 335\u2013342. Springer, Heidelberg (2012)"},{"key":"6_CR21","unstructured":"Bilgin, A., Ellson, J., Gansner, E., Smyrna, O., Hu, Y., North, S.: Graphviz - graph visualization software. http:\/\/www.graphviz.org\/"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing -- SAT 2015"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24318-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,30]],"date-time":"2019-08-30T10:35:53Z","timestamp":1567161353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24318-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243177","9783319243184"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24318-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}