{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:07:58Z","timestamp":1781014078300,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642316111","type":"print"},{"value":"9783642316128","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-31612-8_14","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T05:14:42Z","timestamp":1339996482000},"page":"172-185","source":"Crossref","is-referenced-by-count":12,"title":["SMT-Aided Combinatorial Materials Discovery"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Ermon","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"}]},{"given":"R. Bruce","family":"van Dover","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Powder Diffract. File, JCPDS Internat. Centre Diffract. Data, PA (2004)"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/S0022-2836(05)80360-2","volume":"215","author":"S. Altschul","year":"1990","unstructured":"Altschul, S., Gish, W., Miller, W., Myers, E., Lipman, D.: Basic local alignment search tool. Journal of Molecular Biology\u00a0215(3), 403\u2013410 (1990)","journal-title":"Journal of Molecular Biology"},{"key":"14_CR3","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, Edinburgh, England (2010)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Biere, A.: Sat, smt and applications. In: Logic Programming and Nonmonotonic Reasoning, pp. 1\u20131 (2009)","DOI":"10.1007\/978-3-642-04238-6_1"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-00768-2_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Brummayer","year":"2009","unstructured":"Brummayer, R., Biere, A.: Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 174\u2013177. Springer, Heidelberg (2009)"},{"key":"14_CR6","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.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"14_CR7","unstructured":"Ginley, D., Teplin, C., Taylor, M., van Hest, M., Perkins, J.: Combinatorial materials science. In: AccessScience. McGraw-Hill Companies (2005)"},{"issue":"3","key":"14_CR8","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."},{"key":"14_CR9","first-page":"1","volume":"8","author":"A. Griggio","year":"2012","unstructured":"Griggio, A.: A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic. JSAT\u00a08, 1\u201327 (2012)","journal-title":"JSAT"},{"issue":"2","key":"14_CR10","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MIS.2009.36","volume":"24","author":"A. Halevy","year":"2009","unstructured":"Halevy, A., Norvig, P., Pereira, F.: The unreasonable effectiveness of data. IEEE Intelligent Systems\u00a024(2), 8\u201312 (2009)","journal-title":"IEEE Intelligent Systems"},{"key":"14_CR11","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. Le Bras","year":"2011","unstructured":"Le Bras, 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)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Long, C.J., Bunker, D., Karen, V.L., Li, X., Takeuchi, I.: Rapid identification of structural phases in combinatorial thin-film libraries using x-ray diffraction and non-negative matrix factorization. Rev. Sci. Instruments\u00a080(103902) (2009)","DOI":"10.1063\/1.3216809"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Long, C.J., Hattrick-Simpers, J., Murakami, M., Srivastava, R.C., Takeuchi, I., Karen, V.L., Li, X.: Rapid structural mapping of ternary metallic alloy systems using the combinatorial approach and cluster analysis. Rev. Sci. Inst.\u00a078 (2007)","DOI":"10.1063\/1.2755487"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Narasimhan, B., Mallapragada, S., Porter, M.: Combinatorial materials science. John Wiley and Sons (2007)","DOI":"10.1002\/9780470140475"},{"issue":"6672","key":"14_CR15","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"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2014 SAT 2012"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31612-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T04:09:17Z","timestamp":1777090157000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31612-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642316111","9783642316128"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31612-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}