Carla P. Gomes.P

CarlaP. Gomes

Computing and Information Science Dept. of Computer Science Dyson School of Applied Economics and Management Cornell University 353 Gates Hall Ithaca,NY 14853 phone: (607) 255 9189 [email protected] www.cs.cornell.edu/gomes

Current position

Director, Institute for Computational Sustainability, Cornell University

Professor,Professor, Dept.Dept. of of Computer Computer Science, Science, Dept. Dept. of of Information Information Science, Science, and and Dyson Dyson School School of Applied of Ap- Economicsplied Economics and Management, and Management, Cornell Cornell University University CornellCornell Research Field Field Membershi Membership:p: Computer Computer Science, Science, Information Information Science, Science, Applied Applied Mathe- matics, Applied Economics and Management, and City and Regional Planning. Mathematics, Applied Economics and Management, and City and Regional Planning.

Education

Ph.D. (Computer Science), University of Edinburgh (1993).

Area: Artiﬁcial Intelligence and Operations Research Advisors: Professors AustinTate (Artiﬁcial Intelligence) andLyn Thomas (Oper. Re- search)

M.Sc. (Applied Mathematics),Technical University of Lisbon (1987).

Area: Operations Research Advisor: ProfessorTeresa Almeida

Research Interests:

Computational Sustainability; Sustainability; Scientific Scientiﬁc Discovery; Discovery; Combinatorial Combinatorial Decision Decision and Optimization and Optimization Problems; Prob- Connectionslems; Connections with Operations with Operations Research, Research, Machine Machine and Statistical and Statistical Learning, Learning, and Dynamical and Dynamical Systems; Sys- Multi-agenttems; Multi-agent Systems; Systems; Approximations, Approximati randomization,ons, randomization, and sampling and techniques sampling to techniquesidentify structure; to identify structure; Science of Computation (synthesis of formal andexperimental research). Science of Computation (synthesis of formal and experimental research).

1 Professional Recognition

Fellow, Association for Computing Machinery(ACM), 2017.

Fellow, American Association for the Advancement of Science (AAAS), 2013.

Fellow, Association for the Advancement of Artiﬁcial Intelligence (AAAI), 2007.

LeadLead PP.I.,.I., NSFNSF Expeditions Expeditions in in Computing Computing AwardAward ($10M). ($10M). CompSustNet: CompSustNet: Expanding Expanding the Horizons the Hori- ofzons Computational of Computational Sustainability, Sustainability 2015-2020., 2015-2020.

LeadLead PP.I.,.I., NSFNSF Expeditions Expeditions in in Computing Computing AwardAward ($10M). ($10M). Computational Computational Sustainability: Sustainability: Com- Computationalputational Methods Methods fora for Sustainable a Sustainable Environment, Environment, Economy Economy,, and and Society Society,, 2008-2013. 2008-2013. Fellow, Radcliffe Institute for Advanced Study, Harvard University, 2011-2012.

Chair-elect, Chair, Retired Chair, the Section on Information, Computing and Communication of the American Association for the Advancement of Science (AAAS) 2014, 2015, 2016.

Member, Executive Council, Association for the Advancement of Artiﬁcial Intelligence, 2002- 2005, 2012-2015.

Top 10 Coolest Army Science andTechnology Advances (Number 4),AI to identify fuel-efﬁcient materials, U.S. Army CCDC Army Research Laboratory, 2019.

Research ExcellenceAward, Cornell University College of Engineering, 2019.

AAAI ClassicPaperAward , Boosting Combinatorial Search Through Randomization, AAAI, 2016.

InnovativeAIAward , Phase-Mapper: AnAI Platform to Accelerate High Throughput Materials Discovery. IAAI 2016.

Editor, special issue on Computational Sustainability,AI Magazine, 2013.

ProgramProgram Chair, Chair 10th, 10th International International Conference Conference on onIntegration Integration of Artificial of Artiﬁcial Intelligence Intelligence and and Op- Operationserations Research ResearchTechniques Techniquesin Constraint in Constraint Progra Programming,mming, IBM IBMT .T.J.W J. atsonWatson Research Research Center Center,, NY, USA (CPAIOR 2013). NY, USA (CPAIOR 2013). Program Chair, special track on Computational Sustainability of theTwenty-Third International Joint Conference on Artiﬁcial Intelligence,(IJCAI-13).

Program Chair, special track on Computational Sustainability of theTwenty-Fifth Conference on Artiﬁcial Intelligence, (AAAI-13).

2 BestPaperAward , Model counting:A new strategy for obtaining good bounds.Twenty-ﬁrst National Conference on Artiﬁcial Intelligence (AAAI06), 2006.

DistinguishedPaperAward , Statistical Regimes Across Constrainedness Regions, Conference on the Principles and Practice of Constraint Programming, 2004.

ComputationalComputational Sustainability. Sustainability The. The Bridge, Bridg eNational, National Academy Academy of Engineering,of Engineering, VolumeVolume 39, 39,Number Num- 4,ber Winter 4,Winter 2009. 2009. (Invited (In vitedarticle.) article.) Program Co-chair,Twenty-Third Conference on Artiﬁcial Intelligence, Chicago, IL, USA (AAAI- 08), 2008.

Program Co-chair, Ninth International Conference on Theory and Applications of Satisﬁability Testing, Seattle,Washington, USA, (SAT 2006), 2006.

ConferenceConfer Chair,ence International Chair Conference, International on the Principles Conference and Practice of Constraint on Programming,the Principles Ithaca, NY, USAand (CP-2002), Practice 2002. of Constraint Pro- gramming, Ithaca,NY, USA (CP-2002), 2002.

InvitedTalk, World EconomicForum, China. Computational Sustainability, 2016.

Invited PlenaryTalk, National Academy of Engineering, U.S. Frontiers of Engineering, 2009.

InvitedInvited Plenary Plenary Talk,Talk ,24th 24th National National Conference Conference of ofthe the American American Association Association for Artificialfor Artiﬁcial Intel- Intelligenceligence (AAAI-10), (AAAI-10), 2010. 2010.

InvitedInvited Plenary Plenary Talk,Talk ,17th 17th National National Conference Conference of ofthe the American American Association Association for Artificialfor Artiﬁcial Intel- Intelligenceligence (AAAI-00), (AAAI-00), 2000. 2000. Invited PlenaryTalk , International Conference on the Integration of Constraint Programming, Artiﬁcial Intelligence, and Operations Research, (CPAIOR-2010), 2010.

Invited PlenaryTalk, 15th International Conference on the Principles and Practice of Constraint Programming (CP09), 2009.

Invited PlenaryTalk , Grace Hopper Celebration ofWomen in Computing, (GraceHopper’10), 2010.

Nature, “Can Get Satisfaction,” 2005 (invited perspective).

Member, Advisory Committee, International Scientists, for the Research Council President of the European Union, 2000.

SpecialSpecial RecognitionRecognition Award,Award ,Information Information Directorate, Directorat Aire, AirForceForce Research Research Laboratory, Laboratory 1999., 1999. Ci- Citation:tation: Dr Dr.. Carla PP.. GomesGomes isis recognized forfor her her ground-breaking ground-breaking research research in in integrating integrating Artificial Arti- ﬁcial Intelligence and Operations Research techniques which led toa “boosted” search method Intelligence and Operations Research techniques which led to a “boosted” search method that that allowed several orders of magnitude speedups for solving hard, real-world problems. 1999. allowed several orders of magnitude speedups for solving hard, real-world problems. 1999.

3 AFRL/IF nominatedROMAN for the General RonaldYatesAward for Excellence inTechnology Transfer.ROMAN isa system incorporatingAI techniques for generating provably correct and safe schedules for planned shutdowns of nuclear power plants. (Carla Gomeswas the principal investigator ofROMAN.) 1996.

Ph.D. Scholarship Portuguese ScientiﬁcFoundation (3 years).

Best StudentPaperAward , (Ph.D. Student: Stefano Ermon.) Computing the density of states of Boolean formulas. Conference on the Principles and Practice of Constraint Programming, 2010.

Publications

Journals and Refereed Proceedings

1. CarlaP. Gomes, ThomasG. Dietterich, Christopher Barrett, Jon Conrad, Bistra Dilkina, Ste- fano Ermon, FeiFang, AndrewFarnsworth, Alan Fern, XiaoliZ. Fern, Daniel Fink, DouglasH. Fisher, Alexander Flecker, Daniel Freund, Angela Fuller, JohnM. Gregoire, JohnE. Hopcroft, SteveKelling,J. ZicoKolter,WarrenB. Powell, NicoleD. Sintov, JohnS. Selker, Bart Selman, Daniel Sheldon, DavidB. Shmoys, MilindTambe,Weng-KeenWong, ChristopherWood, Xiao- jianWu,Yexiang Xue, AmulyaYadav, Abdul-AzizYakubu, Mary Lou Zeeman. Computational sustainability: computing fora betterworld anda sustainable future. Commun.ACM 62(9): 56-65, 2019.

2. Johan Bjorck, BrendanH. Rappazzo, Di Chen, Richard Bernstein, PeterH. Wrege, CarlaP. Gomes. Automatic Detection and Compression forPassive Acoustic Monitoring of the African Forest Elephant. AAAI 2019: 476-484.

3. Di Chen, CarlaP. Gomes. Bias Reduction via End-to-End Shift Learning: Application to Citizen Science. AAAI 2019: 493-500.

4. Anmol Kabra,Yexiang Xue, CarlaP. Gomes. CPU-accelerated principal-agentgame for scalable citizen science. COMPASS 2019: 165-173.

5. Junwen Bai, Zihang Lai, RunzheYang,Yexiang Xue, JohnM. Gregoire, CarlaP. Gomes.Imi- tation Reﬁnement for X-ray Diffraction Signal Processing. ICASSP 2019: 3337-3341.

6. RafaelM. Almeida, Qinru Shi, JonathanM. Gomes-Selman, XiaojianWu,Yexiang Xue, Hector Angarita, Nathan Barros, BruceR.Forsberg, Roosevelt Garca-Villacorta, StephenK. Hamilton, JohnM. Melack, Mariana Montoya, Guillaume Perez, SureshA. Sethi, CarlaP. Gomes, Alexan- derS. Flecker. Reducing greenhousegas emissions of Amazonhydropower with strategic dam planning. Nature Communications, 2019.

7. CarlaP. Gomes, Bart Selman, JohnM. Gregoire. Artiﬁcial intelligence for materials discovery. MRS Bulletin, 2019.

4 8. Amrita Gupta, Bistra Dilkina, DanaJ. Morin, AngelaK. Fuller,J. Andrew Royle, Christopher Sutherland, CarlaP. Gomes. Reserve design to optimize functional connectivity and animal density. Conservation Biology, 2019.

9. SebastianE. Ament, HelgeS. Stein, Dan Guevarra, Lan Zhou, JoelA. Haber, DavidA. Boyd, Mitsutaro Umehara, JohnM. Gregoire, CarlaP. Gomes. Multi-component background learning automates signal detection for spectroscopic data. npj Computational Materials, 2019.

10. CarlaP. Gomes, Junwen Bai,Yexiang Xue, Johan Bjrck, Brendan Rappazzo, Sebastian Ament, Richard Bernstein, ShufengKong, SantoshK. Suram,R. Brucevan Dover, JohnM. Gregoire. CRYSTAL:a multi-agentAI system for automated mapping of materials’ crystal structures. MRS Communications, 2019.

11. Junwen Bai,Yexiang Xue, Johan Bjorck, Ronan Le Bras, Brendan Rappazzo, Richard Bernstein, SantoshK. Suram, Robert Brucevan Dover, JohnM. Gregoire, CarlaP. Gomes. Phase Mapper: Accelerating Materials Discovery with AI. AI Magazine 39(1): 15-26, 2018.

12.12. JohanJohan Bjorck, Bjorck, YiweiYiwei Bai, Bai, Xiaojian Xiaojian Wu,W Yexiangu,Yexiang Xue, Xue, Mark Mark C. C.Whitmore, Whitmore, Carla Carla P. Gomes.P. Gomes. Scalable Scal- Relaxationsable Relaxations of Sparse ofPacking Sparse Constraints:Packing Constraints Optimal Biocontrol: Optimal Biocontrolin Predator-Prey in Predator Networks.-Prey AAAI Netw 2018:orks. AAAI 2018: 748-756. 748-756. 13. LumingTang,Yexiang Xue, Di Chen, CarlaP. Gomes. Multi-Entity Dependence LearningWith Rich Context via ConditionalVariational Auto-Encoder. AAAI 2018: 824-832.

14. XiaojianWu, Jonathan Gomes-Selman, Qinru Shi,Yexiang Xue, Roosevelt Garca-Villacorta, Elizabeth Anderson, Suresh Sethi, Scott Steinschneider, Alexander Flecker, CarlaP. Gomes. Efﬁciently Approximating thePareto Frontier: Hydropower Dam Placement in the Amazon Basin. AAAI 2018: 849-859.

15. Guillaume Perez, Brendan Rappazzo, CarlaP. Gomes. Extending the Capacity of1/f Noise Generation. CP 2018: 601-610.

16.16. JunwenJunwen Bai,Bai, Sebastian Sebastian Ament, Ament, Guillaume Guillaume Perez, Perez, John John M.M. Gregoire, Gregoire, Carla Carla P. PGomes.. Gomes. An AnEffi- Ef cientﬁ- Relaxedcient Projection Relaxed MethodProjection for ConstrainedMethod forC Non-negativeonstrained Non-ne Matrixg Factorizationative Matrix Fwithactorizati Applicationon with to theAp- plication to the Phase-Mapping Problem in Materials Science. CPAIOR 2018: 52-62. Phase-Mapping Problem in Materials Science. CPAIOR 2018: 52-62. 17. JonathanM. Gomes-Selman, Qinru Shi,Yexiang Xue, Roosevelt Garca-Villacorta, Alexander S. Flecker, CarlaP. Gomes. Boosting Efﬁciency for Computing thePareto Frontier onTree Structured Networks. CPAIOR 2018: 263-279.

18. Qinru Shi, JonathanM. Gomes-Selman, Roosevelt Garca-Villacorta, Suresh Sethi, AlexanderS. Flecker, CarlaP. Gomes. Efﬁciently Optimizing for Dendritic Connectivity onTree-Structured Networks ina Multi-Objective Framework. COMPASS 2018: 26:1-26:8.

