Ronan Le Bras

Cornell University–logo

Cornell University

Conferences and Journals
[2015]
16. ClouDiA: a deployment advisor for public clouds [springer, pdf, bib]
Tao Zou, Ronan Le Bras, Marcos Vaz Salles, Alan Demers, Johannes Gehrke

The VLDB Journal. Special Issue on the Best Papers of VLDB 2013. January 2015.

15. Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery [pdf, bib]
Stefano Ermon, Ronan Le Bras, Santosh Suram, John M. Gregoire, Carla Gomes, Bart Selman and Robert B. van Dover

AAAI'15. 29th International Conference on Artificial Intelligence, Austin, Texas, January 2015.

[2014]
14. A Human Computation Framework for Boosting Combinatorial Solvers [pdf, slides, bib]
Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes and Bart Selman

HCOMP'14. 2nd AAAI Conference on Human Computation and Crowdsourcing, Pittsburgh, Pennsylvania, November 2014.

13. On the Erdos Discrepancy Problem [pdf, bib, slides]
Ronan Le Bras, Carla P. Gomes, and Bart Selman

CP'14. 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France, September 2014.

12. A Computational Challenge Problem in Materials Discovery: Synthetic Problem Generator and Real-World Datasets [pdf, bib]
Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman and Robert B. van Dover

AAAI'14. 28th International Conference on Artificial Intelligence, Quebec City, Canada, August 2014.

[2013]
11. Crowdsourcing Backdoor Identification for Combinatorial Optimization [pdf, bib]
Ronan Le Bras, Richard Bernstein, Carla P. Gomes, Bart Selman and Robert B. van Dover

IJCAI'13. 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 2013.

10. Double-Wheel Graphs Are Graceful [pdf, bib]
Ronan Le Bras, Carla P. Gomes and Bart Selman

IJCAI'13. 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 2013.

9. ClouDiA: A Deployment Advisor for Public Clouds [pdf, bib]
Tao Zou, Ronan Le Bras, Marcos Vaz Salles, Alan Demers and Johannes Gehrke

VLDB'13. 39th International Conference on Very Large Data Bases, Riva del Garda, Trento, Italy, August 2013.

8. Robust Network Design for Multispecies Conservation [pdf, bib, slides]
Ronan Le Bras, Bistra Dilkina, Yexiang Xue, Carla P. Gomes, Kevin S. McKelvey, Claire Montgomery and Michael K. Schwartz

AAAI'13. 27th International Conference on Artificial Intelligence, Bellevue, Washington, July 2013.

7. Large Landscape Conservation - Synthetic and Real-World Datasets [pdf, bib, slides]
Bistra Dilkina, Katherine Lai, Ronan Le Bras, Yexiang Xue, Carla P. Gomes, Ashish Sabharwal, Jordan Suter, Kevin S. McKelvey, Michael K. Schwartz and Claire Montgomery

AAAI'13. 27th International Conference on Artificial Intelligence, Bellevue, Washington, July 2013.

6. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability [pdf, bib, slides]
Marcelo Finger, Ronan Le Bras, Carla P. Gomes and Bart Selman

SAT'13. 16th International Conference on Theory and Applications of Satisfiability Testing, Helsinki, Finland, July 2013.

[2012]
5. From Streamlined Combinatorial Search to Efficient Constructive Procedures [pdf, bib, slides, poster]
Ronan Le Bras, Carla P. Gomes and Bart Selman

AAAI'12. 26th International Conference on Artificial Intelligence, Toronto, Canada, July 2012.

4. Materials Discovery: New Opportunities at the Intersection of Constraint Reasoning and Learning [pdf, slides, poster]
Ronan Le Bras, Stefano Ermon, Theodoros Damoulas, Richard Bernstein, Carla P. Gomes, Bart Selman and Robert B. van Dover

CompSust'12. 3rd International Conference on Computational Sustainability, Copenhagen, Denmark, July 2012.

3. SMT-Aided Combinatorial Materials Discovery [pdf, url, bib, slides]
Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman and Robert B. van Dover

SAT'12. 15th International Conference on Theory and Applications of Satisfiability Testing, pp 172-185, Trento, Italy, June 2012.

[2011]
2. Constraint Reasoning and Kernel Clustering for Pattern Decomposition With Scaling [pdf, url, bib, slides, poster]
Ronan Le Bras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes and Robert B. van Dover

CP'11. 17th International Conference on Principles and Practice of Constraint Programming, pp 508-522, Perugia, Italy, Sept. 2011.

[2009]
1. Efficient Generic Search Heuristics within the EMBP Framework [pdf, url, bib, slides, poster]
Ronan Le Bras, Alessandro Zanarini and Gilles Pesant

CP'09. 15th International Conference on Principles and Practice of Constraint Programming, LNCS volume 5732, pp 539-553, Lisbon, Portugal, Sept. 2009.

Workshops
[2012]
2. Human Computation for Combinatorial Materials Discovery [pdf, poster, slides]
Ronan Le Bras, Richard Bernstein, Carla P. Gomes, Bart Selman and Robert B. van Dover

NIPS Workshop HCSCS'12. Human Computation for Science and Computational Sustainability, Lake Tahoe, Nevada, December 2012.

[2010]
1. Computational Thinking for Material Discovery: Bridging Constraint Reasoning and Learning [pdf, slides]
Ronan Le Bras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes and Robert B. van Dover

CROCS'10. 2nd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability , Bologna, Italy, June 2010.

Technical Reports
[2012]
1. Polynomial Time Construction for Spatially Balanced Latin Squares [pdf, bib, url]
Ronan Le Bras, Andrew Perrault and Carla P. Gomes

Technical report, eCommons@Cornell, Computing and Information Science Technical Reports, April 2012.


Disclaimer. This material is provided to ensure early and rapid dissemination of research results. Nevertheless, the copyrights for these documents are retained by the author(s) and by the journal or the conference in which they were published.