Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. - Ronan LeBras; Theodoros Damoulas; John M. Gregoire; Ashish Sabharwal; Carla P. Gomes; R. Bruce van Dover (CP, 2011)

SMT-Aided Combinatorial Materials Discovery. - Stefano Ermon; Ronan LeBras; Carla P. Gomes; Bart Selman; R. Bruce van Dover (SAT, 2012)

Crowdsourcing Backdoor Identification for Combinatorial Optimization. - Ronan LeBras; Richard Bernstein; Carla P. Gomes; Bart Selman; R. Bruce van Dover (IJCAI, 2013)

Challenges in Materials Discovery - Synthetic Generator and Real Datasets. - Ronan Le Bras 001; Richard Bernstein; John M. Gregoire; Santosh K. Suram; Carla P. Gomes; Bart Selman; R. Bruce van Dover (AAAI, 2014)

Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. - Stefano Ermon; Ronan Le Bras 001; Santosh K. Suram; John M. Gregoire; Carla P. Gomes; Bart Selman; Robert Bruce van Dover (AAAI, 2015)

Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery. - Yexiang Xue; Junwen Bai; Ronan Le Bras 001; Brendan Rappazzo; Richard Bernstein; Johan Bjorck; Liane Longpre; Santosh K. Suram; Robert Bruce van Dover; John M. Gregoire; Carla P. Gomes (AAAI, 2017)

Phase Mapper: Accelerating Materials Discovery with AI. - Junwen Bai; Yexiang Xue; Johan Bjorck; Ronan Le Bras 001; Brendan Rappazzo; Richard Bernstein; Santosh K. Suram; Robert Bruce van Dover; John M. Gregoire; Carla P. Gomes (AI Mag., 2018)

Autonomous synthesis of metastable materials. - Sebastian Ament; Maximilian Amsler; Duncan R. Sutherland; Ming-Chiang Chang; Dan Guevarra; Aine B. Connolly; John M. Gregoire; Michael O. Thompson; Carla P. Gomes; R. Bruce van Dover (CoRR, 2021)

Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning. - Di Chen 001; Yiwei Bai; Sebastian Ament; Wenting Zhao 002; Dan Guevarra; Lan Zhou; Bart Selman; R. Bruce van Dover; John M. Gregoire; Carla P. Gomes (CoRR, 2021)

Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. - Di Chen 001; Yiwei Bai; Sebastian Ament; Wenting Zhao 002; Dan Guevarra; Lan Zhou; Bart Selman; R. Bruce van Dover; John M. Gregoire; Carla P. Gomes (Nat. Mach. Intell., 2021)

Physically Informed Graph-Based Deep Reasoning Net for Efficient Combinatorial Phase Mapping. - Yimeng Min; Ming-Chiang Chang; Shufeng Kong; John M. Gregoire; R. Bruce van Dover; Michael O. Thompson; Carla P. Gomes (ICMLA, 2023)

Probabilistic Phase Labeling and Lattice Refinement for Autonomous Material Research. - Ming-Chiang Chang; Sebastian Ament; Maximilian Amsler; Duncan R. Sutherland; Lan Zhou; John M. Gregoire; Carla P. Gomes; R. Bruce van Dover; Michael O. Thompson (CoRR, 2023)