In combinatorial materials discovery, one searches for new materials with desirable properties by obtaining measurements on hundreds of samples in a single high-throughput batch experiment. As manual data analysis is becoming more and more impractical, there is a growing need to develop new techniques to automatically analyze and interpret such data. We describe a novel approach to the phase map identification problem where we integrate domain-specific scientific background knowledge about the physical and chemical properties of the materials into an SMT reasoning framework. We evaluate the performance of our method on realistic synthetic measurements, and we show that it provides accurate and physically meaningful interpretations of the data, even in the presence of artificially added noise. © 2012 Springer-Verlag.
CITATION STYLE
Ermon, S., Le Bras, R., Gomes, C. P., Selman, B., & Van Dover, R. B. (2012). SMT-aided combinatorial materials discovery. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7317 LNCS, pp. 172–185). https://doi.org/10.1007/978-3-642-31612-8_14
Mendeley helps you to discover research relevant for your work.