Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Ronan Le
    Last name: Bras
    DBLP: 63/7554
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 22 of 22  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Yexiang Xue, Junwen Bai, Ronan Le Bras, Brendan Rappazzo, Richard Bernstein, Johan Bjorck, Liane Longpre, Santosh K. Suram, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes.
    Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.
    Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. 2017 (0) 2017
    Conference paper
    Mateo Díaz, Ronan Le Bras, Carla P. Gomes.
    In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.
    Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Mark Hopkins, Cristian Petrescu-Prahova, Roie Levin, Ronan Le Bras, Alvaro Herrasti, Vidur Joshi.
    Beyond Sentential Semantic Parsing: Tackling the Math SAT with a Cascade of Tree Transducers.
    Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, EMNLP 2017, Copenhagen, Denmark, September 9-11, 2017 2017 (0) 2017
    Conference paper
    Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman.
    Variable Elimination in the Fourier Domain.
    Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016 2016 (0) 2016
    Conference paper
    Yexiang Xue, Junwen Bai, Ronan Le Bras, Brendan Rappazzo, Richard Bernstein, Johan Bjorck, Liane Longpre, Santosh K. Suram, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes.
    Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, R. Bruce van Dover.
    Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
    Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. 2015 (0) 2015
    Journal article
    Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman.
    Variable Elimination in Fourier Domain.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Tao Zou, Ronan Le Bras, Marcos Antonio Vaz Salles, Alan J. Demers, Johannes Gehrke.
    ClouDiA: a deployment advisor for public clouds.
    VLDB J. 2015, Volume 24 (0) 2015
    Conference paper
    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.
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. 2014 (0) 2014
    Conference paper
    Ronan Le Bras, Carla P. Gomes, Bart Selman.
    On the Erdos Discrepancy Problem.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Ronan Le Bras, Carla P. Gomes, Bart Selman.
    On the ErdÅ?s Discrepancy Problem.
    Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes, Bart Selman.
    A Human Computation Framework for Boosting Combinatorial Solvers.
    Proceedings of the Seconf AAAI Conference on Human Computation and Crowdsourcing, HCOMP 2014, November 2-4, 2014, Pittsburgh, Pennsylvania, USA 2014 (0) 2014
    Journal article
    Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, R. Bruce van Dover.
    Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Marcelo Finger, Ronan Le Bras, Carla P. Gomes, Bart Selman.
    Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.
    Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Ronan Le Bras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover.
    Crowdsourcing Backdoor Identification for Combinatorial Optimization.
    IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 2013 (0) 2013
    Conference paper
    Ronan Le Bras, Carla P. Gomes, Bart Selman.
    Double-Wheel Graphs Are Graceful.
    IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 2013 (0) 2013
    Conference paper
    Ronan Le Bras, Bistra N. Dilkina, Yexiang Xue, Carla P. Gomes, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery.
    Robust Network Design For Multispecies Conservation.
    Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA. 2013 (0) 2013
    Conference paper
    Bistra N. Dilkina, Katherine J. Lai, Ronan Le Bras, Yexiang Xue, Carla P. Gomes, Ashish Sabharwal, Jordan Suter, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery.
    Large Landscape Conservation - Synthetic and Real-World Datasets.
    Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA. 2013 (0) 2013
    Conference paper
    Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman, R. Bruce van Dover.
    SMT-Aided Combinatorial Materials Discovery.
    Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Ronan Le Bras, Carla P. Gomes, Bart Selman.
    From Streamlined Combinatorial Search to Efficient Constructive Procedures.
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. 2012 (0) 2012
    Conference paper
    Ronan Le Bras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover.
    Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling.
    Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Ronan Le Bras, Alessandro Zanarini, Gilles Pesant.
    Efficient Generic Search Heuristics within the EMBP Framework.
    Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings 2009 (0) 2009
    Show item 1 to 22 of 22  

    Your query returned 22 matches in the database.