R. Bruce van Dover
According to our database1, R. Bruce van Dover authored at least 7 papers between 2011 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Phase Mapper: Accelerating Materials Discovery with AI.
AI Magazine, 2018
Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Challenges in Materials Discovery - Synthetic Generator and Real Datasets.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
Crowdsourcing Backdoor Identification for Combinatorial Optimization.
Proceedings of the IJCAI 2013, 2013
SMT-Aided Combinatorial Materials Discovery.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011