SMT-aided combinatorial materials discovery

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7317 LNCS, Issue , 2012, Pages 172-185

  Ermon, Stefano ^a   Le Bras, Ronan ^a   Gomes, Carla P ^a   Selman, Bart ^a   Van Dover, R Bruce ^b  

^a School of Operations Research and Information Engineering   (United States)

^b Cornell University   (United States)

Author keywords

Automated Reasoning; Combinatorial Materials Discovery; SMT

Indexed keywords

AUTOMATED REASONING; BACKGROUND KNOWLEDGE; BATCH EXPERIMENTS; COMBINATORIAL MATERIALS; DOMAIN SPECIFIC; HIGH-THROUGHPUT; IDENTIFICATION PROBLEM; PHASE MAPS; PHYSICAL AND CHEMICAL PROPERTIES; REASONING FRAMEWORK;

CHEMICAL PROPERTIES; FORMAL LOGIC; SURFACE MOUNT TECHNOLOGY;

MATERIALS PROPERTIES;

EID: 84864264966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31612-8_14     Document Type: Conference Paper

References (15)

1. Powder Diffract. File, JCPDS Internat. Centre Diffract. Data, PA (2004)
2. Altschul, S., Gish, W., Miller, W., Myers, E., Lipman, D.: Basic local alignment search tool. Journal of Molecular Biology 215(3), 403-410 (1990)
3. 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)
4. Biere, A.: Sat, smt and applications. In: Logic Programming and Nonmonotonic Reasoning, pp. 1-1 (2009)
5. Brummayer, R., Biere, A.: Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 174-177. Springer, Heidelberg (2009)
6. de Moura, L., Bjørner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
7. Ginley, D., Teplin, C., Taylor, M., van Hest, M., Perkins, J.: Combinatorial materials science. In: AccessScience. McGraw-Hill Companies (2005)
8. 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. 22(3), 1080 (2010)
9. Griggio, A.: A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic. JSAT 8, 1-27 (2012)
10. Halevy, A., Norvig, P., Pereira, F.: The unreasonable effectiveness of data. IEEE Intelligent Systems 24(2), 8-12 (2009)
11. 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. 6876, pp. 508-522. Springer, Heidelberg (2011)
12. 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 80(103902) (2009)
13. 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. 78 (2007)
14. Narasimhan, B., Mallapragada, S., Porter, M.: Combinatorial materials science. John Wiley and Sons (2007)
15. Van Dover, R.B., Schneemeyer, L., Fleming, R.: Discovery of a useful thin-film dielectric using a composition-spread approach. Nature 392(6672), 162-164 (1998)