19. Di Chen,Yexiang Xue, CarlaP. Gomes. End-to-End Learning for the Deep Multivariate Probit Model. ICML 2018: 931-940.

5 20. Nils Bjorck, CarlaP. Gomes, Bart Selman, KilianQ.Weinberger. Understanding Batch Normal- ization. NeurIPS 2018: 7705-7716.

21. Xue,Y.;Wu, X.; Morin, D.; Dilkina, D.; Fuller, A.; Royle, A.; Gomes,C. Dynamic Optimiza- tion of Landscape Connectivity Embedding Spatial-Capture-Recapture Information. 4552-4558. AAAI 2017.

22. Diaz, M.; Le Bras, R.; Gomes,C. In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.CPAIOR 2017.

23. Bai, J.; Bjorck, J.; Xue,Y.; Suram, S.; Gregoire, J.; Gomes,C. Relaxation Methods for Con- strained MatrixFactorization Problems: Solving the Phase Mapping Problem in Materials Dis- covery.CPAIOR 2017.

24. Chen, D.; Xue,Y.; Fink,D.; Chen, S.; Gomes.C. Deep Multi-species Embedding. IJCAI 2017.

25.Wu, X.; Xue,Y.; Selman, B.; Gomes,C. XOR-Sampling for Network Design with Correlated Stochastic Events. 4640-4647 IJCAI 2017.

26. Xue,Y.; Bai, J.; Le Bras, R.; Rappazzo, B.; Bernste;n, R.; Bjorck,J. Longpre, Suram, S.;van Dover, B.; Gregoire, J.; and Gomes,C. Phase-Mapper: AnAI Platform to Accelerate High Throughput Materials Discovery. 4635-4643. AAAI 2017. (IAAI InnovativeAIAward).

27. Suram, S.; Xue,Y.; Bai, J.; Le Bras, R.; Rappazzo, B.; Bernstein, R.; Bjorck, J.; Zhou, L.; van Dover,R. B.; Gomes, C.P. Automated Phase Mapping with AgileFD and its Application to Light Absorber Discovery in theV-Mn-Nb Oxide system. ACS Combinatorial Science, 19: 37-46, 2017.

28. Xue,Yexiang; Davies, Ian; Fink, Daniel;Wood, Christopher; Gomes, CarlaP.Avicaching:A Two Stage Game for Bias Reduction in Citizen Science. Proceedings of the 2016 International Conference onAutonomous Agents and Multiagent Systems (AAMAS-2016) , Singapore, 2016.

29. Xue,Yexiang; Davies, Ian; Fink, Daniel;Wood,Christopher; Gomes, CarlaP. Behavior Iden- tiﬁcation inTwo-Stage Games for Incentivizing Citizen Science Exploration. Principles and Practice of Constraint Programming- 22nd International Conference (CP-2016), France, 2016.

30. Xue,Yexiang; Ermon, Stefano; Le Bras, Ronan; Gomes, CarlaP.; Selman, Bart.Variable Elim- ination in theFourier Domain. Proceedings of the 33nd International Conference on Machine Learning (ICML 2016), NewYork,NY, 2016.

31. Xue,Yexiang; Li, Zhiyuan; Ermon, Stefano, Gomes, CarlaP.; Selman, Bart. Solving Marginal MAP Problems withNP Oracles andParity Constraints. Proceedings of the Advances in Neu- ral Information Processing Systems 29: Annual Conference on Neural Information Processing Systems (NIPS-2016), Barcelona, 2016.

32.32. Ermon, Ermon, Stefano; Stefano; Le Bras, Le Ronan; Bras, Suram, Ronan; Santosh Suram, K.; Gregoire, Santosh John M.; Gomes,K.; Gre Carlagoire, P.; Selman, John Bart; M.; van Dover,Gomes, Robert Carla Bruce.P Pattern.; DecompositionSelman, Bart; with Complexvan Do Combinatorialver, Robert Constraints: Bruce. ApplicationPattern to DecompositionMaterials Discovery. Proceedings with Comple of the Twenty-Ninthx Combinatorial AAAI Conference on Artificial Intelligence (AAAI-2015), Texas, 2015.

6 Constraints: Application to Materials Discovery. Proceedings of theTwenty-Ninth AAAI Con- ference on Artiﬁcial Intelligence (AAAI-2015),Texas, 2015.

33. Ermon, Stefano; Xue,Yexiang;Toth, Russell; Dilkina, Bistra N.; Bernstein, Richard; Damoulas, Theodoros; Clark,Patrick; DeGloari, Steve; Mude, Andrew; Barrett, Christopher; Gomes, Carla P. Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to MigratoryPastoralism in East Africa. Proceedings of theTwenty-Ninth AAAI Conference on Artiﬁcial Intelligence (AAAI-2015),Texas, 2015.

34. Xue,Yexiang; Ermon, Stefano; Gomes, CarlaP.; Selman, Bart. Uncovering Hidden Structure throughParallel Problem Decomposition for the Set Basis Problem. Computational Sustainabil- ity,Papers from the 2015 AAAIWorkshop (AAAI WS) ,Texas, 2015.

35. Xue,Yexiang; Ermon, Stefano; Gomes, CarlaP.; Selman, Bart. Uncovering Hidden Structure throughParallel Problem Decomposition for the SetBasis Problem: Application to Materials Discovery. Proceedings of theTwenty-Fourth InternationalJoint Conference on Artiﬁcial Intel- ligence (IJCAI 2015), Argentina, 2015.

36. Sullivan,B.L.,Aycrigg,J.L, Barry,J. H., Bonney,R. E., Bruns, N., Cooper,C. B., Damoulas, T., Dhondt,A. A., Dietterich,T.,Farnsworth, A., Fink, D., Fitzpatrick,J.W., Fredericks,T., Gerbracht, J., Gomes, C., Hochachka,W. M., Iliff,M. J., Lagoze, C., La Sorte,F. A., Merriﬁeld, M., Morris,W., Phillips,T. B., Reynolds, M., Rodewald,A. D., Rosenberg,K.V.,Trautmann, N. M.,Wiggins, A.,Winkler,D.W.,Wong,W-K.,Wood,C. L.,Yu,J. andKelling,S. The eBird enterprise: An integrated approach to development and application of citizen science. Biological Conservation, 169:31-40, 2014.

37. Eaton, Eric; Gomes, CarlaP.;Williams, BrianC. Computational Sustainability, editorial. AI Magazine, 35(1), 2014.

38. Fink, Daniel; Damoulas, Theodoros; Bruns, Nicholas E.; La Sorte, Frank A.; Hochachka,Wes- ley M.; Gomes, CarlaP.;Kelling, Steve. Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species Distribution Models. AI Magazine 35(2), 2014.

39. Eaton, Eric; Gomes, CarlaP.;Williams, BrianC. Computational Sustainability: Editorial Intro- duction to the Summer andFall Issues. AI Magazine 35(3), 2014.

40. Dilkina, Bistra N.; Gomes, CarlaP.; Sabharwal, Ashish.Tradeoffs in the complexity of backdoors to satisﬁability: dynamic sub-solvers and learning during search. Annals of Mathematics and Artiﬁcial Intelligence 70(4), 2014.

41. Le Bras, Ronan; Bernstein, Richard; Gregoire, John M.; Suram, Santosh K.; Gomes, CarlaP.; Selman, Bart;van Dover,R. Bruce. Challenges in Materials Discovery- Synthetic Generator and Real Datasets (AAAI-2014), Canada, 2014.

42. Ermon, Stefano; Gomes, CarlaP.; Sabharwal, Ashish; Selman, Bart. DesigningFast Absorbing Markov Chains (AAAI-2014), Canada, 2014.

7 43. Xue,Yexiang; Ermon, Stefano; Gomes, CarlaP.; Selman, Bart. Uncovering Hidden Structure throughParallel Problem Decomposition (AAAI-2014), Canada, 2014.

44. Le Bras, Ronan; Gomes, CarlaP.; Selman, Bart. On the Erds Discrepancy Problem (Proceedings of Principles and Practice of Constraint Programming- 20th International Conference (CP 2014), France, 2014.

45. Le Bras, Ronan; Xue,Yexiang; Bernstein, Richard; Gomes, CarlaP.; Selman, Bart.A Human Computation Framework for Boosting Combinatorial Solvers. Proceedings of the Second AAAI Conference on Human Computation and Crowdsourcing (HCOMP 2014), Pennsylvania, 2014.

46. Ermon, Stefano; Gomes, CarlaP.; Sabharwal, Ashish; Selman, Bart. Low-densityParity Con- straints for Hashing-Based Discrete Integration. Proceedings of the 31th International Confer- ence on Machine Learning (ICML 2014), Beijing, China, 2014.

47. Damoulas, Theodoros; He, Jin; Bernstein, Richard; Gomes, CarlaP.; Arora, Anish. String Kernels for ComplexTime-Series: CountingTargets from Sensed Movement. Proceedings of the 22nd International Conference onPattern Recognition (ICPR 2014) , Stockholm, Sweden, 2014.

48.Kelling, Steve; Gerbracht, Jeff; Fink, Daniel; Lagoze, Carl;Wong,Weng-Keen,Yu, Jun; Damoulas, Theodoros; Gomes, CarlaP.A Human/Computer Learning Network to Improve Biodiversity Conservation and Research. AI Magazine ,Vol 34, 2013.

49. Ermon, Stefano; Xue,Yexiang; Gomes, CarlaP.; Selman, Bart. Learning policies for battery usage optimization in electricvehicles. Machine Learning,Vol 92, 2013.

50. LeBras, Ronan; Dilkina, Bistra N.; Xue,Yexiang; Gomes, CarlaP.; McKelvey,Kevin S.; Schwartz, Michael K.; Montgomery, ClaireA. Robust Network DesignFor Multispecies Con- servation. Proceedings of theTwenty-Seventh AAAI Conference on Artiﬁcial Intelligence (AAAI- 2013), Bellevue,Washington, 2013.

51. Dilkina, Bistra N.; Lai, Katherine J.; LeBras, Ronan; Xue,Yexiang; Gomes, CarlaP.; Sabharwal, Ashish; Suter, Jordan; McKelvey,Kevin S.; Schwartz, Michael K.; Montgomery, ClaireA. Large Landscape Conservation- Synthetic and Real-World Datasets. Proceedings of theTwenty- Seventh AAAI Conference on Artiﬁcial Intelligence (AAAI-2013), Bellevue,Washington, 2013.

52. Xue,Yexiang; Dilkina, Bistra N.; Damoulas, Theodoros; Fink, Daniel; Gomes,CarlaP.;Kelling, Steve. ImprovingYour Chances: Boosting Citizen Science Discovery. Proceedings of theFirst AAAI Conference on Human Computation and Crowdsourcing (HCOMP 2013),Palm Springs, CA, 2013.

53. Ermon, Stefano; Gomes, CarlaP.; Sabharwal, Ashish; Selman, Bart.Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. Proceedings of the 30th International Conference on Machine Learning (ICML-2013), Atlanta, GA, 2013.

8 54. LeBras, Ronan; Gomes, CarlaP.; Selman, Bart. Double-Wheel Graphs Are Graceful. Proceed- ings of the 23rd InternationalJoint Conference on Artiﬁcial Intelligence (IJCAI 2013) , Beijing, China, 2013.

55. LeBras, Ronan; Bernstein, Richard; Gomes, CarlaP.; Selman, Bart;van Dover,R. Bruce. Crowdsourcing Backdoor Identiﬁcation for Combinatorial Optimization. Proceedings of the 23rd InternationalJoint Conference on Artiﬁcial Intelligence (IJCAI 2013) , Beijing, China, 2013.

56. Ermon, Stefano; Gomes, CarlaP.; Sabharwal, Ashish; Selman, Bart. Embed and Project: Dis- crete Sampling with Universal Hashing. Proceedings of Advances in Neural Information Pro- cessing Systems 26: 27th Annual Conference on Neural Information Processing Systems (NIPS- 2013), LakeTahoe, Nevada, 2013.

57. Finger, Marcelo; LeBras, Ronan; Gomes, CarlaP.; Selman Bart. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisﬁability. Proceedings of the 16th International Conference of Theory and Applications of SatisﬁabilityTesting (SAT-2013), Helsinki, Finland, 2013.

58. Ermon, Stefano; Gomes, CarlaP.; Sabharwal, Ashish; Selman, Bart. Optimization withPar- ity Constraints: From Binary Codes to Discrete Integration. Proceedings of theTwenty-Ninth Conference on Uncertainty in Artiﬁcial Intelligence(UAI-2013) , Bellevue,WA., 2013.

59. Gomes, CarlaP.; Sellmann, Meinolf. Integration ofAI andORTechniques in Constraint Pro- gramming for Combinatorial Optimization Problems.Proceedings of the 10th International Con- ference, Lecture Notes in Computer Science 7874, Springer (CPAIOR 2013),Yorktown Heights, NY, 2013.

60.Kelling, Steve; Gerbracht, Jeff; Fink, Daniel; Lagoze, Carl;Wong,Weng-Keen;Yu, Jun; Damoulas, Theodoros; and Gomes, CarlaP. eBird:A Human/Computer Learning Network for Biodiversity Conservationand Research. Proceedings of the 24th Innovative Applications of Artiﬁcial Intel- ligence Conference (IAAI 2012),Toronto, Canada, 2012.

61. LeBras, Ronan; Gomes, CarlaP.; and Selman, Bart. From Streamlined Combinatorial Search to Efﬁcient Constructive Procedures. Proceedings of the 26th International Conference on Artiﬁ- cial Intelligence (AAAI-12),Toronto, Canada, 2012.

62. Conrad, Jon; Gomes, CarlaP.;van Hoeve,Willem-Jan; Sabharwal, Ashish; and Suter, Jordan F.Wildlife Corridors asa Connected Subgraph Problem, Journal of Environmental Economics and Management,Volume 63, 2012.

63. Ermon, Stefano; Gomes, Carla; Selman, Bart; and Vladimirsky, Alexander. Probabilistic Plan- ningWith Non-linear Utility Functions andWorst Case Guarantees. Proceedings of the 11th InternationalJoint Conference onAutonomous Agents and Multi-Agent Systems (AAMAS-12) , Valencia, Spain, 2012.

9 64. 64.Ermon, Ermon, Stef Stefano;ano; LeBra LeBras,s, Ronan; Ronan; Gomes, Gomes, Carla;Carla; Selman, Bart;Bart; and and vanvan Dover, Dover Bruce., Bruce. SMT-SMT Aided- CombinatorialAided Combinatorial Materials Materials Discovery. Disco Proceedingsvery. Proceedings of the 15th of Internationalthe 15th International Conference Confer on Theoryence onand Theory and Applications of SatisﬁabilityTesting (SAT-12) Applications of Satisfiability Testing (SAT-12), 2012. , 2012. 65.65. Ermon, Ermon, Stef Stefano;ano; Gomes, Gomes, Carla; Carla; andand Selman,Selman, Bart. UniformUniform Solution Solution Sampling Sampl ingUsing Using a Constrainta Con- Solverstraint as Solv an Oracle.er as an Proceedings Oracle. Pr ofoceedings the 28th Conferenceof the 28th onConfer Uncertaintyence on in Uncertainty Artificial Intelligence in Artiﬁcial (UAI Intelligence(UAI 2012) , 2012. 2012), 2012. 66. 66.Ermon, Ermon, Stef Stefano;ano; Xue, Xue,Y eYexiang;xiang; Gomes, Gomes, Carla; Carla; and and Selman, Selman, Bart. Bart. LearningLearning Policies forfor Battery Battery UsageUsage Optimization Optimization in inElectric Electric Vehicles.Vehicles. ProceedingsProceedings of the of Europeanthe European Conference Confer enceon Machine on Mac hine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD- Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD- 12), 2012. 12), 2012.

