R. Bruce van Dover
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2011–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICMLA | 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 |
| 2014 | AAAI | Challenges in Materials Discovery - Synthetic Generator and Real Datasets. | Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2013 | IJCAI | Crowdsourcing Backdoor Identification for Combinatorial Optimization. | Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2012 | SAT | SMT-Aided Combinatorial Materials Discovery. | Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2011 | CP | 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 |