CV, Research Statement, and Selected Publications

Selected Publications

Journal publications

Computational Sustainability

Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society. Carla Gomes. The Bridge, National Academy of Engineering, Vol. 39, Number 4, Winter 2009. PDF

Science of Computation – synthesis of formal and experimental research

The Science of Constraints. Carla Gomes and Bart Selman. Constraint Programming Letters, Vol. 1, 1:15--20, 2007. PDF

Impact of problem structure on problem hardness, randomization, randomized XOR streamlining, heavy-tails, and backdoor variables

Statistical Regimes Across Constrainedness Regions. Carla Gomes, Cesar Fernandez, Bart Selman, and Christian Bessiere. Constraints - An International Journal, Vol. 10 (4), 2005, 317-337. PDF (Journal version of CP2004, distinguished paper award).

Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. Carla Gomes, Bart Selman, Nuno Crato, and Henry Kautz. Journal of Automated Reasoning, Vol. 24(1/2), 2000, 67-100. PDF

Algorithm Portfolios. Carla Gomes and Bart Selman. Artificial Intelligence Journal, Vol. 126, 2001, 43-62. PDF

Bridging techniques from Constraint Reasoning and Mathematical Programming

Approximations and Randomization to Boost CSP Techniques. Carla Gomes and David Shmoys. Annals of Operations Research, Vol. 130 (1), Aug. 2004, 117-141. PDF

Referred conference publications

Computational Sustainability

Solving Connection Subgraph Problems in Wildlife Conservation. Bistra Dilkina and Carla Gomes. Proceedings of the 7th International Conference on on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (CPAIOR2010), Bologna, Italy, 2010. PDF

Playing Games against Nature: Optimal Policies for Renewable Resource Allocation. Stefano Ermon, Jon Conrad, Carla Gomes, and Bart Selman. Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence, (UAI2010), 2010. PDF

Impact of problem structure on problem hardness, randomization, randomized XOR streamlining, heavy-tails, and backdoors

Backdoors To Typical Case Complexity. Ryan Williams, Carla Gomes, and Bart Selman. Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI03), 2003, 1173-1178. PDF

Formal Models of Heavy-tailed Behavior in Combinatorial Search. Hubie Chen, Carla Gomes, and Bart Selman. Proceedings of 7th Intl. Conference on the Principles and Practice of Constraint Programming (CP 2001), 2001, 408-422. PDF

Model Counting: A New Strategy for Obtaining Good Bounds. Carla Gomes, Ashish Sabharwal, and Bart Selman. AAAI-06. Proceedings of the 21st National Conference on Artificial Intelligence, pp 54-61, Boston, MA, Jul 2006. (AAAI06 Best Paper Award). PDF

Bridging techniques from Constraint Reasoning and Mathematical Programming

The Power of Semidefinite Programming Relaxations for MAXSAT. Carla Gomes, Willem van Hoeve, and Lucian Leahu. Proc. of Conference on Integration of AI/OR Techniques (CPAIOR 2006), 2006. PDF

Other Publications

Approximation Algorithms. Carla Gomes and Ryan Williams. In: Introduction to Optimization, Decision Support and Search Methodologies, Burke and Kendall (Eds.), Kluwer, 2005. (Invited survey.) PDF

Exploiting Runtime Variation in Complete Solvers. Carla P. Gomes and Ashish Sabharwal. In: Handbook of Satisfiability, IOS Press. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. Chapter 20, pp 633-654, 2009. (Invited Survey) PDF

Incorporating Economic and Ecological Information into the Optimal Design of Wildlife Corridors. Jon Conrad, Carla Gomes, Willem van Hoeve, Ashish Sabharwal, and Jordan Suter. Computing and Information Science Technical Reports, Cornell University, NY, 2010. (Under review, The Journal of Environmental Economics and Management.) PDF (big file)

Ph.D. Students

Bistra Dilkina (Computer Science)
Stefano Ermon (Computer Science)
Katherine Lai (Computer Science)
Ronan Le Bras (Computer Science)
Eoin O'Mahony (Computer Science)
Maarika Teose (Applied Mathematics)
Yunsong Guo (Computer Science)

Current and Former Postdocs and Visitors

Theo Damoulas (2009- )

Ashish Sabharwal (2005-2010, now at IBM T.J. Watson Research Center)

Willem van Hoeve (2006-2008, now at CMU)

Meinolf Sellmann (2004, now at Brown University)
Carlos Ansotegui (2005, now at Lleida University, Spain)

Cesar Fernandez (2004, now at Lleida University, Spain)
Ramon Bejar (2003, now at Lleida University, Spain)
Carmel Domshlak (2003, now at Technion University, Israel)

Institute for Computational Sustainability (ICS)

Overview and Project Highlights (PDF)

ICS annual report (research, education, outreach) PDF

NSF Science News - Expeditions in Computing (Video)