67.Teose, Maarika; Ahmadizadeh, Kiyan; OMahony, Eoin; Smith, Rebecca L.; Lu, Zhao; Ellner, StephenP.; Gomes, CarlaP.; and Grohn, Yrjo. Embedding system dynamics in agent based models for complex adaptive systems. Proceedings of the 22nd InternationalJoint Conference on Artiﬁcial Intelligence (IJCAI-2011), Barcelona, Spain, 2011.

68. 68.Lai, Lai, Katherine Katherine J.; J.; Gomes, Gomes, Carla CarlaP .;P.; Schw Schwartz,artz, Michael Michael K.;K.; McKelvey,McKelvey Kevin,Kevin S.; S.; Calkin, Calkin, David David E.; andE.; Montgomery,and Montgomery Claire, Claire A. TheA. Steiner The Steiner Multigraph Multigraph Problem: Problem: Wildlife WCorridorildlife DesignCorridor for Design Multiple for Proceedings of the 25th AAAI Conference on Artiﬁcial Intelligence (AAAI-11) Species.Multiple Proceedings Species. of the 25th AAAI Conference on Artificial Intelligence (AAAI-11), San Francisco,, San Francisco, CA, 2011. CA, 2011. 69. LeBras, Ronan; Damoulas, Theodoros; Gregoire, John M.; Sabharwal, Ashish; Gomes, CarlaP.; andvan Dover,R. Bruce. Constraint Reasoning andKernel Clustering forPattern Decomposi- tion with Scaling. Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, Italy, 2011.

70. Dilkina, Bistra N.; Lai, Katherine J.; and Gomes, CarlaP. Upgrading ShortestPaths in Networks. Proceedings of the 8th International Conference on Integration ofAI andORTechniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011), Berlin, Germany, 2011.

71. Gomes, CarlaP. Computational Sustainability. Proceedings of the 10th International Conference on Intelligent Data Analysis (IDA 2011), Porto, Portugal, 2011.

72. Ermon, Stefano; Gomes, CarlaP.; Sabharwal, Ashish; and Selman, Bart. Accelerated Adaptive Markov Chain forPartition Function Computation. Proceedings of the 25th Annual Conference on Neural Information Processing Systems (NIPS-11), Grenada, Spain, 2011.

73. Anstegui, Carlos; Bjar, Ramn; Fernndez, Csar; Gomes, CarlaP.; and Mateu, Carles. Generating highly balanced sudoku problems as hard problems. Journal of Heuristics,Volume 17, 2011.

74. Ermon, Stefano; Gomes, Carla; Sabharwal, Ashish; and Selman, Bart. Accelerated Adaptive Markov Chain forPartition Function Computation. Proceedings of the 25th Annual Conference on Neural Information Processing Systems (NIPS-11), Grenada, Spain, 2011.

10 75. Ermon, Stefano; Gomes, Carla; and Selman Bart.A message passing approach to multiagent gaussian inference for dynamic processes. Proceedings of the 10th Intl.Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-11),Taipei,Taiwan, 2011.

76. Ermon, Stefano; Conrad, Jon; Gomes, Carla; and Selman Bart. Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. Proceedings of the 20th InternationalJoint Con- ference on Artiﬁcial Intelligence (IJCAI-11), Barcelona, Spain, 2011.

77. Ermon, Stefano; Gomes, Carla; and Selman Bart.A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. Proceedings of the 20th InternationalJoint Conference on Artiﬁcial Intelligence (IJCAI-11), Barcelona, Spain, 2011.

78. Dilkina, Bistra and Gomes, Carla. Solving Connected Subgraph Problems inWildlife Conser- vation. Proceedings of the 7th International Conference on Integration ofAI andORTechniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR’10), 2010.

79. Ermon, Stefano; Gomes, Carla; and Selman Bart. Computing the Density of States of Boolean Formulas. Proceedings 16th International Conference on Principles and Practice of Constraint Programming (CP 2010), 2010. (Best student paperaward.)

80. Ermon, Stefano; Conrad, Jon; Gomes, Carla; and Selman, Bart. Playing Games Against Nature: Optimal Policies for Renewable Resource Allocation, Proceedings of the 26th Conference on Uncertainty in Artiﬁcial Intelligence,UAI 2010 , 2010.

81.81. Ermon, Ermon, Stef Stefano;ano; Gomes, Gomes, Carla; Carla; and and Selman Selman Bart. Bart. CollaboraCollaborativetive multiagent multiagent Gaussian Gaussian inference inference in a dynamicina dynamic environment environment using belief using propagation. belief propag Proc.ation. 9th Intl.Proc. Joint 9th Conference Intl.Joint Conferon Autonomousence onA Agentsu- tonomous Agents and Multi-Agent Systems (AAMAS-10),Toronto, Canada, 2010. and Multi-Agent Systems (AAMAS-10), Toronto, Canada, 2010. 82. Ahmadizadeh, Kiyan; Dilkina, Bistra; Gomes, Carla; and Sabharwal, Ashish. An empirical study of optimization for maximizing diffusion in networks. Proceedings 16th International Conference on Principles and Practice of Constraint Programming (CP 2010), 2010.

83. Damoulas,Theo; Henry, Sam;Farnsworth, Andrew; Lanzone; Michel; and Gomes; Carla. Bayesian Classiﬁcation of Flight Calls witha novel DynamicTimeWarpingKernel. Proceedings 9th In- ternational Conference on Machine Learning and Applications (ICMLA 2010), 2010.

84. Gomes, Carla. Challenges forCPAIOR in Computational Sustainability. In Proceedings of the 7th International Conference on Integration ofAI andORTechniques in Constraint Pro- gramming for Combinatorial Optimization Problems (CP-AI-OR’10), 2010. (Writtenversion of invited plenary talk.)

85. Sheldon, Daniel; Dilkina, Bistra; Elmachtoub, Adam; Finseth, Ryan; Sabharwal, Ashish; Con- rad, Jon; Gomes, Carla; Shmoys, David; Allen,Will; Amundsen, Ole;Vaughan.William. Maximizing Spread of Cascades Using Network Design. Proceedings of the 26th Conference on Uncertainty in Artiﬁcial Intelligence,UAI 2010 , 2010.

11 86. Ansotegui, Carlos; Bejar, Ramon, Fernandez, Cesar; Gomes, Carla; Mateu; Carlos. Generating Highly Balanced Sudoku Problems as Hard Problems. Journal of Heuristics,Volume 16, 2010. 87. Gomes, Carla. Computational Sustainability. The Bridge, National Academy of Engineering, Volume 39, Number 4,Winter 2009. (Invited article.) 88. Carvalho, Alda; Crato, Nuno; Gomes, Carla.A generative power-law search tree model. Com- puter and Operations Research,Volume 36, 2376–2386, 2009. 89. Guo,Yunsong and Gomes, Carla. Learning Optimal Subsets with Implicit User Preferences. Proceedings of the 21st InternationalJoint Conference on Artificial Intelligence (IJCAI-09) , 2009. 90. Gomes, Carla. Challenges for Constraint Reasoning and Optimization in Computational Sus- tainability. Proceedings 15th International Conference on Principles and Practice of Constraint Programming (CP 2009), 2009. (Extended abstract of invited plenary talk.) 91. Guo,Yunsong and Gomes, Carla. Ranking structured documents:a large margin based approach for patent prior art search. Proceedings of the 21st InternationalJoint Conference on Artificial Intelligence (IJCAI-09), 2009. 92. Kroc, Lucas; Sabharwal, Ashish; Selman, Bart; and Gomes, Carla. Integrating Systematic and Local SearchParadigms. Proceedings of the 21st InternationalJoint Conference on Artificial Intelligence (IJCAI-09), 2009. 93. Dilkina, Bistra; Gomes, Carla; Sabharwal, Ashish. Backdoors in the Context of Learning. Pro- ceedings of the 12th International Conference on Theory and Applications of SatisfiabilityTest- ing (SAT09), 2009. 94. Dilkina, Bistra; Gomes, Carla; Malitski,Yuri; Sabharwal, Ashish; and Sellmann, Meinolf. Backdoors to Combinatorial Optimization: Feasibility and Optimality. In Proceedings of the 6th International Conference on Integration ofAI andORTechniques in Constraint Program- ming for Combinatorial Optimization Problems (CP-AI-OR’09), 2009. 95. Hoffmann, Jorg; Gomes, Carla; and Selman, Bart. Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs inSAT-based Planning, Logical Methods in Computer Science, Volume3 (1-6), 2008. 96. Gomes, Carla;van Hoeve,Willem; Sabharwal, Ashish. Connections in Networks:A Hybrid Approach. In Proceedings of the 5th International Conference on Integration ofAI andORTech- niques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR’08), 2008. 97. Gomes, Carla and Selman, Bart. The Science of Constraints. Constraint Programming Letters, Volume 1, 15–20, 2007. 98.van Es, Harold; Gomes, Carla; Sellmann, Meinolf; andvan Es Cindy. Spatially-Balanced Com- plete Block Designs for Field Experiments. GeodermaJournal ,Volume 140, 346–352, 2007.

12 99. Bejar, Ramon; Cabiscol, Alba; Fernandez, Cesar; Manya, Felip; and Gomes, Carla. Regular- SAT:A Many-Valued Approach for Solving Combinatorial Problems. Discrete Applied Mathe- matics, Elsevier,Volume 155 (12), 1613–1626, 2007. 100. Conrad, Jon; Gomes, Carla;van Hoeve,Willem Jan; Sabharwal, Ashish; Suter, Jordan. Con- nections in Networks: Hardness of FeasibilityVersus Optimality. In Proceedings of the 4th International Conference on Integration ofAI andORTechniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR’07), 2007. 101. Dilkina, Bistra; Gomes, Carla; Sabharwal. The Impact of NetworkTopology on Pure Nash Equilibria in Graphical Games. Proceedings of the 22nd National Conference on Artificial In- telligence (AAAI-07), 2007. 102. Dilkina, Bistra; Gomes, Carla; Sabharwal, Ashish.Tradeoffs in the Complexity of Backdoor Detection. Proceedings 13th International Conference on Principles and Practice of Constraint Programming (CP 2007), 2007. 103. Gomes, Carla;van Hoeve,Willem; Sabharwal, Ashish; Selman, Bart. Counting CSP Solutions Using Generalized XOR Constraints. Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI-07), 104. Gomes, Carla; Hoffmann, Joerg; Sabharwal, Ashish; Selman, Bart. From Sampling to Model Counting. Proceedings of the 20th InternationalJoint Conference on Artificial Intelligence (IJCAI-07), 2007. 105. Hoffmann, Jorg; Gomes, Carla; Selman, Bart; Kautz, Henry.SAT Encodings of State-Space Reachability Problems in Numeric Domains. Proceedings of the 20th InternationalJoint Con- ference on Artificial Intelligence (IJCAI-07), 2007. 106. Gomes, Carla; Hoffmann, Jorg; Sabharwal, Ashish; and Selman, Bart. Short XORs for Model Counting: From Theory to Practice. Proceedings of the 9th International Conference onTheory and Applications of SatisfiabilityTesting (SAT 07), 2007. 107.van Hoeve,Willem; Gomes, Carla; Selman, Bart; Lombardi, Michele. Optimal Multi-Agent Scheduling with Constraint Programming. Proceedings of 22nd. National Conference on Artifi- cial Intelligence, AAAI07. 2007. 108. Sabharwal, Ashish; Anstegui, Carlos; Gomes, CarlaP.; Hart, JustinW.; and Selman, Bart. QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. Proceedings of the 9th International Conference on Theory and Applications of SatisfiabilityTesting (SAT 06), 2006 109. Gomes, CarlaP.; Sabharwal, Ashish; and Selman, Bart. Model Counting:A New Strategy for Obtaining Good Bounds. Proceedings of 21st National Conference on Artificial Intelligence (AAAI-06), 2006. Best paperAward. 110. Gomes, CarlaP.; Sabharwal, Ashish; and Selman, Bart. Near-Uniform Sampling of Combina- torial Spaces Using XOR Constraints. Proceedings of the 20th Annual Conference on Neural Information Processing Systems (NIPS-06), 2006.

13 111. Hoffmann, Jorg; Gomes, Carla; and Selman, Bart. Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in Sat-Based Planning. Proceedings of International Conference onAutomated Planning and Scheduling , UK, 2006.

