SMT-Aided Combinatorial Materials Discovery-Reference-Cited by-同舟云学术

SMT-Aided Combinatorial Materials Discovery

Published:2012 Issue: Volume: Page:172-185
ISSN:0302-9743
Container-title:Theory and Applications of Satisfiability Testing – SAT 2012
language:
Short-container-title:

Author:

Ermon Stefano,Le Bras Ronan,Gomes Carla P.,Selman Bart,van Dover R. Bruce

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-31612-8_14

Reference15 articles.

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. Lecture Notes in Computer Science;R. Brummayer,2009

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description);Automated Reasoning;2022

2. Physics Knowledge Discovery via Neural Differential Equation Embedding;Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track;2021

3. Tracking materials science data lineage to manage millions of materials experiments and analyses;npj Computational Materials;2019-07-26

4. An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2018

5. Parallel Satisfiability Modulo Theories;Handbook of Parallel Constraint Reasoning;2018