Ermon, S., R. Le Bras, S. Suram, J. Gregoire, C. Gomes, B. Selman, and R. van Dover. “Pattern Decomposition With Complex Combinatorial Constraints: Application to Materials Discovery”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 29, no. 1, Feb. 2015, doi:10.1609/aaai.v29i1.9233.