112. Ansotegui, Carlos; Bejar, Ramon; Fernandez, Cesar; Gomes, CarlaP.; and Mateu, Carles. The Impact of Balancing on Problem Hardness ina Highly Structured Domain. Proceedings of 21st National Conference on Artiﬁcial Intelligence (AAAI-06), 2006.

113. Gomes, CarlaP.;van Hoeve,Willem-Jan; and Leahu, Lucian. The Power of Semideﬁnite Pro- gramming Relaxations for MAX-SAT. Proceedings of 3rd International Conference on Inte- gration ofAI andORTechniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR 2006), 2006.

114. Gomes, Carla and Selman, Bart. Can get satisfaction. Nature,Vol. 435 June 9, 2005, 751–752. (Invited Perspective.)

115. Gomes, Carla; Fernandez, Cesar; Selman, Bart; Bessiere,´ C. StatisticalRegimes Across Con- strainedness Regions. Constraints, Vol. 10 (4), 2005, 317—337.

116. Leahu, Lucian and Gomes, CarlaP.LP asa Global Search Heuristic Across Different Con- strainedness Regions. Proceedings 11th International Conference on Principles and Practice of Constraint Programming (CP 2005), 2005.

117. Ansote´ gui, Carlos; Gomes, Carla; Selman, Bart. The Achilles’ Heel of QBF. Proceedings of the Twentieth National Conference on Artiﬁcial Intelligence (AAAI-05), 2005.

118. Smith, Casey; Gomes, Carla; Fernandez, Cesar. Streamlining Local Search for Spatially Bal- anced Latin Squares. Proceedings of the 19th InternationalJoint Conference on Artiﬁcial Intel- ligence (IJCAI-05), 2005.

119. Gomes, Carla; Regis, Rommel; and Shmoys, David. An Improved Approximation Algorithm for thePartial Latin Squares Extension Problem. Operations Research Letters, 2004, 32 (5), 479–484.

120. Bejar R.; Domshlak C.; Fernandez C.; Gomes C.; Krishnamachariand B.; Selman B.; andValls M. Sensor networks and distributed CSP: Communication, Computation and Complexity. Arti- ﬁcial IntelligenceJournal .Vol. 161(1/2), 2005, 117-147.

121. Gomes, Carla and Shmoys, David. Approximations and Randomization to Boost CSPTech- niques. Annals of Operations Research.Vol 130 (1), Aug. 2004, 117—141.

122. Gomes, Carla; Fernandez, Cesar; Selman, Bart; Bessiere,´ C. StatisticalRegimes Across Con- strainedness Regions. Proceedings of 10th Intl. Conference on the Principles and Practice of Constraint Programming (CP-2004), Lecture Notes in Computer Science, Springer-Verlag, 2004, 32–46. (Distinguished paperaward.)

14 123. Gomes, Carla and Sellmann, Meinolf. Streamlined Constraint Reasoning. Proceedings of 10th Intl. Conference on the Principles and Practice of Constraint Programming (CP-2004), Lecture Notes in Computer Science, Springer-Verlag, 2004, 274–289.

124. Gomes, Carla; Sellmann, Meinolf;van Es Cindy andvan Es, Harold. The Challenge of Gener- ating Spatially Balanced Scientiﬁc Experiment Designs. In Proceedings of the 6th International Symposium on Integration ofAI andORTechniques in Constraint Programming for Combina- torial Optimization Problems (CP-AI-OR’04), 2004.

125. Leahu, Lucian and Gomes, Carla. Quality of LP-based Approximations for Highly Combinato- rial Problems Proceedings of 10th Intl. Conference on the Principles and Practice of Constraint Programming (CP-2004), Lecture Notes in Computer Science, Springer-Verlag, 2004, 377–392.

126.R egin,´ Jean Charles and Gomes Carla. The Cardinality MatrixConstraint. Proceedings of 10th Intl. Conference on the Principles and Practice of Constraint Programming (CP-2004), Lecture Notes in Computer Science, Springer-Verlag, 2004, 572-587.

127. Bessiere,´ C.; Fernandez C.; Gomes C.; andValls, M.,Pareto-like Distributions in Random Bi- nary CSP.Frontiers in Artiﬁcial Intelligence and Applications— Artiﬁcial Intelligence Research and Development, IOS Press,Vol 100 ISSN 0922-6389, 451-461, 2003.

128.Williams, R.; Gomes, C.; and SelmanB. BackdoorsToTypical Case Complexity, Proceedings of the 18th InternationalJoint Conference on Artiﬁcial Intelligence (IJCAI03) , 2003, 1173–1178.

129.Williams, R.; Gomes, C.; and Selman B., On the connections between backdoors, restarts, and heavy-tails in combinatorial search, Proceedings of the Sixth International Conference on The- ory and Applications of SatisﬁabilityTesting (SAT03), 2003.

130. Gomes, Carla; Regis, Rommel; and Shmoys, David. An Improved Approximation Algorithm for thePartial Latin Square Extension Problem. Proceedings of theACM-SIAM Symposium on Discrete Algorithms (SODA-2003), Baltimore, 2003.

131. Gomes, Carla and Selman, Bart. Satisﬁed with Physics. Science,Vol. 297, Aug. 2, 2002, 784–785. (Invited Perspective.)

132. Gomes, Carla and Shmoys, David. The Promise ofLP to Boost CSPTechniques for Combi- natorial Problems. In Proceedings of the 4th International Symposium on Integration ofAI and ORTechniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI- OR’02), 291-305, Le Croisic, France, 291-305, March 2002.

133. Fernandez, Cesar; Bejar, Ramon; Krishnamachari, Bhaskar; and Gomes, Carla. Communication and Computation in DisCSP Algorithms Proceedings of 8th Intl. Conference on the Principles and Practice of Constraint Programming (CP-2002), 2002, 664–679.

134. Kautz, Henry; Horvitz, Eric; Ruan,Yongshao; Gomes, Carla, and Selman, Bart. Dynamic Restart Policies. Proceedings of the Eighteenth National Conference on Artiﬁcial Intelligence (AAAI-02), Edmonton, Alberta, Canada, 2002, 674–682.

15 135. Bejar, Ramon; Cabiscol, Alba; Fernandez, Cesar; Manya, Felip; and Gomes, Carla. Extending the Reach ofSAT with Many-Valued Logics. ElectronicNotes in Discrete Mathematics ,Vol. 9, Elsevier Science Publ., 2001 392-407. 136. Gomes, Carla. On the Intersection of Artificial Intelligence and Operations Research. Journal of Knowledge Engineering Review, Cambridge Press,Vol. 16 1, 2001, 1–6. 137. Gomes, Carla and Selman, Bart. Algorithm Portfolios. Artificial IntelligenceJournal ,Vol. 126, 2001, 43–62. 138. Bejar, Ramon; Cabiscol, Alba; Fernandez, Cesar; Manya, Felip; and Gomes, Carla. Capturing the Structure of Satisfiability. Proceedings of 7th Intl. Conference on the Principles and Practice of Constraint Programming (CP-2001), 2001, 137–153. 139. Chen, Hubie; Gomes, Carla; and Selman, Bart.Formal Models of Heavy-tailed Behavior in Combinatorial Search. Proceedings of 7th Intl. Conference on the Principles and Practice of Constraint Programming (CP-2001), 2001, 408–422. 140. Horvitz, Eric; Ruan,Yonshao; Gomes, Carla; Kautz, Henry; Selman, Bart; and Chickering, Mark.A Bayesian Approach toTackling Hard Computational Problems. Proceedings 17th Conf. on Uncertainty and Artificial Intelligence(UAI-2001) , Seattle, 2001. 141. Kautz, Henry; Ruan,Yongshao; Achlioptas, Dimitris; Gomes, Carla; Selman, Bart; and Stickel, Mark. Balancing and Filtering in Structured Satisfiable Problems. Proceedings of the 17th International Conference on Artificial Intelligence (IJCAI-2001), Seattle, 2001. 142. Meier, Andreas; Gomes, Carla; and Melis, Erica. An Application of Randomization and Restarts in Proof Planning. Proceedings of the 6th European Conference on Planning (ECP-01),Toledo, Spain, 2001. 143. Ansotegui,´ Carlos; Bejar, Ramon; Cabiscol, Alba; Fernandez, Cesar; Manya, Felip; and Gomes, Carla. Generating Hard Feasible Schedules. Proceedings of the 6th European Conference on Planning (ECP-01),Toledo, Spain, 2001. 144. Meier, Andreas; Gomes, Carla; and Melis, Erica. Extending the Reach of Proof Planning by Randomization and RestartTechniques. Future Directions inAutomated Reasoning, IJCAR , Siena, Italy, 2001. 145. Gomes, Carla; Selman, Bart; Crato, Nuno; and Kautz, Henry. Heavy-Tailed Phenomena in Sat- isfiability and Constraint Satisfaction Problems. Journal ofAutomated Reasoning ,Vol. 24(1/2), 2000, 67-100. 146. Gomes, Carla and Selman, Bart. Hybrid Search Strategies for Heterogeneous Search Spaces. InternationalJournal on Artificial IntelligenceTools ,Vol. 9(1), 2000, 45–57. 147. Gomes, Carla. Artificial Intelligence and Operations Research: Challenges and Opportunities in Planning and Scheduling. Journal of Knowledge Engineering Review, Cambridge Press,Vol. 15, 1, 2000, 1–10.

16 148. Achlioptas, Dimitris; Gomes, Carla; Kautz, Henry; and Selman, Bart. Generating Satisﬁable Instances. Proceedings of the Seventeenth National Conference on Artiﬁcial Intelligence (AAAI- 00), Austin, TX, 2000.

149. Gomes, Carla. Structure and Randomization: Common Themes inAI and OR. Proceedings of the Seventeenth National Conference on Artiﬁcial Intelligence (AAAI-00), Austin, TX, 2000. (Writtenversion of invited plenary talk.)

150. Gomes, Carla;Wicker, Stephen; and Xie, Xi.A Connection Between PhaseTransitions in Complexity and Good Decodings. Proceedings of the International Symposium on Information Theory and Its Applications, Honolulu, Hawaii, November 2000.

151. Gomes, CarlaP. and Selman, Bart. Heavy-tailed Distributions in Computational Methods. Pro- ceedings Application of HeavyTailed Distribution in Economics, Engineering and Statistics (TAILS-99),Washington, DC, 1999.

152. Gomes, CarlaP. and Selman, Bart. Search Strategies for Hybrid Search Spaces. Proceedings of the Eleventh International Conference onTools with Artiﬁcial Intelligence (ICTAI-99), 1999.

153. Gomes, Carla and Selman, Bart. On the Fine Structure of Large Search Spaces. Proceedings of the Eleventh International Conference onTools with Artiﬁcial Intelligence (ICTAI-99), 1999.

154. Gomes, CarlaP.; Selman, Bart; and Kautz, Henry. Boosting Combinatorial Search Through Randomization. Proceedings of theFifteenth National Conference on Artiﬁcial Intelligence (AAAI-98), Madison, WI, 1998.

155. Gomes, Carla; McAloon,Ken; Selman, Bart; andTretkoff, Carol. Randomization in Backtrack Search: Exploiting Heavy-Tailed Proﬁles for Solving Hard Scheduling Problems. Proceedings of theFourth International Conference on Artiﬁcial Intelligence Planning Systems (AIPS-98) , Pittsburgh,PA, 1998.

156. Gomes, Carla and Selman, Bart. Problem Structure in the Presence of Perturbations. Proceed- ings of theFourteenth National Conference on Artiﬁcial Intelligence (AAAI-97) , New Provi- dence, RI, 1997.

157. Gomes, Carla and Selman, Bart. Algorithm Portfolio Design: Theory vs. Practice. Proceedings of the 13th Conference on Uncertainty in Artiﬁcial Intelligence(UAI-97) , New Providence, RI, 1997.

158. Gomes, Carla; Selman, Bart; and Crato, Nuno. Heavy-Tailed Probability Distributions in Com- binatorial Search. Proceedings of 4th Intl. Conference on the Principles and Practice of Con- straint Programming (CP-97), Lecture Notes in Computer Science,Vol. 1330, Springer, 1997, 408–422.

159. Gomes, Carla and Hsu, Julie. An Assignment Based Algorithm for Resource Allocation. Sigart Bulletin, Assoc. for Comput. Machin.,7 (1), 1996, 2–8.

17 160. Gomes, Carla; Smith, Douglas; andWestfold Stephen. Synthesis of Schedulers for Planned Shutdowns of Power Plants. Proceedings of the Eleventh Knowledge-Based Software Engineer- ing Conference, IEEE, Computer Society Press, 1996

161. Alguire, Karen and Gomes, Carla.Technology for Planning and Scheduling under Complex Constraints. Proceedings of the International Society for Optical Engineering. Boston, Mas- sachusetts, 1996.

162. Alguire, Karen and Gomes, Carla.ROMAN: An Application of AdvancedTechnology to Out- age Management, Proceedings of the Sixth Annual Dual-UseTechnologies& Applications Con- ference, IEEE Computer Society Press, 1996.

163. Gomes, Carla. Derivation of Correct Programs for Planning. Proceedings of theFifth Annual Dual-UseTechnologies& Applications Conference , IEEE Computer Society Press, 1995.

164. Roberts, N.;Kudla, A.; and Gomes,C. Making “Dual-Use” ofFormal Methods. Proceedings of theFourth Annual Dual-UseTechnologies& ApplicationsConference , 67–77. IEEEComputer Society Press, 1994.

165. Gomes, Carla;Tate, Austin; andLyn, Thomas.A Distributed Scheduling Framework. Proceed- ings of the 6th International Conference onTools with Artiﬁcial Intelligence, 1994.

166. Gomes, Carla and Beck, Howard. Synchronous and AsynchronousFactory Scheduling. Journal of the Singapore Computer Society,5 (2), 1992.

Invited Survey Articles and Book Chapters

167. Xue,Yexiang and Gomes, CarlaP. Engaging Citizen Scientists in Data Collection for Conser- vation. In Artiﬁcial Intelligence and Conservation,F.Fang,M.Tambe,B. Dilkina, andA.J. Plumptre (Eds.), Cambridge University Press, 2019. (Invited chapter.)

