@INPROCEEDINGS{Ermon2012smt,
author = {Ermon, Stefano and {Le Bras}, Ronan and Gomes, Carla P. and Selman, Bart and {van Dover}, R. Bruce},
title = {SMT-Aided Combinatorial Materials Discovery},
booktitle = {Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT)},
year = {2012},
series = {SAT'12},
location = {Trento, Italy},
pages = {172--185}
}