{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T05:02:52Z","timestamp":1780981372731,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642390708","type":"print"},{"value":"9783642390715","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39071-5_18","type":"book-chapter","created":{"date-parts":[[2013,6,23]],"date-time":"2013-06-23T21:23:17Z","timestamp":1372022597000},"page":"233-249","source":"Crossref","is-referenced-by-count":5,"title":["Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ronan","family":"Le Bras","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carla P.","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bart","family":"Selman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Boole, G.: An Investigation on the Laws of Thought. Macmillan, London (1854), available on project Gutemberg at \nhttp:\/\/www.gutenberg.org\/etext\/15114"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-642-31612-8_14","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2012","author":"S. Ermon","year":"2012","unstructured":"Ermon, S., Le Bras, R., Gomes, C.P., Selman, B., van Dover, R.B.: SMT-aided combinatorial materials discovery. In: Cimatti, A., Sebastiani, R. (eds.) SAT 2012. LNCS, vol.\u00a07317, pp. 172\u2013185. Springer, Heidelberg (2012)"},{"key":"18_CR4","unstructured":"Finger, M., Bona, G.D.: Probabilistic satisfiability: Logic-based algorithms and phase transition. In: Walsh, T. (ed.) IJCAI, pp. 528\u2013533. IJCAI\/AAAI (2011)"},{"key":"18_CR5","unstructured":"Friedman, N., Getoor, L., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In: IJCAI, pp. 1300\u20131309. Springer (1999)"},{"key":"18_CR6","unstructured":"Gent, I.P., Walsh, T.: The SAT phase transition. In: ECAI 1994 \u2013 Proceedings of the Eleventh European Conference on Artificial Intelligence, pp. 105\u2013109. John Wiley & Sons (1994)"},{"issue":"1","key":"18_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0885-064X(88)90006-4","volume":"4","author":"G. Georgakopoulos","year":"1988","unstructured":"Georgakopoulos, G., Kavvadias, D., Papadimitriou, C.H.: Probabilistic satisfiability. Journal of Complexity\u00a04(1), 1\u201311 (1988)","journal-title":"Journal of Complexity"},{"key":"18_CR8","unstructured":"Giunchiglia, E., Maratea, M.: Solving optimization problems with dll. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, pp. 377\u2013381. IOS Press (2006)"},{"issue":"3","key":"18_CR9","doi-asserted-by":"publisher","first-page":"1080","DOI":"10.1021\/cm9020782","volume":"22","author":"J.M. Gregoire","year":"2010","unstructured":"Gregoire, J.M., Tague, M.E., Cahen, S., Khan, S., Abruna, H.D., DiSalvo, F.J., van Dover, R.B.: Improved fuel cell oxidation catalysis in pt1-xtax. Chem. Mater.\u00a022(3), 1080 (2010)","journal-title":"Chem. Mater."},{"issue":"1","key":"18_CR10","doi-asserted-by":"publisher","first-page":"015105","DOI":"10.1063\/1.3505103","volume":"82","author":"J.M. Gregoire","year":"2011","unstructured":"Gregoire, J.M., Dale, D., van Dover, R.B.: A wavelet transform algorithm for peak detection and application to powder x-ray diffraction data. Review of Scientific Instruments 82(1), 015105\u2013015105 (2011)","journal-title":"Review of Scientific Instruments"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-94-017-1737-3_8","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 5","author":"P. Hansen","year":"2000","unstructured":"Hansen, P., Jaumard, B.: Probabilistic satisfiability. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 5, p. 321. Springer, Netherlands (2000)"},{"key":"18_CR12","unstructured":"Hansen, P., Jaumard, B., Nguets\u00e9, G.B.D., de Arag\u00e3o, M.P.: Models and algorithms for probabilistic and bayesian logic. In: IJCAI, pp. 1862\u20131868 (1995)"},{"issue":"2","key":"18_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.ijar.2007.03.001","volume":"47","author":"P. Hansen","year":"2008","unstructured":"Hansen, P., Perron, S.: Merging the local and global approaches to probabilistic satisfiability. Int. J. Approx. Reasoning\u00a047(2), 125\u2013140 (2008)","journal-title":"Int. J. Approx. Reasoning"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF01531078","volume":"1","author":"D. Kavvadias","year":"1990","unstructured":"Kavvadias, D., Papadimitriou, C.H.: A linear programming approach to reasoning about probabilities. Annals of Mathematics and Artificial Intelligence\u00a01, 189\u2013205 (1990), \nhttp:\/\/dx.doi.org\/10.1007\/BF01531078","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"18_CR15","unstructured":"Le Bras, R., Bernstein, R., Gomes, C.P., Selman, B.: Crowdsourcing backdoor identification for combinatorial optimization. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (2013)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-642-23786-7_39","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","author":"R. LeBras","year":"2011","unstructured":"LeBras, R., Damoulas, T., Gregoire, J.M., Sabharwal, A., Gomes, C.P., van Dover, R.B.: Constraint reasoning and kernel clustering for pattern decomposition with scaling. In: Lee, J. (ed.) CP 2011. LNCS, vol.\u00a06876, pp. 508\u2013522. Springer, Heidelberg (2011), \nhttp:\/\/dl.acm.org\/citation.cfm?id=2041160.2041202"},{"key":"18_CR17","unstructured":"Mitchell, D., Selman, B., Levesque, H.: Hard and easy distributions of SAT problems. In: AAAI 1992 \u2013 Proceedings of the 10th National Conference on Artificial Intelligence, pp. 459\u2013465 (1992)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Narasimhan, B., Mallapragada, S., Porter, M.: Combinatorial Materials Science. Wiley (2007), \nhttp:\/\/books.google.com\/books?id=tRdvxlL7mL0C","DOI":"10.1002\/9780470140475"},{"issue":"1","key":"18_CR19","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. Artificial Intelligence\u00a028(1), 71\u201387 (1986)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"18_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(93)90167-A","volume":"59","author":"N. Nilsson","year":"1993","unstructured":"Nilsson, N.: Probabilistic logic revisited. Artificial Intelligence\u00a059(1-2), 39\u201342 (1993)","journal-title":"Artificial Intelligence"},{"key":"18_CR21","unstructured":"Papadimitriou, C., Steiglitz, K.: Combinatorial Optimization: Algorithms and Complexity. Dover (1998)"},{"key":"18_CR22","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Probabilistic Inductive Logic Programming","year":"2008","unstructured":"De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S. (eds.): Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.\u00a04911. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"18_CR23","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M. Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Machine Learning\u00a062(1-2), 107\u2013136 (2006)","journal-title":"Machine Learning"},{"issue":"6672","key":"18_CR24","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1038\/32381","volume":"392","author":"R.B. Van Dover","year":"1998","unstructured":"Van Dover, R.B., Schneemeyer, L., Fleming, R.: Discovery of a useful thin-film dielectric using a composition-spread approach. Nature\u00a0392(6672), 162\u2013164 (1998)","journal-title":"Nature"},{"issue":"2","key":"18_CR25","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0020-0190(98)00144-6","volume":"68","author":"J.P. Warners","year":"1998","unstructured":"Warners, J.P.: A linear-time transformation of linear inequalities into conjunctive normal form. Inf. Process. Lett.\u00a068(2), 63\u201369 (1998)","journal-title":"Inf. Process. Lett."}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2013 SAT 2013"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39071-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T04:46:04Z","timestamp":1780980364000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39071-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390708","9783642390715"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39071-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}