168. Gomes, Carla; Kautz, Henry; Sabharwal, Ashish; and Selman, Bart. Satisﬁability Solvers. In Handbook of Knowledge Representation, in the seriesFoundations of Artiﬁcial Intelligence,F. van Harmelen,V. Lifschitz, andB. Porter (Eds.), Elsevier. 2008. (Invited chapter.)

169. Gomes, Carla and Sabharwal, Ashish. Exploiting RuntimeVariation in Complete Solvers. In Handbook of Satisﬁability,A. Biere,M. Heule,H.van Maaren, andT.Walsh (Eds.), IOS Press, 2009. (Invited chapter.)

170. Gomes, Carla; Sabharwal, Ashish; and Selman, Bart. Model Counting. In Handbook of Sat- isﬁability,A. Biere,M. Heule,H.van Maaren, andT.Walsh (Eds.), IOS Press, 2009. (Invited chapter.)

18 171. Lesser,W. andC. Gomes, 2007. Network Analysis for InterpretingPatent Date:A Preliminary, Visual Approach. In Agricultural Biotechnology and Intellectual Property Seeds of Change,J. Kesan (Ed.). Cambridge, MA: CABI. 2007.

172. Gomes, Carla andWalsh,Toby. Randomness and Structure. In Handbook of Constraint Pro- gramming,P.van Beek,F. Rossi, andT.Walsh (Eds.), Elsevier, 2006. (Invited chapter.)

173. Gomes, Carla andWilliams, Ryan. Approximation Algorithms. In Introduction to Optimization, Decision Support and Search Methodologies, Burke andKendall (Eds.), Kluwer, 2005. (Invited survey.)

174. Gomes, Carla. Complete RandomizedBacktrack Search. In Constraint and Integer Program- ming:Towarda Uniﬁed Methodology , Milano, M., (ed.), Kluwer, 2003, 233–283. (Invited survey.)

175. Selman, Bart and Gomes, Carla. Hill Climbing Search. In Nature Encyclopedia of Cognition, Nature Publ., 2002. (Invited article.)

176. Gomes, Carla; Xie, Xi; andWicker, Stephen. Complexity, PhaseTransitions, and the Sequential Decoding of Convolutional Codes. In ForneyFestschrift, Kluwer, 2000. (Invited article.)

177. Gomes, Carla; Selman Bart; Crato, Nuno; and Kautz, Henry. Heavy-tailed phenomena in satis- ﬁability and constraint satisfaction problems. In SAT-2000, Highlights of Satisﬁability Research in theYear 2000 . Kluwer Academic Publishers, Holland, 2000. (Invited article.)

Edited Proceedings

178.Fox, Dieter and Gomes, Carla (Eds.). Proceedings of theTwenty-Third AAAI Conference on Artiﬁcial Intelligence (AAAI-08), Chicago, Illinois, 2008.

179. Biere, Armin and Gomes, Carla (Eds.). Proceedings of the Ninth Conference on Theory and Applications of SatisﬁabilityTesting (SAT 2006), Seattle,Washington, 2006.

Other Publications

180. Gomes, Carla; Hoeve,Willem; and Lucian Leahu. The Power of Semideﬁnite Programming Relaxations forSAT. Technical Report, IISI, Cornell, 2006.

181. Hoffmann, Joerg; Gomes, Carla; and Selman, Bart. Synthetic Planning Domains with Small Backdoors. Proceedings of theWorkshop on Constraint Propagation and Implementation at CP’05, Sitges, Spain, 2005.

19 182. Lesser,W.; andC. Gomes. Network AnalysisFor InterpretingPatent Data:A Preliminary, Visual Approach, inJ. Kasen (ed.) , 2005.

183.van Es,H; Gomes, C.; Sellmann, M.; andvan Es Cindy. Spatially-Balanced Designs:A Pro- posed Standard for Agronomic Experiments. What’s Cropping Up?A Newsletter for NewYork Field Crops& Soils, Vol. 15, (1), 2005, 1–4.

184. Gomes, Carla and Shmoys, David. Completing Quasigroups:A Structured Graph Coloring Problem. Proceedings Computational Symposium on Graph Coloring and Generalizations, 2002.

185. Gomes, Carla. Hybrid Compute Intensive Approaches for Combinatorial Optimization. Techni- cal Report, RL-TR-02-65, AFRL, Information Directorate, 2002.

186. Bejar, Ramon; Gomes, Carla; andVetsikas, Ioannis.Fair Allocations for theVirtualTransporta- tion Company Problem. Technical Report,DARPA-TASK meeting, Sante Fe, NM, 2001.

187. Bejar, Ramon; Krishnamachari, Bhaskar; Gomes, Carla; and Selman, Bart. Distributed Con- straint Satisfaction inaWireless SensorTracking System. Proceedings ofWorkshop on Dis- tributed Constraint Reasoning (CONS-2), IJCAI-2001, Seattle, 2001.

188. Meier, Andreas; Gomes, Carla; and Melis, Erica. Heavy-Tailed Behavior and Randomization in Proof Planning. Proceedings AAAI Symposium on Model-basedValidation of Intelligence , Stanford, CA, 2001.

189. Gomes, Carla. Artiﬁcial Intelligence and Operations Research: Challenges and Opportunities in Planning and Scheduling. Technical Report, RL-TR-00-57, AFRL, Information Directorate, 2000.

190. Gomes, C.; Smith D.; andWestfold,S.ATransformational Approach Applied to Outage Man- agement of Nuclear Power Plants. Proceedings of 13th HICC, IEEE Computer Society, 1997.

191. Gomes, Carla and Selman, Bart. Practical Aspects of Algorithm Portfolio Design, Proceedings of the 3rd ILOG Conference,Paris, France, 1997.

192. Crato, Nuno; Gomes, Carla; and Selman, Bart. Non-Gausssian Stable Distributions, Proceed- ings of CEMAPRE, 1997.

193. Gomes, Carla. Exploiting Stochasticityin Systematic Search: Results ona Highly Structured Domain. Technical Report, RL-TR-97-167, Rome Laboratory, 1997.

194. Gomes, Carla. Automatic Scheduling of Outages of Nuclear Power Plants withTimeWindows. Technical Report, RL-TR-96-157, Rome Laboratory, 1996.

195. Gomes, Carla. O-Plan2 vs. Sipe-2—A General Comparison. Technical Report, RL-TR-94-96, Rome Laboratory, 1996.

20 196. Gomes, Carla. Planning and Scheduling of Nuclear Power Plant Outages. Proceedings of the First InternationalWorkshop ofAI and OR. Timberline, Oregon, 1995.

197. Gomes, Carla. Planning in KIDS. Technical Report, RL-TR-95-205, Rome Laboratory, 1995.

198. Gomes, Carla and Hsu, Julie. An Assignment Based Algorithm. Proceedings of theWorkshop on Scheduling at the Conference onTools with Artiﬁcial Intelligence, New Orleans, Louisiana, 1994.

199. Gomes, Carla. and Alguire, Karen. Looking at O-PLAN2 and SIPE2 through Missionaries and Cannibals. Proceedings of the ARPA-RL Planning InitiativeWorkshop. Arizona, 1994.

200. Gomes, Carla. Achieving Global Coherence by Exploiting Conﬂict:A Distributed Framework for Job Shop Scheduling. Ph.D. Thesis, University of Edinburgh, 1993.

201. Gomes, Carla. Achieving Global Coherence by Exploiting Conﬂict. Proceedings of the 10th UK SIG Planning, Cambridge, 1991.

202. Gomes, Carla, and Almeida,Teresa.Pairing Generation—A GraphPartitioning Approach toa Short Haul Fleet Problem. Proceedings ofAGIFORS , Copenhagen, 1988.

203. Gomes, Carla.Pairing Generation—A GraphPartitioning Approach toa Short Haul Fleet Problem. Master’s Thesis, University of Lisbon, 1987.

InvitedTalks, Survey Lectures,Tutorials, and Research Brieﬁngs

InvitedTalks

1. Invited talk, NeurIPS JointWorkshop onAI for Social Good,Vancouver, Canada, 2019.

2. Invited talk, NeurIPSWorkshop onTackling Climate Change with Machine Learning,Vancou- ver, Canada, 2019.

3. Distinguished Lecture, NSF CISE, Alexandria,VA, 2019.

4. Talk, Defense Materials Manufacturing and its Infrastructure (DMMI)Workshop on: Data An- alytics for the Materials Community,Washington, DC, 2019.

5. Keynote speaker, SAT, Lisboa, Portugal, 2019.

6. Talk, Michigan Institute for Computational Discovery and Engineering (MICDE) Symposium, Ann Arbor, MI, 2019.

7. Keynote speaker, ICAART, Prague, Czech Republic, 2019.

21 8. Webinar, Materials Research Society (MRS), Machine Learning, AI, and Data-Driven Materials Development and Design, 2018.

9. Talk, Sci-Foo Camp, Google, 2018.

10. Invited talk, Eighth InternationalWorkshop on Statistical RelationalAI (StarAI-2018), IJCAI, 2018.

11. Talk, MURI kickoff meeting, AFOSR, Dayton, OH, Scientiﬁc Autonomous Reasoning Agent for Materials Discovery (SARA), 2018.

12. Colloquium, Computer Science Department, National University Singapore (NUS), 2018.

13. Invited talk, Artiﬁcial Intelligence for Materials DevelopmentForum, Materials Research Soci- ety (MRS), 2018.

14. Keynote speaker, AI*IA, Bari, Italy, 2017.

15. Keynote speaker, SustainIT, Sustainable Internet and ICT for Sustainability, Funchal, Portugal, 2017.

16. Invited talk, SCI Institute Distinguished Lecture Series, University of Utah Scientiﬁc Computing and Imaging Institute, Salt Lake City, Utah, Computational Sustainability, 2017.

17. Invited plenary speaker, MicrosoftFaculty Summit, Redmond,Washington, 2017.

18. Plenary panelist, MicrosoftFaculty Summit, Redmond,Washington, 2017.

19. Keynote speaker, Workshop Advanced Computing for Earth Sciences(ACES), Porto, Portugal, 2017.

20. Invited talk, Amazon DamsII Conference, Lima, Peru, 2017.

21. Panelist, Mechanism for Social Good, MIT, 2017.

22. Invited talk, AAAI symposium on ”AI for Social Good”, Stanford University, 2017.

23. Co-organizer and Invited talk, Accelerating Science:A Grand Challenge for AI, AAAIFall Symposium, Arlington,VA, Challenges forAI in Computational Sustainability, 2016.

24. Invited talk, Carnegie Mellon School of Computer Science,Challenges forAI in Computational Sustainability,AI Lunch and Seminar, 2016.

25. Invited talk in computational sustainability session,chair, and tutorial host, International Con- ference on Principles and Practice of Constraint Programming, CP2016,Toulouse, France, 2016.

26. Invited talk, World EconomicForum, remote to China, Harnessing artiﬁcial intelligence to target conservation efforts, 2016.

22 27. Keynote speaker,Computing Research: Addressing National Priorities and Societal Needs CCC Computing Community Consortium, Catalyst Series, Computational Sustainability: Computa- tional Methods for Sustainable Development, 2016.

28. InvitedTalk, University ofWashingtonAI Research seminar series, Challenges forAI in Com- putational Sustainability, 2016.

29. InvitedTalk, AAAS,Washington D.C.,Computational Sustainability: UDiscoverIt: Incentiviz- ing Citizen Science Discovery fora SustainableWorld, 2015.

30. Keynote Speaker,Third International Green Computing Conference (IGCC’12), SanJose, CA, 2012.

31. Keynote Speaker,National Academy of Engineering Regional Symposium,Towarda Sustain- able Future, Cornell University, Ithaca,NY, 2012.

32. Colloquium Speaker, University ofWaterloo Computer Science Colloquium on Computational Sustainability,Waterloo, Canada, 2012.

33. InvitedTalk, Radcliffe Institute for Advanced Study at Harvard University,Computational Sus- tainability: Computational Methods fora Sustainable Environment, Economy, and Society, 2011.

34. Colloquium Speaker,Department of Computer Science,Tufts University, Medford, MA, 2011.

35. InvitedTalk, Workshop on Information and CommunicationTechnologies for Sustainability (WICS), Salt Lake City,UT, 2011.

36. Keynote Speaker, NSF-IITD Indo-US PC3: Pervasive Communication and ComputingWork- shop (PC3). Computational Sustainability. New Delhi, India, 2011.

37. InvitedTalk, Carnegie Mellon University, Department of Computer Science, Sustainability and Computer Science Seminar. Computational Sustainability. Pittsburgh,PA, 2011.

38. Invited PlenaryTalk, National Symposium for the Advancement ofWomen in Science. The Future of Computer Science. Cambridge, MA, 2011.

39. Invited PlenaryTalk, NSF/CCCWorkshop onIT and Sustainability Enterprise: Role of Informa- tion Sciences in Sustainability (RISES). Computational Sustainability.Washington, DC, 2011.

40. Invited PlenaryTalk, 24th National Conference of the American Association for Artiﬁcial Intel- ligence (AAAI-10). Challenges forAI in Computational Sustainability. Atlanta, Georgia, 2010.

41. Invited PlenaryTalk, 7th International Conference on Integration ofAI andORTechniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR’10). Challenges forCPAIOR in Computational Sustainability. Bologna, Italy, 2010.

23 42. Invited PlenaryTechnicalTalk, Grace Hopper Celebration ofWomen in Computing, (Grace- Hopper’10). Computational Sustainability: Computational Methods fora Sustainable Future. Atlanta, Georgia, 2010.

43. Invited PlenaryTalk, National Academy of Engineering, U.S. Frontiers of Engineering, Com- putational Sustainability: Computational Methods fora Sustainable Future. Irvine, 2009.

44. Invited PlenaryTalk, 15th International Conference on the Principles and Practice of Constraint Programming (CP09). Computational Sustainability: Computational Methods fora Sustainable Future. 2009.

45. Keynote Speaker, Envisaworkshop on Intelligent Analysis of Environmental Data. Computa- tional Sustainability: Computational Methods fora Sustainable Future. Cork, Ireland, 2010.

46. Colloquium Speaker, University of Rochester, Department of Computer Science. Computational Sustainability: Computational Methods fora Sustainable Future. 2010.

47. Colloquium Speaker, CMU,Tepper Business School. Exploiting Structure and Randomization in Combinatorial Search. 2009.

