R. Bruce van Dover

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 5

Top Topics

Materials Science

Constraint Reasoning

Arc Consistency

Top Venues

Nat. Mach. Intell.

Publications

Yimeng Min, Ming-Chiang Chang, Shufeng Kong, John M. Gregoire, R. Bruce van Dover, Michael O. Thompson, Carla P. Gomes
Physically Informed Graph-Based Deep Reasoning Net for Efficient Combinatorial Phase Mapping. ICMLA (2023)
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
Probabilistic Phase Labeling and Lattice Refinement for Autonomous Material Research. CoRR (2023)
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
Autonomous synthesis of metastable materials. CoRR (2021)
Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes
Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. Nat. Mach. Intell. 3 (9) (2021)
Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes
Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning. CoRR (2021)
Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover
Challenges in Materials Discovery - Synthetic Generator and Real Datasets. AAAI (2014)
Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover
Crowdsourcing Backdoor Identification for Combinatorial Optimization. IJCAI (2013)
Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover
SMT-Aided Combinatorial Materials Discovery. SAT (2012)
Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover
Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. CP (2011)