{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:30:27Z","timestamp":1725564627825},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153952"},{"type":"electronic","value":"9783642153969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15396-9_6","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T07:00:16Z","timestamp":1283756416000},"page":"38-52","source":"Crossref","is-referenced-by-count":3,"title":["Computing the Density of States of Boolean Formulas"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Ermon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla P.","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Selman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Gogate, V., Dechter, R.: Approximate counting by sampling the backtrack-free search space. In: Proc. of AAAI-2007, pp. 198\u2013203 (2007)","key":"6_CR1"},{"unstructured":"Gomes, C., Hoffmann, J., Sabharwal, A., Selman, B.: From sampling to model counting. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 (2007)","key":"6_CR2"},{"key":"6_CR3","first-page":"54","volume-title":"Proceedings of AAAI 2006","author":"C. Gomes","year":"2006","unstructured":"Gomes, C., Sabharwal, A., Selman, B.: Model counting: a new strategy for obtaining good bounds. In: Proceedings of AAAI 2006, pp. 54\u201361. AAAI Press, Menlo Park (2006)"},{"issue":"3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1017584715408","volume":"27","author":"M. Littman","year":"2001","unstructured":"Littman, M., Majercik, S., Pitassi, T.: Stochastic boolean satisfiability. Journal of Automated Reasoning\u00a027(3), 251\u2013296 (2001)","journal-title":"Journal of Automated Reasoning"},{"unstructured":"Sang, T., Beame, P., Kautz, H.: Solving Bayesian networks by weighted model counting. In: Proc. of AAAI 2005, pp. 475\u2013481 (2005)","key":"6_CR5"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF02241270","volume":"44","author":"P. Hansen","year":"1990","unstructured":"Hansen, P., Jaumard, B.: Algorithms for the maximum satisfiability problem. Computing\u00a044(4), 279\u2013303 (1990)","journal-title":"Computing"},{"issue":"10","key":"6_CR7","doi-asserted-by":"publisher","first-page":"2050","DOI":"10.1103\/PhysRevLett.86.2050","volume":"86","author":"F. Wang","year":"2001","unstructured":"Wang, F., Landau, D.: Efficient, multiple-range random walk algorithm to calculate the density of states. Physical Review Letters\u00a086(10), 2050\u20132053 (2001)","journal-title":"Physical Review Letters"},{"key":"6_CR8","first-page":"192","volume-title":"Selected Papers from the 5th European Conference on Artificial Evolution","author":"M. Belaidouni","year":"2002","unstructured":"Belaidouni, M., Hao, J.K.: Sat, local search dynamics and density of states. In: Selected Papers from the 5th European Conference on Artificial Evolution, pp. 192\u2013204. Springer, Heidelberg (2002)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-61723-X_985","volume-title":"Parallel Problem Solving from Nature - PPSN IV","author":"H. Ros\u00e9","year":"1996","unstructured":"Ros\u00e9, H., Ebeling, W., Asselmeyer, T.: The density of states - a measure of the difficulty of optimisation problems. In: Ebeling, W., Rechenberg, I., Voigt, H.-M., Schwefel, H.-P. (eds.) PPSN 1996. LNCS, vol.\u00a01141, pp. 208\u2013217. Springer, Heidelberg (1996)"},{"key":"6_CR10","first-page":"670","volume-title":"Proceedings of the 19th National Conference on Artifical Intelligence","author":"W. Wei","year":"2004","unstructured":"Wei, W., Erenrich, J., Selman, B.: Towards efficient sampling: Exploiting random walk strategies. In: Proceedings of the 19th National Conference on Artifical Intelligence, pp. 670\u2013676. AAAI Press, Menlo Park (2004)"},{"doi-asserted-by":"crossref","unstructured":"Kamath, A., Motwani, R., Palem, K., Spirakis, P.: Tail bounds for occupancy and the satisfiability threshold conjecture. In: Proc. of the 35th Annual Symposium on the Foundations of Computer Science, pp. 592\u2013603 (1994)","key":"6_CR11","DOI":"10.1109\/SFCS.1994.365732"},{"issue":"21","key":"6_CR12","doi-asserted-by":"publisher","first-page":"3881","DOI":"10.1103\/PhysRevLett.76.3881","volume":"76","author":"R. Monasson","year":"1996","unstructured":"Monasson, R., Zecchina, R.: Entropy of the K-satisfiability problem. Physical review letters\u00a076(21), 3881\u20133885 (1996)","journal-title":"Physical review letters"},{"unstructured":"Montanari, A., Shah, D.: Counting good truth assignments of random k-SAT formulae. In: Proc. of the 18th ACM Symposium on Discrete Algorithms (2007)","key":"6_CR13"},{"unstructured":"Sang, T., Bacchus, F., Beame, P., Kautz, H., Pitassi, T.: Combining component caching and clause learning for effective model counting. In: Proc. of SAT 2004 (2004)","key":"6_CR14"},{"unstructured":"Hoos, H., Stiitzle, T.: SATLlB: An Online Resource for Research on SAT. In: Sat 2000: Highlights of Satisfiability Research in the Year, p. 283 (2000)","key":"6_CR15"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15396-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:53:32Z","timestamp":1619787212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15396-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153952","9783642153969"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15396-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}