48. InvitedTalk, NSFWorkshop on the Next Generation of Data Mining, (NGDM09). Computa- tional Sustainability: Computational Methods fora Sustainable Future. Baltimore, 2009.

49. InvitedTalk, Symposium on on Satisfiability Solvers and ProgramVerification (SSPV 2006). Beyond Satisfiability: Model Counting, Quantification, and Randomization, 2006.

50. Keynote Speaker, Ninth International Symposium on Artiﬁcial Intelligence and Mathematics. (AI& Math 2006). Adventures in Randomized Complete Methods, USA. 2006.

51. InvitedTalk, American Association for the Advancement of Science (AAAS). Heavy-tailed Phe- nomena in Computation. Symposiumentitled “The Pervasiveness of Extreme Phenomena in Science, Economics, and Engineering.” Annual Meeting,Washington D.C., 2005.

52. InvitedTalk, Inaugural Conference of the Northwestern Institute on Complex Systems (NICO). Heavy-Tailed Behavior in Computation, Northwestern University, 2004.

53. InvitedTalk, Institute for Mathematics and its Applications (IMA). Heavy-Tailed Behavior in Computation. Feb. 2004.

54. InvitedTalk, Institute for Pure and Applied Mathematics, UCLA. Randomization, Structure, and Complexity in Combinatorial Optimization. 2003.

55. Colloquium Speaker, University of Michigan,AI Colloquium. BridgingParadigms for Combi- natorial Search. 2003.

56. InvitedTalk, Institute for Pure and Applied Mathematics, UCLA. The Integration of Constraint Programming and Mathematical Programming Methods. 2002.

24 57. Colloquium Speaker, University of Lisbon. Heavy-Tailed Phenomenain Combinatorial Search. March 2001.

58. 58.Invited Invited Plenary PlenaryTalk, Talk,17th 17th National National Conference Conference of of the the American American AssociationAssociation forfor Artificial Artiﬁcia Intelligencel Intel- (AAAI-00).ligence (AAAI-00). Structure, Duality,Structure, and Duality Randomization, and Randomization — Common— Themes Common in AI Themes and OR. in August,AI and 2000.OR. August, 2000.

59. 59.Invited InvitedTalk, Talk,Stanford Stanford Univ ersityUniversity,, Broad BroadArea Colloquium. Area Colloquium. Structure, Structure, Duality, andDuality, Randomiza- and tion— Common Themes inAI and OR. Nov. 2000. Randomization — Common Themes in AI and OR. Nov. 2000. 60. InvitedTalk, SRI International. Structure, Duality, and Randomization— Common Themes in AI and OR. Nov. 2000.

61. InvitedTalk, NASA, Ames. Structure, Duality, and Randomization— Common Themes inAI and OR. Nov. 2000.

62. Invited SessionTalk, Institute for Operations Research and the Management Sciences (INFORMS). Algorithm Portfolio Approach for Solving Hard Combinatorial Problems. Cincinnati, OH, 1999.

63. Colloquium Speaker, University of Alberta, Colloquium, Dept. of Computer Science. Exploit- ing Heavy-Tail Phenomena to Speed-up Search. June, 1999.

64. InvitedTalk, SRI International. Heavy-Tail Phenomena in Combinatorial Search. April, 1998.

65. Colloquium Speaker, Syracuse University, Colloquium, Dept. of Computer Science. Exploiting Heavy-Tail Phenomena to Speed-up Search. Oct., 1998.

66. Invited SessionTalk, Institute for Operations Research and the Management Sciences (IN- FORMS). Practical Aspects of Randomized Algorithms. Montreal, Canada, April, 1998.

67. InvitedTalk, Information 2000: Intelligent Information for the Next MillenniumWorkshop. Inte- gration of Artiﬁcial Intelligence and Operations Research for Combinatorial Problems.Vernon, NY, Oct. 1997.

68. InviteTalk, Distinguished Lecture Series, AFRL/IF, Integration of Artiﬁcial Intelligence/Operations Research for Combinatorial Problems. Rome,NY, July 1997.

69. InvitedTalk, Electrical Power Research Institute— Members Conference. Synthesis of Nuclear Power Plant Outage Schedulers. San Diego, CA. Nov. 1995.

70. Colloquium Speaker, Louisiana State University, Colloquium.A Distributed Framework for Scheduling. Baton Rouge, LA, Nov. 1994.

71. InvitedTalk, Electrical Power Research Institute, Members Conference.Formal Methods Ap- plied to Schedule Generation. Orlando, Fl, Jul. 1994.

Invited Survey Lectures andTutorials

25 72. Scientiﬁc Use of Experimentation for Combinatorial Optimization. Master Class on Experimen- tal Study of Algorithms and Benchmarking.CPAIOR. Italy, 2010.

73. Complete Randomized Backtrack Search. American Association for Artiﬁcial Intelligence (AAAI), 2005.

74. Complete Randomized Backtrack Search. Conference on the Principles and Practice of Con- straint Programming, 2005.

75. Heuristic Algorithms: Theoryand Practice. Summer School on “Statistical Physics, Probabil- ity Theory, and Computational Complexity”, The International Centre for Theoretical Physics, Trieste, Italy, September 2002.

76. Randomization and Rational Decision Making in Optimization. Uncertainty in Artiﬁcial Intelli- gence(UAI), Edmonton, Alberta, Canada, 2002.

77. PhaseTransitions and Structure in Combinatorial Problems. American Association for Artiﬁcial Intelligence (AAAI), Edmonton, Canada, July, 2002.

78. Exploiting Structure and Randomization in Combinatorial Search. School on Optimization. CP- AI-OR 2002, Le Croisic, France, March 2002.

79. PhaseTransitions and Structure in Combinatorial Problems. International Joint Conference on Artiﬁcial Intelligence (IJCAI), Seattle,WA, 2001.

80. Integration of Artiﬁcial Intelligence and Operations ResearchTechniques. American association for Artiﬁcial Intelligence (AAAI), Madison, WI, 1999.

81. Integration of Artiﬁcial Intelligence and Operations ResearchTechniques. American Association for Artiﬁcial Intelligence (AAAI), Providence, RI, 1998.

Research Brieﬁngs

82. NSF, Research talk to the NSF Advisory Board, Computing and Information Science and Engi- neering (CISE), 2009. Computational Sustainability: Computational Methods fora Sustainable Future, 2009.

83. AFOSR, Research Brieﬁng to Dr.Lyle Schwartz (Director of AFOSR) and Dr. Herbert Carlson (Chief Scientist of AFOSR). Accomplishments and Future Directions for the Intelligent Infor- mation Systems Institute. June 2003.

84. AFRL/IF, Scientiﬁc Advisory Board.Vision and Directions for the Intelligent Information Sys- tems Institute. Nov. 2001.

26 85. AFRL/IF, DistinguishedVisitors, Research brieﬁng to Maj. Gen. Neilsen (Commander of AFRL), Rome,NY, February, 2001.

86. AFRL/IF, Scientiﬁc Advisory Board, Research brieﬁng, Rome,NY, Dec. 1999.

87. AFRL/IF, DistinguishedVisitors, Research brieﬁng to Dr. Donald Daniel and Dr. Cliff Rhoades (Director of Mathematics Geosciences Directorate of AFOSR), Rome,NY, September 1998.

88. AFRL/IF, DistinguishedVisitors, Research brieﬁng to Dr. Janni (Director of AFOSR), Rome, NY, August 1998.

89. AFRL/IF, DistinguishedVisitors, Research brieﬁng to Maj. Gen.Paul (Commander of AFRL), Rome,NY, July 1998.

90. AFRL/IF, DistinguishedVisitors, Research brieﬁng to Dr.Kenneth Harwell (Chief Scientist of AFRL) and Col. Jim Heald(Vice-Cmd of AFRL), Rome,NY, June 1998.

91. AFRL/IF, DistinguishedVisitors, Research brieﬁng to Dr. Hastings (Chief Scientist ofUS Air Force) Rome,NY, May, 1998.

92. AFRL/IF, DistinguishedVisitors, Research brieﬁng to Dr. Feigenbaum (Chief Scientist ofUS AirForce) Rome,NY, 1996.

Open Source, Demos, andWebApplications

1. Quasigroup Completion Problem and HeavyTailed Phenomena (Java Applet) http://www.cs.cornell.edu/gomes/QUASIdemo.html 2. Computational Methods for the Generation of Spatially Balanced Latin Squares for Experimen- tal Design. http://www.cs.cornell.edu/gomes/sbls.htm 3.Visualization of Portfolios of Algorithms (Java Applet) http://www.cs.cornell.edu/Info/People/gomes/visualBrelaz/visualBrelaz.html 4. Generator of Quasigroup Completion Problem and related problems(C code) http://www.cs.cornell.edu/gomes/lsencode-v1.1.tar.Z 5.Paramedic Crew Assignment (Java Applet) http://www.cs.cornell.edu/gomes/demos/demo/html/people.html 6.Visualization of Heavy-tailed Behavior (Java Applet) http://www.cs.cornell.edu/gomes/BalancedBranchApplet/ImbalancedApplet.htmlhttp://www.cs.cornell.edu/gomes/BalancedBranchApplet/ImbalancedApplet.html 7. Sudoku http://www.cs.cornell.edu/gomes/SUDOKU/sudoku.html 8. GrizzlyBearWildlife Corridor Problem Generator 9. Red-CockadedWoodpecker (endangered species) Problem Generator http://www.cs.cornell.edu/kiyan/rcw/generator.htm Teaching, Course Development, and Research Advising at Cornell

27 Courses developedrecently

CS/AEM/INFO-2770 —— ExcursionsExcursions in Computational in Computational Sustainability. Sustainability This. isThis an introductory is an introductory under- undergraduategraduate level course.level course. An important An important objecti objectiveve of the of coursethe course is to is sho to wshow how how the oftenthe often ill-deﬁned ill-defined notions of sustainability can be made operational through computational and mathematical models, and how notions of sustainability can be made operational through computational and mathematical models, and those models can improve policies to alter or modify unsustainable human behavior. The course in- howtroduces those the models students can improvetoa range policies of sustainabilit to alter ory modify notions, unsustainable concepts, andhuman challenges behavior. as The the coursey arise in introducesdifferent ﬁelds the students (ecology to, ageology range of, sustainabilityeconomics, and notions, other concepts, biological, and ph challengesysical, and as socialthey arise sciences). in differentSustainability fields (ecology,topics include geology, sustainable economics, dev andelopment, other biological, biodiversity physical, and wildlife and social conserv sciences).ation, poverty Sustainabilitymitigation, food topics security include, renesustainablewable resources,development, ener biodiversitygy, transportation, and wildlife and conservation, climate change. poverty In the mitigation,context of foodthese security, sustainability renewable topics, resources, the course energy, will introduce transportation, students and to climate mathematical change. andIn the computational modeling techniques, algorithms, and machine and statistical learning methods. context of these sustainability topics, the course will introduce students to mathematical and computational modeling techniques, algorithms, and machine and statistical learning methods. Other courses taught

CS/INFO-6702— Topics in Computational Sustainability. INFO7990— Distributed Seminar on Sustainability Science. CS-4700— Foundations of Artificial Intelligence. CS-4701— Artificial Intelligence Practicum. CS/INFO-3720— Explorations in Artificial Intelligence. CS-6730CS-6730 — —IntegrationIntegr ofation Artificial of Artificial Intelligence Intellig and Operationsence and Research Operations Techniques Resear forc CombinatorialhTechniques Problems. for Combinato- rial Problems. AEM-4120— Computational Methods for Management and Economics.

Studentresearch advising, Ph.D./ M.Eng./ Undergraduate:

Brendan Rappazzo (Ph.D., CS),Wenting Zhao (Ph.D.,CS), Di Chen (Ph.D., CS), Junwen Bai (Ph.D., CS), Dieqiao Feng (Ph.D., CS, with Bart Selman), Sebastian Ament (Ph.D., CS), Johan Bjorck (Ph.D., CS), Qinru Shi (Ph.D., Applied Math),Avralt-Od Purevjav (Ph.D., AEM; chair: Shanjun Li), Duhan Zhang (Ph.D., Mechanical Engineering; chair: Robert Shepherd),Yexiang Xue (Ph.D., CS, now Assis- tant Professor at Purdue University), Bistra Dilkina (Ph.D., CS, now Assistant Professor at University of Southern California), Stefano Ermon (Ph.D., CS, now Assistant Professor at Stanford), Kather- ine Lai (Ph.D., CS), Ronan Le Bras (Ph.D., CS, now researcher atPaul Allen Institute for Artiﬁcial Intelligence), MaarikaTeose (Ph.D., CAM),Yunsong Guo (Ph.D., CS, now at Pinterest), Ricardo Ar- guello (Ph.D., CRP, 2009, minor; chair: Nancy Chau), Zevi Azzaino (Ph.D.,CRP, minor; chair: Jon Conrad), Ryan Finseth (M.Sc., AEM, minor; chair: Jon Conrad),Yan Zhao (M.Sc., AEM),Keith Savageau (M.Sc., AEM, 2005), Sam Henry (M.Eng., research project Sp 2010), Lisa Cai (M.Eng., research project Sp 2005), Anan Kapur (M.Eng., research project Spring 2005),Keith Savageau (M.Sc., AEM, 2005), RyanWilliams (M.Eng.,research project Summer 2002), SeanN. Byrnes (M.Eng, research project 2001),VickyWeissman (M.Eng.,research project Summer 1999), Anmol Kabra (Un- dergrad, research projects), Tharun Sankar (Undergrad, research projects), Liane Longpre (Under- grad, research projects), Steven McDonald (Undergrad, research projects), Jordan Stout (Undergrad,

28 research projects), JohnTregurtha (Undergrad, research projects), GalenWeld (Undergrad, research projects),RunzheYang (Undergrad, Shanghai JiaoTong University),Yiwei Bai (Undergrad, Shang- hai JiaoTong University), LumingTang (Undergrad, Shanghai JiaoTong University), Jonathan Nino Cortes (Undergrad, Universidad de los Andes, Colombia), Noah Sorbello (Undergrad), Andrew Per- rault (Undergrad), Gregory Sadowski (UndergradFall 2009), Raoul Reit (Undergrad Spring 2010), Sarah Chung (UndergradFall 2002), Nir Etzion (UndergradFall 2001), Guilherme Luiz Karnas Hoe- fel (Undergraduate/ M.Eng.OR-Research project 2001/2002),Patrick Dowell (Undergrad, research project Summer 2001), Radha Narayan (Undergrad, research project Summer 2001), Mike Sweredoski (Undergrad, research project Summer 2002), Ben Kraus (Undergrad, research project Summer 2000).

