R. Bruce van Dover

According to our database1, R. Bruce van Dover authored at least 9 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Phase Mapper: Accelerating Materials Discovery with AI.
AI Magazine, 2018

2017
Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.
CoRR, 2016

2015
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
CoRR, 2014

Challenges in Materials Discovery - Synthetic Generator and Real Datasets.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Crowdsourcing Backdoor Identification for Combinatorial Optimization.
Proceedings of the IJCAI 2013, 2013

2012
SMT-Aided Combinatorial Materials Discovery.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011
Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011


  Loading...