Postdoctoral associates:

ShufengKong (2018-present); Roosevelt Garcia (2017-2018, with Alex Flecker, EEB); Guillaume Perez (2017-2018); XiaojianWu (2016-2017); Theodoros Damoulas (2009-2013, now Assistant Pro- fessor at UniversityofWarwick, UK); Carlos Ansotegui (2005, now Professor at Lleida University, Spain); Ramon Bejar (2003, now Professor at Lleida University, Spain); Ashish Sabharwal (2005- 2010, now atPaul Allen Institute for Artificial Intelligence);Willemvan Hoeve (2005-2010, currently Associate Professor, CMU); Meinolf Sellmann (2004, now at IBMT.J.Watson Research Center); Ce- sar Fernandez (2004, now Professor, Lleida University, Spain); Carmel Domshlak (2002-2003, now Associate Professor,Technion University, Israel); Ramon Bejar (2001, currently Assoc. Professor, Lleida University) Professional Service Editorial Boards (past and current): ACMTransaction on Intelligent Systems andTechnology (current) Journal of Artificial Intelligence Research ACMTransactions on Programming Languages and Systems ConstraintsJournal Journal of Knowledge Engineering Review Journal of Satisfiability, Boolean Modeling and Computation

Chair, Scientific ReviewPanel, Portuguese Minister of Science and the President of the Portuguese Foundation of Science andTechnology (FCT) (2018). Member, Artificial Intelligence StagingTaskForce, Materials Research Society (MRS) (2017-2018). Member, Cornell University SustainabilityTaskForce (2017). Guest Editor,Editor ,ACMACM TransactionsTransactions on on Intelligent Intellig entSystems Systems and and Technology,Technology Special, Special issue issue on on Computa- Computationaltional Sustainability Sustainability (2010-2011). (2010-2011). Program Chair (with BrianWilliams) SpecialTrack on Computational Sustainability at AAAI, 25th Conference on Artificial Intelligence, CompSust@AAAI, San Francisco, 2011. Program Chair (withTom Dietterich and BrianWilliams) 2nd Intl. Conference on Computational Sustainability (CompSust-2009), MIT, Boston, USA, 2009. Program ChairChair (with (wi thJon Jon Conrad Conrad and and David David Shmoys) Shmoys) 1st 1st Intl. Intl. Conference Conference on Computationalon Computational Sustain- Sustainabilityability (CompSust-2009), CornellCornell University, University Ithaca,, Ithaca, USA, USA, 2009. 2009.

29 Program Chair (with DieterFox),Twenty-Third Conference on Artificial Intelligence (AAAI-08), Chicago, USA, 2008. Program Chair (with Armin Biere), Ninth International Conference on Theory and Applications of SatisfiabilityTesting (SAT 2006), Seattle,Washington, USA, 2006. Conference Chair,Chair, EighthEighth International International Conference Conference on theon thePrinciples Principles and andPractice Practice of Constraint of Constraint Pro- Programminggramming (CP2002), (CP2002), Ithaca, Ithaca, NY,NY 2002., 2002. Co-Chair: AAAITutorial program, American Association for Artificial Intelligence AAAI-2006. AAAIWorkshop on Probability and Search, Edmonton, Canada, 2002 (withTobyWalsh). AAAIFall Symposium, Uncertainty in Computation, Boston, Nov. 2001 (withTobyWalsh). AAAIWorkshop, Leverage Randomization, and Probability, Austin, TX, 2000 (withH. Hoos). External committee member (Ph.D.): Alda Carvallho, Applied Mathematics,Technical University of Lisbon, 2010. Mathew Streeter, Comp. Sci. Dept., Carnegie Mellon University, 2008. Erikvan der Meers, InformationTechnology, University of Copenhagen, 2006. Vincent Cicerello, Comp. Sci. Dept., Carnegie Mellon University, 2004. Carlos Ansotegui,´ Comp. Sci. Dept., Univ. Lleida, Spain, 2004. InesLynce, Comp. Sci. Dept., University of Lisbon, 2003 Ramon Bejar, Comp. Sci. Dept., Univ. Autonoma´ de Barcelona, Spain, 2000. Anil Menon, Computer Science Department, University of Syracuse, 1998. GuestGuest Editor,Editor ,J. Jof. ofKnowledge Knowledg Engineeringe Engineering Review, Revie onw, AI/ORon AI/OR for Planning for Planning and Schedulingand Scheduling (2001). (2001). Program Committees: National Conference of the American Association for Artificial Intelligence AAAI-2010 (Nectar PC); 16th International Conference on the Principles and Practice of Constraint Programming, CP-2010; International Conference on the Integration ofAI andOR inCP for Combinatorial Optimization (CPAIOR-2009); 21st International Joint Conference on Artificial Intelligence, IJCAI-2009; International Confer- ence on the Integration ofAI andOR inCP for Combinatorial Optimization (CPAIOR-2008); International Conference on the Integration ofAI andOR inCP for Combinatorial Optimization (CPAIOR-2007); International Conference on the Integration ofAI andOR inCP for Com- binatorial Optimization (CPAIOR-2006); International Conference on Automated Planning and Scheduling, ICAPS-2006; International Joint Conference on Artificial Intelligence, IJCAI-2005; International Conference on the Integration ofAI andOR inCP for Combinatorial Optimization (CPAIOR-2005); International Conference on Automated Planning and Scheduling, ICAPS- 2005; National Conference of the American Association for Artificial Intelligence AAAI-2005 (senior PC); International Conference on the Integration ofAI andOR inCP for Combinatorial Optimization (CPAIOR-2004); International Conference on Automated Planning and Schedul- ing, ICAPS-2004; 7th International Conference on the Theory and Applications of Satisfiability Testing,SAT-2004; International Conference on Automated Planning and Scheduling, ICAPS- 2003; 9th International Conference on the Principles and Practice of Constraint Programming, CP-2003; 6th International Conference on the Theory and Applications of SatisfiabilityTesting,

30 SAT-2003; American Association for Artificial Intelligence AAAI-2002; Symp. on the The- ory and Applications of SatisfiabilityTesting (SAT-2001, part of LICS-2001); Abstract State MachineWorkshop, ASM-2000; European Conference on Planning, ECP-1999; Agents 1999; American Association for Artificial Intelligence AAAI-1996; Artificial IntelligenceTools (AI- TOOLS) 1994; AI/ORWorkshop,Vermont, 1994. Judge, Intel International Science and EngineeringFair, May 12-18, 2002, USA. Advisory Committee Committee Member, Member International, International Scientists, Scientists, Presidency Presidency of European of European Community, Community 2000., 2000. MemberMember,, ElectricalElectrical and and Computer Computer Engineering Engineering — Robotics— Robotics and andInformation Information Systems, Systems, Funding Funding Review Re- Panel vieof thewP Nationalanel of the Science National and Science Technology andT Foundation,echnologyF Portugal,oundation, Febr. Portug 2002.al, Febr. 2002. Member,DARPA Future Directions Study Group (ISAT), Self-ConfiguringWireless Sensor Networks, Woods Hole, MA, August 2000; Study on Probabilistic Methods in Computational Systems and Infrastructure,Woods Hole, MA, August 1999. Organizer, NewWorldVistas AFOSR Annual Review, 1999. Reviewer for: Artificial Intelligence Journal; Constraints: An International Journal; Discrete Applied Mathe- matics; Constraint Programming; American Association for Artificial Intelligence (AAAI); Air Force Office of Scientific Research (AFOSR); Artificial IntelligenceTools Journal; IEEE Ex- pert; International Joint Conference on Artificial Intelligence (IJCAI); Journal of Automated Reasoning; Journal of Artificial Intelligence Research;NASA; and NSF. Employment History Since Jul. 2008 Director, Institute for Computational Sustainability. Since Jul. 2010 Professor, Dept. of Computer Science, Dept. of Information Science and Dyson School of Economics and Management, Cornell University. 2003-2010 Associate Professor, Computing and Information Science, Dept. of Ap- plied Economics and Management, and Dept. of Computer Science, Cornell University. 2001-2008 Director, Intelligent Information Systems Institute (IISI), Computing and Information Science, Cornell University. 1998-2000 Research Associate, Computer Science Dept., Cornell University. 1993-1998 Researcher, AirForce Research Lab, Information Directorate, Informa- tionTechnology,Technical Advisor: NortFowler. 1990-1992Teaching Assistant at the University of Edinburgh. 1987-1989 Research Analyst, Department of Informatics, Air Portugal. Main projects: Crew Scheduling and AutomaticPassenger Profile Analysis. Recent Media • Armyreleases top 10 list of coolest science, technology advances (Number 4:AI to identify fuel-efficient materials), AerotechNews, Dec 30, 2019 • AIexperts urge machine learningresearchers to tackle climatechange, VentureBeat, Dec 16, 2019

31 • CarlaCarla Gomes Gomes Receives Receives ResearchResearch ExcellenceExcellence AAwardward for LeadershipLeadership in in Innovative Innovative Research, Research, CornellCor- CSnell News,CS Ne Decws, Dec12, 2019 12, 2019

• A.I.A.I. inin the the Amazon; Amazon; Cornell-Led Cornell-Led Research Resear cTeamhTeam Uses Uses A.I. A.I. to toDecrease Decrease Greenhouse Greenhouse Gas Gas Emissions, Emis- Thesions, CornellThe CornellDaily Sun, Daily Nov Sun, 11, 2019Nov 11, 2019

• AIAI helpshelps shrinkshrink Amazon Amazon dams’ dams’ greenhouse greenhouse gas gas emissions, emissions, CornellCornell Chronicle, Chronicle, Sep Sep 19, 19, 2019 2019

• CrystalCrystal Phase Phase Mapping Mapping with AI and with ML in AIPursuit and ofML the Next in Pur Generationsuit of of theFuel NeCells,xt Cornell Gener CSation News, ofSep Fuel 3, 2019 Cells, Cornell CS News, Sep 3, 2019

• InnovativeInnovative AI systemsystem couldcould help help make mak eArmy Army fuel fuel cells cells more mor efficient,e efﬁcient, CCDCCCDC Army ResearchArmy Research Laboratory,Laboratory ,Aug Aug 6, 6, 2019 2019

• InnovativeInnovative AI systemsystem could helphelp makemake fuelfuel cells cells more more efficient, efﬁcient, CornellCornell Chronicle, Chronicle, Jul 24,Jul 201924, 2019

• AA TributeTribute to the to Women theW inomen Lab Coats, in Lab Behind Coats, the Microscopes Behind and the Computer Micr oscopesScreens, Cornell and Daily Computer Sun, Mar 8, Scr 2019eens, Cornell Daily Sun, Mar 8, 2019

• TheThe RockefellerRockefeller FoundationFoundation Establishes Establishes Atlas Atlas AIAI -- New New Startup Startup to to Generate Generate Actionable Actionable Intelligence Intelli- ongence Global on GlobalDevelopment Development Challenges, Challeng PR Newswire,es, PR Ne Febwswire, 6, 2019 Feb 6, 2019

• AI adjustsadjusts forfor gaps gaps in in citizen citizen science science data, data, CornellCornell Chronicle, Chronicle, Jan Jan 25, 25,2019. 2019.

• Giving algorithms algorithms aa sense sense ofof uncertainty uncertainty could could make mak theme them more mor ethical,e ethical, MIT MITTechnologyTechnology Review, Re- Janview 18,, Jan 2019. 18, 2019.

• Learning from from the the big big picture, pictur eNature, Nature Materials: Materials: News Ne &ws Views,&Views, Nov No 23,v 2018.23, 2018.

• NSFNSF grantsgrants $1.3M$1.3M to to Cornell, Cornell, partners partner tos hunt to hunt eelgrass eelgr disease,ass disease Cornell, Cornell Chronicle, Chronicle, Sep 25, Sep 2018. 25, 2018.

• RecentRecent PhDPhD grad grad wins wins highest highest award awar ford for junior junior AI researchers,AIresearcher Stanfords, Stanford Engineering, Engineering, May 8, May 2018. 8, 2018.

• ACMACM Recognizes Recognizes 20172017 FellowsFellows forfor Making Making TransformativeTransformative Contributions Contributions and and Advancing Advancing TechnologyTech- innolo thegy Digital in the Age: Digital Carla Ag Gomes,e: Carla Association Gomes, Association for Computing for ComputingMachinery, DecMachinery 11, 2017., Dec 11, 2017.

• AIAI forfor Discovering Discovering Clean Clean Energy Energy Materials, Materials, CornellCornell Research, Research, Oct Oct19, 2017.19, 2017.

• CS PrProfsofs onon ResearchResearch TTeameam toto ReceiveReceive $$7.5M7.5M Grant,Grant, CornellCornell CIS, CIS, Aug Aug 3, 3,2017. 2017.

• TwoTwo groupsgroups bothboth win win $7.5M$7.5M to to study study AI, AI, autonomous autonomous systems, systems, CornellCornell Chronicle, Chronicle, Jul Jul19, 19,2017. 2017.

• CollaborationCollaboration across across (baseball) (baseball) fields ﬁelds leads leads to toAmazonian Amazonian rivers, river Cornells, Cornell Chronicle, Chronicle, 7/6/2017. 7/6/2017.

• Phase Mapper winswins Innovation Innovation Application Application AwardAwar atd IAAIat IAAI 2017, 2017, CornellCornell CS News,CS Ne Marws, 16, Mar 2017. 16, 2017.

32 • Combining Artificial Artiﬁcial Intelligence Intelligence with with Combinatorial Combinatorial X-ray X-rDiffractionay Diffr Enablesaction Enables Rapid Phase Rapid Mapping Phase ofMapping New Materials, of New Materials,Joint CenterJoint for Artificial Center Photosynthesis,for Artiﬁcial Photosynthesis, Jan 23, 2017. Jan 23, 2017.

• ComputingComputing cost-effective cost-effective wildlife wildlife corridors, corridor Mongabays, Mongabay Wildtech,Wildtech, Nov No11,v 2016. 11, 2016.

• TeachingTeaching robotsrobots toto solvesolve theirtheir own own problems, problems, CornellCornell Chronicle, Chronicle, Nov No 10,v 2016.10, 2016.

• When animals share,share, conservationconservation is is affordable, affordable Cornell, Cornell Chronicle, Chronicle, Oct Oct 27, 27,2016. 2016.

• WildlifeWildlife migration migration routesroutes for for multiple multiple species species can linkcan conservation link conservation reservesreserves at lower at cost,lower Phys.org, cost, OctPhys.or 21, 2016.g, Oct 21, 2016.

• Economist,Economist, partnerspartner sclinch clinc USAIDh USAID award awar ford droughtfor drought insurance, insurance Cornell, Cornell Chronicle, Chronicle, Oct 12, 2016.Oct 12, 2016.

• MaterialsMaterials to to do do anything anything under under the the sun, sun, CornellCornell Engineering Engineering Magazine, Magazine, October October 4, 2016. 4, 2016.

• Optimization technique technique identifies identiﬁes cost-effective cost-effective biodiversity biodiversity corridors, corridor ScienceDaily,s, ScienceDaily September, September 27, 2016.27, 2016.

• Students ComeT Togetherogether toto CodeCode,, SolveSolve PrProblemsoblems at the BigRed Hacks,Hacks, CornellCornell Sun, Sun, September September 19, 2016.

• ThreeThree ways artificialartiﬁcial intelligence intelligence is ishelping helping to saveto save the the world, world, Ensia,Ensia, April April 26, 2016.26, 2016.

• ComputersComputers playplay a crucialcrucial rolerole in in preserving preserving the the Earth, Earth, NSFNSF WebW ebsite, site, April April 20, 2016.20, 2016.

• ComputingComputing and and Information Information Science Science receivesreceives 10 10 million million dollar dollar grant, grant, CornellCornell Chronicle, Chronicle, March March 29, 2016.29, 2016.

• CornelliansCornellians illuminate illuminate world’s world’ scientifics scientiﬁc strides, strides, CornellCornell Chronicle, Chronicle, February February 18, 2016. 18, 2016.

• IncentivizingIncentivizing citizen citizen science science discovery discovery for for a asustainable sustainable world, world, Phys.org,Phys.or Februaryg, February 13, 13,2016. 2016.

• CornelliansCornellians to to share shar escientific scientiﬁc studies studies at at AAAS AAAS meeting, meeting Cornell, Cornell Chronicle, Chronicle, February February 2, 2016. 2, 2016.

• ProfProf AwardedAwarded 1010 million million dollar dollar Grant Gr forant Computational for Computational Sustainability Sustainability Work, WCornellork, DailyCornell Sun, Daily JanuarySun, January 28, 2016. 28, 2016.

• HarnessingHarnessing the the power power of of computers computer sto to create create aa sustainable sustainable future, future ,ResearchResearch News@Vanderbilt, News@Vanderbilt, JanuaryJanuary 8,8, 2016.2016.

• NSFNSF putsputs 3030 million million dollars dollar behinds behind software softwar bugeb ugkilling, killing synthetic, synthetic biology biolo andgy computational and computational sustainability,sustainability ,NetworkNetwork World,World, January January 8, 8, 2016. 2016.

• NSFNSF CommitsCommits 3030 millionmillion dollars dollar tos toTheoretical Theoretical Computer Computer Science, Science Synthetic, Synthetic Biology, Biolo Computationalgy, Computa- Sustainability,tional Sustainability Scientific, Scientiﬁc Computing, Computing, January 7,January 2016. 7, 2016.

• NSF commitscommits 3030 millionmillion dollars dollar tos toexpandexpand the the frontiers frontier ofs computing,,of computing NSF,, NSF press press release, release, January Jan- 7, 2016.uary 7, 2016.

33 • ComputingComputing and and Information Information Science Science receivesreceives 10 10 million million dollar dollar grant, grant, CornellCornell Chronicle, Chronicle, January January 7, 2016.7, 2016.

• Cornell joins joins pleas pleas for for responsibleresponsible AIAI research,research, CornellCornell Chronicle, Chronicle, August August 26, 26,2015. 2015.

• EcologicalEcological corridor corridor to topreserve preserve Ecuadorian Ecuadorian Andes Andes bears, bear Cornells, Cornell Chronicle, Chronicle, March March 9, 2015. 9, 2015.

• AppApp trackstracks Kenya’sKenya’s bestbest placesplaces toto graze,graze, FuturityFuturity Science Science and and Technology,Technology February, February 20, 20, 2015. 2015.

• Space-ageSpace-ag etechnology technolo pointsgy points African African herders herin rightder direction,s in right Cornell direction, Chronicle,Cornell February Chronicle, 15, 2015. February 15, 2015.

• ForgingForging aa NewNew Path:Path: WWorkingorking toto Build Build the the PerfectPerfect WildlifeWildlife Corridor, Corridor Pacific, P Standardaciﬁc Standard Nature Natureand TEch,and TEch, September September 25, 2014. 25, 2014.

• ForgingForging aa NewNew PPath,ath, OnOn Earth, Earth, September September 15, 15, 2014. 2014.

• Interview,Interview ,Planetary Planetary Skin, Skin, cross cross media media project, project, WerdenWerden WirWir die die erde erde retten?,retten?, AA project project by by Roman Roman Brinzanik,Brinzanik, TobiasTobias Hlswitt Hlswitt and and Gunther Gunther Kreis,Kreis, on on behalf behalf of ofthe the Federal Federal Cultural Cultural FoundationFoundation and and in in cooperation with the SuhrkampVerlag, 2012. cooperation with the Suhrkamp Verlag, 2012. Research Funding Lead Principal Investigator— Collaborative Research: CompSustNet: Expanding the Horizons of Computational Sustainability, NSF Expedition:Award CCF-1522054 (2015-2020). $10,000,000.

LeadLead PrincipalPrincipal Investigator—Collaborative Investigator— Collaborati Research:ve Research: Computational Computational Sustainability: Sustainability: Computational Computa- Methodstional Methods for a Sustainable fora Sustainable Environment, Environment, Economy, Economy and Society,, and SocietyNSF Expedition:, NSF Expedition: Award Award CNS-0832782CNS-0832782 (2008-2016). (2008-2016). $10,000,000. $10,000,000. Principal Investigator (Caltech subaward)— Energy Materials Chemistry Integrating Theory, Experiment and Data Science, DOE:Award DE-SC0020383, (2019-2022). $405,000.

Co-Principal Investigator— Convergence Accelerator PhaseI (RAISE): Convergence Research to Meet Ocean Decision Challenges, NSF:Award OIA-1936950 (2019-2020). $987,955.

Co-Principal Investigator— Collaborative Research: The role ofakeystone pathogen in the geographic and local-scale ecology of eelgrass decline in the easternPaciﬁc,NSF:Award OCE- 1829921 (2018-2021). $1,302,932.

Principal Investigator— Accelerated Learning Lab: Capturing Deep Structure to Accelerate Materials Discovery,Toyota Research Institute, (2017-2020). $1,000,000.

Co-Principal Investigator—A Scientiﬁc Autonomous Reasoning Agent: Integrating Theory, Experiment Computation, Multidisciplinary University Research Initiative, AFOSR (2017-2022). $7,500,000.

Principal Investigator—A Platform for Computational-and-Data-Intensive Methods for Large- Scale Intelligent Distributed Systems,ARO, DURIP, (2017-2018), $425,000.

34 Co-Principal Investigator— The Integration of Reasoning and Learning Strategies for Scientiﬁc Discovery, AFOSR (2017-2020), $566,000.

Principal Investigator— UDiscoverIt: Integration of Computational Reasoning, Learning, and Crowd-Sourcing for Accelerating Materials Discovery, National ScienceFoundation INSPIRE Track 1:Award IIS-1344201 (2013-2017). $699,986.

Principal Investigator— Crowd-Sourcing for Scientiﬁc Discovery, DOD-Army Research Ofﬁce (ARO)Award W911-NF-14-1-0498 (2014-2017) $600,000.

Principal Investigator— NSF Collaborative Project:Wireless Sensor Networks for Protecting Wildlife and Humans (with Ohio State and UCLA), CNS-1143651, National ScienceFoundation Collaborative Project (2011-2014). $121,791.

PrincipalPrincipal Investigator Investigator —— Exploratory Exploratory Research Research in inAutomated Automated Computational Computational Analysis Analysis of Inorganic of Inor - Materialsganic Materials Libraries, Libraries, National NationalScience Foundation ScienceFoundation EAGER: EAAwardGER: IIS-1258330Award IIS-1258330 (2013- 2014) (2013- 2014) $133,440. $133,440. PrincipalPrincipal Investigator Investigator —— The The human human and and environmental environmental impacts impacts of migratory of migratory pastoralism pastor inalism arid in andarid semi-aridand semi-arid East Africa,East Africa, Collaborative Collaborati Project:ve Project: WirelessW Sensorireless SensorNetworks Netw for orksProtecting for Protecting Wildlife Wildlife and Humans, Australian Development ResearchAwards Scheme (ADRAS): Collabo- and Humans, Australian Development Research Awards Scheme (ADRAS): Collaborating with rating with University of Sydney, (2013-2015), $156,837. $600,000. University of Sydney, (2013-2015), $156,837. $600,000. PrincipalPrincipal Investigator—Computing Investigator— Computing research research infrastructure infrastructure for forconstraint constraint optimization, optimization, machine machine learning,learning, and and dynamical dynamical models models for for computational computational sustainability, sustainability CNS-1059284,, CNS-1059284, National National Science Sci- enceFoundation (2011-2012). $378,016. Foundation (2011-2012). $378,016. PrincipalPrincipal Investigator Investigator —— Integrating Integrating Ecological Ecological and and Social Social Data Data to Optimize to Optimize Economic Economic Decisions Deci- on Wildlifesions on Corridors,Wildlife Corridors, US ForestUS Service,Forest RockyService, Mountain Rocky MountainResearch ResearchStation,10-JV11221635- Station,10-JV11221635- 241, 241, (2010-2015), $60,613. (2010-2015), $60,613. PrincipalPrincipal Investigator Investigator —— Bridging Bridging the the Gap Gap Between Between Theory Theory and andPractice: Practice: Structure Structure and and Ran- Randomizationdomization in Lar in Largege Sca Scalele Combinatorial Combinatorial Search, Search, Air AirForce Force Of Officefice of of Scientific Scientific Research. Research. Basic Basicresearch researchFA9550-08-1-0196, FA9550-08-1-0196, (2008–2010). (2008–2010). $419,987. $419,987. Co-Principal Investigator— Extending the Reach ofSATTechnology: Quantification, Counting, and Sampling, National ScienceFoundation, 713499,(2007-2010). $405,000.

Principal Investigator— Computational Intelligence for Print ShopWorkﬂows, University of Rochester, (2007–2008). $30,000.

PrincipalPrincipal Investigator Investigator —— Computational Computational Intelligence Intelligence for Printfor PrintShop ShopWorkflows,Workflo Kodakws,K odak East- Eastman,Supplementman,Supplement 12, (2007–2008).12, (2007–2008). $170,000. $170,000. Principal Investigator— Intelligent Information Systems Institute, AirForce Office of Scientific Research, Basic research,FA9550-04-1-0151, (2004–2008). $3,870,000.

35 Co-PrincipalCo-Principal Investigator Investigator —— Boosting Boosting Reasoning Reasoning TechnologiesTechnologies Through Through Randomization, Randomization, Structure Struc- Discovery,ture Disco vandery ,Hybrid and Hybrid Strategies, Strate DOD-DARPA/AFRL,gies,DOD-DARPA/AFRL, FA8750-04-2-0216,FA8750-04-2-0216, (2004-2009). (2004-2009). $3,580,000.$3,580,000. Principal Investigator— Intelligent Information Systems Institute, AirForce Ofﬁce of Scientiﬁc Research, Basic research, F49620-01-1-0076, (2000–2004). $3,200,000.

Co-Principal Investigator— Controlling Computational Cost: Structure, PhaseTransitions, and Randomization, DOD-DARPA/AFRL, F30602-00-2-0596, (2000-2003), $550,000.

Co-Principal Investigator— Controlling Computational Cost: Structure, PhaseTransitions, and Randomization, DOD-DARPA/AFRL, F30602-00-2-0530, (2000-2003), $1,621,041.

Co-PrincipalInvestigator— Principled Analysis& Synthesis of Agent Systems UsingTools from Statistical Physics.DARPA, (2000-2003). $650,000.

Co-Principal Investigator— Self-ConﬁguringWirelessTransmission and Decentralized Data Processing for Generic Sensor Networks,DARPA, (withS.Wicker (PI),T. Fine,L.Tong, and V.Veeravalli, 2000-2003), $890,000.

Co-Principal Investigator— Cooperative Control in Uncertain, Adversarial Environments. Air Force Ofﬁce of Scientiﬁc Research, (MURI) Principal InvestigatorJ. Shamma, UCLA. Joint with UCLA, MIT, Caltech (2001-2006). Cornell portion: $1,000,000. (2001-2006).

Principal Investigator— Hybrid Approaches for Combinatorial Problems, DOD-DARPA/AFRL, F30602-99-1-0006, (1999-2002), $260,688.

Principal Investigator— Integration ofAI andOR for Mixed Initiative Continuous Planning and Scheduling, AirForce Ofﬁce of Scientiﬁc Research, (1996-2001), $1,150,000.

Principal Investigator— Compute-Intensive Methods for Combinatorial Problems, DOD-Air Force Research Labs, F30602-99-1-0005, (1999-2001), $395,817.

Principal Investigator— Compute-Intensive Methods for Combinatorial Problems, AFOSR, DURIP, F49620-99-1-0195, (1999-2000), $158,076.

Principal Investigator— Compute-Intensive Methods for Combinatorial Problems, DOD- Air Force, Rome Laboratories, F30602-98-1-0008, (1998-1999), $203,677.