Networks
Gomes, Carla P
Cornell Faculty Member
Positions
- Professor, Ofc of Computing & Info Sci
- Professor, Charles H. Dyson School of Applied Economics and Management (AEM), College of Agriculture and Life Sciences (CALS)
Carla Gomes is a Professor of Computer Science at Cornell University, with joint appointments in the Dept. of Computer Science, Dept. of Information Science, and the Dyson School of Applied Economics and Management. Gomes obtained a Ph.D. in computer science in the area of artificial intelligence and operations research from the University of Edinburgh. She also holds an M.Sc. in applied mathematics from the University of Lisbon. Her research has covered several areas in artificial intelligence and computer science, including the integration of constraint reasoning, operations research, and machine learning techniques for solving scale constraint reasoning and optimization problems, complete randomized search methods, and algorithm portfolios, planning and scheduling, and multi agent systems. Gomes’s central research themes are the integration of concepts from constraint and logical reasoning, mathematical programming, and machine learning, for large scale combinatorial problems; the study of the impact of structure on problem hardness; and the use of randomization techniques to improve the performance of exact (complete) search methods. More recently, Gomes has become deeply immersed in research in the new field of Computational Sustainability. Gomes is the Lead PI of an NSF Expeditions in Computing award on Computational Sustainability and the director of the newly established Institute for Computational Sustainability at Cornell University. Gomes is a Fellow of the Association for the Advancement of Artificial Intelligence.
Research Areas
- Affiliations
- Research
- Publications
- Teaching
- Service
- Background
- Other
- View All
Affiliations
member of graduate field
other Cornell affiliations
member of
- David R. Atkinson Center for a Sustainable Future (ACSF) Faculty Fellow
Research
research overview
- My research area is Artificial Intelligence with a focus on large-scale constraint-based reasoning and optimization. I exploit connections between different research areas --- in particular artificial intelligence, operations research, and the theory of algorithms. Central themes of my research are: (1) the synthesis of formal and experimental research for understanding and exploiting problem structure, (2) the integration of concepts from constraint reasoning and mathematical programming, and (3) the use of randomization techniques to scale up the performance of complete (exact) search methods . I combine formal analysis with the study of applications such as planning, scheduling, combinatorial design, and multi-agent systems. Recently, I have become deeply immersed in the establishment of new field of Computational Sustainability. Computational Sustainability is a new interdisciplinary research field, with the overarching goal of studying and providing solutions to computational problems for balancing environmental, economic, and societal needs for a sustainable future. Such problems are unique in scale, impact, complexity, and richness, often involving combinatorial decisions, in highly dynamic and uncertain environments, offering challenges but also opportunities for the advancement of the state-of-the-art of computer and information science. Work in Computational Sustainability integrates in a unique way various areas within computer science and applied mathematics, such as constraint reasoning, optimization, learning, and dynamical systems. The research necessarily entails a cross-fertilization of approaches and ideas from several research communities, bringing together computer scientists, biologists and environmental scientists, biological and environmental engineers, sociologists, and economists. Concrete examples of computational sustainability challenges range from to planning and optimization for wildlife preservation and biodiversity conservation, to poverty mapping, to the design of intelligent or ”smart” control systems for energy-efficient buildings, to balancing portfolios of renewable energy sources. In 2008, under the NSF Expeditions in Computing program, we created the Institute for Computational Sustainability (ICS) to forge a highly interdisciplinary effort to nurture the field of Computational Sustainability. Our vision is that computer science can --- and should --- play a key role in increasing the efficiency and effectiveness of the way we manage and allocate our natural resources. The plethora of challenging computational research questions posed by sustainability problems, pushing the boundaries of current computational methods, also provides an exciting way to broaden and advance the state-of-the-art of computer science.
research activities
principal investigator on
- COLLABORATIVE RESEARCH: COMPUTATIONAL SUSTAINABILITY: COMPUTATIONAL METHODS FOR A SUSTAINABLE ENVIRONMENT, ECONOMY AND SOCIETY awarded by NATL SCIENCE FOUNDATION 2008 - 2013
- EXPLORATORY RESEARCH IN AUTOMATED COMPUTATIONAL ANALYSIS OF INORGANIC MATERIALS LIBRARIES awarded by NATL SCIENCE FOUNDATION 2013
- II-EN: COMPUTING RESEARCH INFRASTRUCTURE FOR CONSTRAINT OPTIMIZATION, MACHINE LEARNING, AND DYNAMICAL MODELS FOR COMPUTATIONAL SUSTAINABILITY awarded by DIRECTORATE FOR COMPUTER & INFORMATION SCIENCE & ENGINEERING NSF 2011 - 2012
- INTEGRATING ECOLOGICAL AND SOCIAL DATA TO OPTIMIZE ECONOMIC DECISIONS ON WILDLIFE CORRIDORS awarded by FOREST SERVICE, USDA 2010 - 2015
- PC3: COLLABORATIVE PROJECT: WIRELESS SENSOR NETWORKS FOR PROTECTING WILDLIFE AND HUMANS awarded by NATL SCIENCE FOUNDATION 2011 - 2013
co-principal investigator on
keywords
- Combinatorial optimization
- Computational Models for Optimization
- Computational Models for electronic business models
- Computational economics
- Mathematical Programming
- Resource environment economics
- computational sustianability
submitted impact statement
- Spatially balanced field designs
- Foundations and application of computational intensive methods to solve hard combinatorial problems.
- Foundations and application of computational intensive methods to solve hard combinatorial problems.
- Foundations and application of computational intensive methods to solve hard combinatorial problems.
- Computational sustainability
- Analyzing patent data of information on technical and social implications of intellectual property rights systems
Publications
individual publications
-
academic article
- Wildlife Corridors as a Connected Subgraph Problem. Journal of Environmental Economics and Management. 63:18. 2012
- Wildlife Corridors as a Connected Subgraph Problem. Journal of Environmental Economics and Management. 63:1-8. 2012
- Generating Highly Balanced Sudoku Problems as Hard Problems. Journal of Heuristics. 17:589-614. 2011
- Generating highly balanced sudoku problems as hard problems. Journal of Heuristics. 17:589-614. 2011
- Generating highly balanced sudoku problems as hard problems. Journal of Heuristics. 17:589-614. 2011
- A generative power-law search tree model. Computer and Operations Research. 36:2376-2386. 2009
- Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society.. The Bridge, National Academy of Engineering. 39:5-13. 2009
- Regular-SAT: A Many-Valued Approach for Solving Combinatorial Problems. Discrete Applied Mathematics. 155:1613-1626. 2007
- Spatially-Balanced Complete Block Designs for Field Experiments. Geoderma. 140:346-352. 2007
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-based Planning. Logical Methods in Computer Science. 3. 2007
- The Science of Constraints. Constraint Programming Letters. 1:15-20. 2007
- Computational science: Can get satisfaction. Nature. 435:751-752. 2005
- Sensor networks and distributed CSP: Communication, Computation and Complexity.. Artificial Intelligence Journal. 161:117-147. 2005
- An Improved Approximation Algorithm for the Partial Latin Square Extension Problem. Operations Research Letters. 32:479-484. 2004
- Approximations and Randomization to Boost CSP Techniques. Annals of Operations Research. 130:117-141. 2004
- Satisfied with Physics. Science. 297. 2002
- Algorithm Portfolios. Artificial Intelligence Journal. 126:43-62. 2001
- Extending the Reach of SAT with Many-Valued Logics. Electronic Notes in Discrete Mathematics. 9:392-407. 2001
- On the Intersection of Artificial Intelligence and Operations Research. Journal of Knowledge Engineering Review. 16:1-6. 2001
- Artificial Intelligence and Operations Research: Challenges and Opportunities in Planning and Scheduling. Journal of Knowledge Engineering Review. 15:1-10. 2000
- Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. Journal of Automated Reasoning. 24:67-100. 2000
- Hybrid Search Strategies for Heterogeneous Search Spaces. International Journal on Artificial Intelligence Tools. 9:45-57. 2000
-
article
-
chapter
- Exploiting runtime variation in complete solvers.. Handbook of Satisfiability. 271-288. 2009
- Model Counting. Handbook of Satisfiability. 633-651. 2009
- Satisfiability Solvers. Handbook of Knowledge Representation in the series "Foundations of Artificial Intelligence. 89-134. 2008
- Network Analysis for Interpreting Patent Date: A Preliminary, Visual Approach. Agricultural Biotechnology and Intellectual Property Seeds of Change. 141-60. 2007
- Complexity, Phase Transitions, and the Sequential Decoding of Convolutional Codes. Forney Festschrift. 2000
- Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. SAT-2000, Highlights of Satisfiability Research in the Year 2000. 2000
-
conference paper
- From Streamlined Combinatorial Search to Efficient Constructive Procedures. Proceedings of the 26th International Conference on Artificial Intelligence (AAAI-‐12). 499-506. 2012
- From Streamlined Combinatorial Search to Efficient Constructive Procedures.. Proceedings of the 26th International Conference on Artificial Intelligence (AAAI-12). 499-506. 2012
- Learning Policies For Battery Usage Optimization in Electric Vehicles.. Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD-12). 195-210. 2012
- Probabilistic Planning with Non-Linear Utility Functions and Worst-Case Guarantees.. Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-12). 965-972. 2012
- Probabilistic planning with non-linear utility functions and worst case guarantees. Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-‐12). 965-972. 2012
- SMT-Aided Combinatorial Materials Discovery. Proceedings of the 15th International Conference on Theory and Applications of SAtisfiability (SAT-12). 172-185. 2012
- SMT-‐Aided Combinatorial Materials Discovery. roceedings of the 15th international conference on Theory and Applications of Satisfiability Testing. 2012
- Uniform Solution Sampling Using a Constraint Solver as an Oracle. Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI 2012). 255-264. 2012
- Uniform Solution Sampling Using a Constraint Solver as an Oracle. Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence. 255-264. 2012
- eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research. Proceedings of the 24th Innovative Applications of Artificial Intelligence Conference. 2012
- eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research.. Proceedings of the 24th Innovative Applications of Artificial Intelligence Conference (IAAI 2012). 2229-2236. 2012
- Computational Sustainability. Proceedings of the Advances in Intelligent Data Analysis X - 10th International Symposium (IDA 2011). 8. 2011
- A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). 2608-2613. 2011
- A Flat Histogram Method for Computing the Density of States of Combinatorial Problems.. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-11). 2608-2613. 2011
- A message passing approach to multiagent gaussian inference for dynamic processes. Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). 1277-1278. 2011
- A message passing approach to multiagent gaussian inference for dynamic processes. Proceedings of the 10th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-11). 1277-1278. 2011
- Accelerated Adaptive Markov Chain for Partition Function Computation. Proceedings of the 25th Annual Conference on Neural Information Processing Systems (NIPS-11). 2744-2752. 2011
- Computational Sustainability. Proceedings of the 10th International Conference on Intelligent Data Analysis (IDA 2011). 8. 2011
- Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP-11). 508-522. 2011
- Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. Proceedings of the 17th International Conference on Principles and Practice of. Constraint Programming (CP 2011). 508-522. 2011
- Embedding system dynamics in agent based models for complex adaptive systems. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011). 2531-2538. 2011
- Embedding system dynamics in agent based models for complex adaptive systems. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-‐2011). 2011
- Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). 1942-1948. 2011
- Risk-Sensitive Policies for Sustainable Renewable Resource Allocation.. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-11). 1942-1948. 2011
- The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species. Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2011). 1357-1364. 2011
- The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species.. Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI-11). 1357-1364. 2011
- Upgrading Shortest Paths in Networks. Proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011). 76-91. 2011
- Upgrading Shortest Paths in Networks.. Proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011). 76-91. 2011
- An Empirical Study of Optimization for Maximizing Diffusion in Networks. Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010). 514-521. 2010
- An empirical study of optimization for maximizing diffusion in networks. Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP-10). 514-521. 2010
- Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel. Proceedings of the 9th International Conference on Machine Learning and Applications (ICMLA 2010). 424-429. 2010
- Bayesian Classification of Flight Calls with a novel Dynamic Time Warping Kernel. Proceedings of the 9th International Conference on Machine Learning and Applications (ICMLA-10). 2010
- Challenges for CPAIOR in Computational Sustainability. Proceedings of the International Conference on the Integration of AI and OR and CP for Combinatorial Optimization 2010. 2010
- Challenges for CPAIOR in Computational Sustainability. Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-10). 3-4. 2010
- Challenges for CPAIOR in Computational Sustainability. Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2010). 3-4. 2010
- Collaborative Multiagent Gaussian Inference in a Dynamic Environment Using Belief Propagation. 9th International Conference on Autonomous Multiagent Systems (AMAAS-10), Toronto, Ont., 2010. 2010
- Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). 1419-1420. 2010
- Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation.. Proceedings of the 9th Intl. Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-10). 1419-1420. 2010
- Computational Thinking for Material Discovery: Bridging Constraint Reasoning and Learning. . Proceedings of the Constraint Reasoning and Optimization in Computational Sustainability (CROCS) Workshop at CPAIOR-10. 2010
- Computing the Density of States of Boolean Formulas. Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010). 38-52. 2010
- Computing the Density of States of Boolean Formulas.. Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP-10). 38-52. 2010
- Maximizing Spread of Cascades Using Network Design.. Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI-10). 517-526. 2010
- Maximizing the Spread of Cascades Using Network Design. Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI 2010). 517-526. 2010
- Playing Games Against Nature: Optimal Policies for Renewable Resource Allocation. Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI-10). 168-176. 2010
- Solving Connected Subgraph Problems in Wildlife Conservation. Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 10). 102-116. 2010
- Solving Connected Subgraph Problems in Wildlife Conservation. Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 10). 102-116. 2010
- Solving Connected Subgraph Problems in Wildlife Conservation.. Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-10). 102-116. 2010
- Back-doors to Combinatorial Optimization: Feasibility and Optimality. Proceedings of International Conference on the Integration of AI and OR and CP for Combinatorial Optimization 2009. 2009
- Backdoors in the Context of Learning. Proceedings of the International Conference on Theory and Applications of Satisfiability Testing, SAT 2009. 2009
- Challenges for Constraint Reasoning and Optimization in Computational Sustainability. Proceedings of the International Conference on Principles and Practice of Constraint Programming, CP 2009. 2009
- Integrating Systematic and Local Search Paradigms. Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI 2009. 2009
- Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. 21st Int. Joint Conf. on Artificial Intelligence (IJCAI‐09), Pasadena, CA. 2009
- Learning Optimal Subsets with Implicit User Preferences. Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI 2009. 2009
- Ranking structured documents: a large margin based approach for patent prior art search. Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI 2009. 2009
- Connections in Networks: A Hybrid Approach. 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 303-307. 2008
- Connections in Networks: A Hybrid Approach. Proceedings of the International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 303-307. 2008
- Connections in Networks: Hardness of Feasibility Versus Optimality. Proceedings of International Conference on the Integration of AI and OR and CP for Combinatorial Optimization 2007. 2007
- Connections in Networks: Hardness of Feasibility versus Optimality. 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 16-28. 2007
- Counting CSP Solutions Using Generalized XOR Constraints. AAAI-07. 22nd Conference on Artificial Intelligence. 204-209. 2007
- Counting CSP Solutions Using Generalized XOR Constraints. Proceedings of the 22nd. National Conference on Artificial Intelligence, AAAI 2007. 2007
- From Sampling to Model Counting. 20th International Joint Conference on Artificial Intelligence. 2293-2299. 2007
- From Sampling to Model Counting. Proceedings of the International Joint Conference on Artificial Intelligence. 2007
- Optimal Multi-Agent Scheduling with Constraint Programming. Proceedings of 22nd. National Conference on Artificial Intelligence. 1813-1818. 2007
- SAT Encodings of State-Space Reachability Problems in Numeric Domains. Proceedings of the 20th International Joint Conference on Artificial Intelligence. 1918-1923. 2007
- Sampling and Soundness: Can We Have Both?. 6th International Semantic Web Conference (ISWC‐07), Busan, Korea. 2007
- Short XORs for Model Counting: From Theory to Practice. 10th International Conference on Theory and Applications of Satisfiability Testing. 100-106. 2007
- Short XORs for Model Counting: From Theory to Practice. Proceedings of the International Conference on Theory and Applications of Satisfiability Testing, SAT 2007. 2007
- The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. AAAI-07. 22nd Conference on Artificial Intelligence. 42-49. 2007
- The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. Proceedings of 22nd National Conference on Artificial Intelligence AAAI 2007. 2007
- Tradeoffs in the Complexity of Backdoor Detection. 13th International Conference on Principles and Practice of Constraint Programming. 256-270. 2007
- Tradeoffs in the Complexity of Backdoor Detection. Proceedings of the International Conference on Principles and Practice of Constraint Programming, CP 2007. 2007
- Model Counting: A New Strategy for Obtaining Good Bounds. Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-06). 54-61. 2006
- Model Counting: A New Strategy for Obtaining Good Bounds. Proceedings of 21st National Conference on Artificial Intelligence (AAAI-06). 2006
- Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. Proceedings of the 20th Annual Conference on Neural Information Processing Systems (NIPS-06). Vancouver, B. C., Dec 2006. 2006
- QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. 9th International Conference on Theory and Applications of Satisfiability Testing. 382-395. 2006
- QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT 06). 2006
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in Sat-Based Planning. Proceedings of International Conference on Auto-mated Planning and Scheduling, Cumbria, UK, June 2006. 2006
- The Impact of Balancing on Problem Hardness in a Highly Structured Domain. Proceedings of 21st National Conference on Artificial Intelligence (AAAI-06). 2006
- The Power of Semidefinite Programming Relaxations for MAX-SAT. Proceedings of the 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR 2006). 2006
- The Power of Semidefinite Programming Relaxations for MAX-SAT. Proceedings of 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR 2006). 2006
- LP as a Global Search Heuristic Across Different Constrainedness Regions. Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP 2005). 2005
- LP as a Global Search Heuristic Across Different Constrainedness Regions. Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP 2005). 2005
- Streamlining Local Search for Spatially Balanced Latin Squares. Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05). 2005
- The Achilles' Heel of QBF. Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05). 2005
- The Achilles’ Heel of QBF. Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05). 275-281. 2005
- Quality of LP-based Approximations for Highly Combinatorial Problems. Proceedings of 10th International Conference on the Principles and Practice of Constraint Programming (CP-2004). 377-392. 2004
- Spatially-Balanced Designs for Experiments on Autocorrelated Fields. 2004 Proceedings of the American Statistical Association. 3000-3003. 2004
- Statistical Regimes Across Constrainedness Regions. Proceedings of 10th International Conference on the Principles and Practice of Constraint Programming (CP-2004). 32-46. 2004
- Streamlined Constraint Reasoning. Proceedings of 10th International Conference on the Principles and Practice of Constraint Programming (CP-2004). 274-289. 2004
- The Cardinality Matrix Constraint. Proceedings of 10th International Conference on the Principles and Practice of Constraint Programming (CP-2004). 572-587. 2004
- The Challenge of Generating Spatially Balanced Scientific Experiment Designs. Proceedings of the 1st International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'04). 387-394. 2004
- An Improved Approximation Algorithm for the Partial Latin Square Extension Problem. Proceeding of the ACM-SIAM Symposium on Discrete Algorithms (SODA-2003), Baltimore, 2003. 2003
- Backdoors To Typical Case Complexity. Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI03). 2003
- On the connections between backdoors, restarts, and heavy-tails in combinatorial search. Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT03). 2003
- Pareto-like Distributions in Random Binary CSP. Frontiers in Artificial Intelligence and Applications - Artificial Intelligence Research and Development. 451-461. 2003
- Communication and Computation in DisCSP Algorithms. Proceedings of 8th International Conference on the Principles and Practice of Constraint Programming (CP-2002). 2002
- The Promise of LP to Boost CSP Techniques for Combinatorial Problems. Proceedings of the 4th International Symposium on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR’02), 291-305, Le Croisic, France, 291-305. 2002
- A Bayesian Approach to Tackling Hard Computational Problems. Proceedings 17th Conference On Uncertainty and Artificial Intelligence (UAI-2001), Seattle. 2001
- An Application of Randomization and Restarts in Proof Planning. Proceedings of the 6th European Conference on Planning (ECP-01), Toledo, Spain. 2001
- Balance and Filtering in Structured Satisfiable Problems. Proceedings of the 17th International Conference on Artificial Intelligence (IJCAI-2001), Seattle. 2001
- Capturing the Structure of Satisfiability. Proceedings of 7th International Conference on the Principles and Practice of Constraint Programming (CP-2001). 137-153. 2001
- Distributed Constraint Satisfaction in a Wireless Sensor Tracking System. Proceedings of Workshop on Distributed Constraint Reasoning (CONS-2), IJCAI-2001, Seattle. 2001
- Extending the Reach of Proof Planning by Randomization and Restart Techniques. Future Directions in Automated Reasoning, IJCAR, Siena, Italy. 2001
- Formal Models of Heavy-tailed Behavior in Combinatorial Search. Proceedings of 7th International Conference on the Principles and Practice of Constraint Programming (CP-2001). 2001
- Generating Hard Feasible Schedules. Proceedings of the 6th European Conference on Planning (ECP-01), Toledo, Spain. 2001
- Heavy-Tailed Behavior and Randomization in Proof Planning. Proceedings AAAI Symposium on Model-based Validation of Intelligence, Stanford, CA. 2001
- A Connection Between Phase Transitions in Complexity and Good Decodings. Proceedings of the International Symposium on Information Theory and Its Applications, Honolulu, Hawaii. 2000
- Generating Satisfiable Instances. Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-00), Austin, TX. 2000
- Structure and Randomization: Common Themes in AI and OR. Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-00), Austin, TX. 2000
- Heavy-tailed Distributions in Computational Methods. Proceedings Application of Heavy Tailed Distribution in Economics, Engineering and Statistics (TAILS-99), Washington, DC. 1999
- On the Fine Structure of Large Search Spaces. Proceedings of the Eleventh International Conference on Tools with Artificial Intelligence (ICTAI-99). 1999
- Search Strategies for Hybrid Search Spaces. Proceedings of the Eleventh International Conference on Tools with Artificial Intelligence (ICTAI-99). 1999
- Boosting Combinatorial Search Through Randomization. Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), Madison, WI. 1998
- Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS-98), Pittsburgh, PA. 1998
- A Transformational Approach Applied to Outage Management of Nuclear Power Plants. Proceedings of the 13th HICC, IEEE Computer Society. 1997
- Algorithm Portfolio Design: Theory vs. Practice. Proceedings of the 13th Conference on Uncertainty in Artificial Intelligence (UAI-97), New Providence, RI. 1997
- Heavy-Tailed Probability Distributions in Combinatorial Search. Proceedings of 4th International Conference on the Principles and Practice of Constraint Programming (CP-97). 1997
- Heavy-tailed distributions in combinatorial search. Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97. 121-135. 1997
- Non-Gausssian Stable Distributions. Proceedings of CEMAPRE. 1997
- Practical Aspects of Algorithm Portfolio Design. Proceedings of the 3rd ILOG Conference, Paris, France. 1997
- Problem Structure in the Presence of Perturbations. Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), New Providence, RI. 1997
- ROMAN: An Application of Advanced Technology to Outage Management. Proceedings of the Sixth Annual Dual-Use Technologies & Applications Conference. 1996
- Synthesis of Schedulers for Planned Shutdowns of Power Plants. Proceedings of the Eleventh Knowledge-Based Software Engineering Conference, IEEE. 1996
- Technology for Planning and Scheduling under Complex Constraints. Proceedings of the International Society for Optical Engineering. Boston, Massachusetts. 1996
- Derivation of Correct Programs for Planning. Proceedings of the Fifth Annual Dual-Use Technologies & Applications Conference. 1995
- Planning and Scheduling of Nuclear Power Plant Outages. Proceedings of the First International Workshop of AI and OR. Timberline, Oregon. 1995
- A Distributed Scheduling Framework. Proceedings of the 6th International Conference on Tools with Artificial Intelligence. 1994
- An Assignment Based Algorithm. Proceedings of the Workshop on Scheduling at the Conference on Tools with Artificial Intelligence, New Orleans, Louisiana. 1994
- Looking at O-PLAN2 and SIPE2 through Missionaries and Cannibals. Proceedings of the ARPA-RL Planning Initiative Workshop, Arizona. 1994
- Making “Dual-Use” of Formal Methods. Proceedings of the Fourth Annual Dual-Use Technologies & Applications Conference. 67-77. 1994
- Achieving Global Coherence by Exploiting Conflict. Proceedings of the 10th UK SIG Planning, Cambridge. 1991
- Pairing Generation — A Graph Partitioning Approach to a Short Haul Fleet Problem. Proceedings of AGIFORS, Copenhagen. 1988
-
report
- Environmental Vulnerability, Assessment, and Monitoring of Grazing Systems Under Index-based Livestock Insurance Programs in East Africa. 2012
- Optimal Network Design for the Spread of Cascades. 2010
- Spatially-Balanced Designs for Field and Greenhouse Experiments 2004
- Hybrid Compute Intensive Approaches for Combinatorial Optimization 2002
- Fair Allocations for the Virtual Transportation Company Problem 2001
- Artificial Intelligence and Operations Research: Challenges and Opportunities in Planning and Scheduling 2000
- Exploiting Stochasticity in Systematic Search: Results on a Highly Structured Domain 1997
- Automatic Scheduling of Outages of Nuclear Power Plants with Time Windows 1996
- O-Plan2 vs. Sipe-2 — A General Comparison 1996
- Planning in KIDS 1995
- Optimal Multi-Agent Scheduling with Constraint Programming 2007
- Approximation Algorithms 2006
- Random CSP Distributions 2006
- The Impact of Balancing on Problem Hardness in a Highly Structured Domain 2006
- Synthetic Planning Domains with Small Backdoors 2005
- Hill Climbing Search 2002
- An Assignment Based Algorithm for Resource Allocation 1996
- Achieving Global Coherence by Exploiting Conflict: A Distributed Framework for Job Shop Scheduling 1993
- Pairing Generation — A Graph Partitioning Approach to a Short Haul Fleet Problem 1987
featured in archived article
- Cornell gets $10 million federal grant to establish new institute applying computing to sustainability
- First 'computational sustainability' conference to draw an unexpected crowd
- Teaching computers to solve tough tasks the human way
- Three faculty members invited to National Academy of Engineering symposium
speaker at Cornell event
Teaching
teaching activities
- AEM-7000: Individual Study in Applied Economics and Management - Spring 2013
- AEM-7900: Graduate-Level Thesis Research - Spring 2013
- AEM-8900: Master's Level Thesis Research - Spring 2013
- AEM-9900: Doctoral-Level Thesis Research - Spring 2013
- CS-4999: Independent Reading and Research - Spring 2013
- CS-5999: Master of Engineering Project - Spring 2013
- CS-6702: Topics in Computational Sustainability - Spring 2013
- CS-7999: Independent Research - Spring 2013
- INFO-4910: Teaching in Information Science, Systems, and Technology - Spring 2013
- INFO-5900: Independent Research - Spring 2013
- INFO-6702: Topics in Computational Sustainability - Spring 2013
- INFO-7900: Independent Research - Spring 2013
- INFO-9900: Thesis Research - Spring 2013
- AEM-4120: Computational Methods for Management and Economics - Fall 2012
- AEM-4990: Undergraduate Research - Fall 2012
- AEM-7000: Individual Study in Applied Economics and Management - Fall 2012
- AEM-7900: Graduate-Level Thesis Research - Fall 2012
- AEM-8900: Master's Level Thesis Research - Fall 2012
- AEM-9900: Doctoral-Level Thesis Research - Fall 2012
- CS-4999: Independent Reading and Research - Fall 2012
- CS-5999: Master of Engineering Project - Fall 2012
- CS-7999: Independent Research - Fall 2012
- INFO-5900: Independent Research - Fall 2012
- INFO-9900: Thesis Research - Fall 2012
- AEM-7000: Individual Study in Applied Economics and Management - Spring 2012
- AEM-7900: Graduate-Level Thesis Research - Spring 2012
- AEM-8900: Master's Level Thesis Research - Spring 2012
- AEM-9900: Doctoral-Level Thesis Research - Spring 2012
- CS-4999: Independent Reading and Research - Spring 2012
- CS-5999: Master of Engineering Project - Spring 2012
- CS-7999: Independent Research - Spring 2012
- INFO-4910: Teaching in Information Science, Systems, and Technology - Spring 2012
- INFO-5900: Independent Research - Spring 2012
- INFO-9900: Thesis Research - Spring 2012
- AEM-4990: Undergraduate Research - Fall 2011
- AEM-7000: Individual Study in Applied Economics and Management - Fall 2011
- AEM-7900: Graduate-Level Thesis Research - Fall 2011
- AEM-8900: Master's Level Thesis Research - Fall 2011
- AEM-9900: Doctoral-Level Thesis Research - Fall 2011
- CS-4999: Independent Reading and Research - Fall 2011
- CS-5999: Master of Engineering Project - Fall 2011
- CS-7999: Independent Research - Fall 2011
- INFO-5900: Independent Research - Fall 2011
- INFO-9900: Thesis Research - Fall 2011
Service
service to the profession
- Program Committee, 3rd International Conference on Computational Sustainability Committee Member - 2012
- Program Committee, 2nd International Conference on Computational Sustainability Committee Member - 2010
- Program Committee, 1st International Conference on Computational Sustainability Committee Member - 2009
- Program Committee, 21st International Joint Conference on Artificial Intelligence Committee Member - 2009
- Program Committee, International Conference on the Integration of AI and OR in CP for Combinatorial Optimization Committee Member - 2009
- Program Committee, International Conference on the Integration of AI and OR in CP for Combinatorial Optimization Committee Member - 2008
- Twenty-Third Conference on Artificial Intelligence (AAAI-08) Chairperson - 2008
- AI-SPER-0203DF692AB00010917 Chairperson - 2006
- Program Committee, International Conference on Automated Planning and Scheduling Committee Member - 2006
- Program Committee, International Conference on the Integration of AI and OR in CP for Combinatorial Optimization Committee Member - 2006
- Tutorial program, American Association for Artificial Intelligence Chairperson - 2006
- Executive Council of the American Association for Artificial Intelligence Committee Member 2002 - 2005
- Program Committee, 19th International Joint Conference on Artificial Intelligence Committee Member - 2005
- Program Committee, 20th National Conference on Artificial Intelligence Committee Member - 2005
- Program Committee, 7th International Conference on the Integration of AI and OR in CP for Combinatorial Optimization Committee Member - 2005
- Program Committee, 9th International Conference on the Principles and Practice of Constraint Programming Committee Member - 2005
- Program Committee, 7th International Conference on the Theory and Applications of Satisfiability Testing Committee Member - 2004
- Program Committee, International Conference on Automated Planning and Scheduling Committee Member - 2004
- Program Committee, International Conference on the Integration of AI and OR in CP for Combinatorial Optimization Committee Member - 2004
- Electrical and Computer Engineering — Robotics and Information Systems, Funding Review Panel of the National Science and Technology Foundation, Portugal Committee Member - 2004
- AFRL/IISI Workshop on Mixed Initiative Decision Making Co-Chair - 2003
- Program Committee, 6th International Conference on the Theory and Applications of Satisfiability Testing, SAT-2003 Committee Member - 2003
- Program Committee, 9th International Conference on the Principles and Practice of Constraint Programming, CP-2003 Committee Member - 2003
- Program Committee, International Conference on Automated Planning and Scheduling, ICAPS Committee Member - 2003
- Workshop on Strategic Research Directions in AI Co-Chair - 2003
- AAAI Workshop on Probability and Search Co-Chair - 2002
- International Conference on the Principles and Practice of Constraint Programming (CP-2002) Chairperson - 2002
- Program Committee, American Association for Artificial Intelligence AAAI-2002 Committee Member - 2002
- Intel International Science and Engineering Fair Judge 2002
- AAAI Fall Symposium, Uncertainty in Computation Co-Chair - 2001
- Program Committee, Symposium on the Theory and Applications of Satisfiability Testing Committee Member - 2001
- AAAI Workshop, Leverage Randomization, and Probability Co-Chair - 2000
- Advisory Committee, International Scientists, Presidency of European Community Committee Member - 2000
- Advisory Committee, International Scientists, for the Research Council President of the European Union Committee Member - 2000
- Program Committee, Abstract State Machine Workshop Committee Member - 2000
- DARPA Future Directions Study Group (ISAT), Self-Configuring Wireless Sensor Networks Committee Member - 2000
- New World Vistas AFOSR Annual Review Organizer - 1999
- Program Committee, Agents 1999 Committee Member - 1999
- Program Committee, European Conference on Planning Committee Member - 1999
- DARPA Future Directions Study Group (ISAT), Study on Probabilistic Methods in Computational Systems and Infrastructure Committee Member - 1999
- Program Committee, American Association for Artificial Intelligence Committee Member - 1996
- Program Committee, AI/OR Workshop Committee Member - 1994
- Program Committee, Artificial Intelligence Tools Committee Member - 1994
reviewer or editor for
- AI Magazine, special issue on Computational Sustainability
- Air Force Office of Scientific Research
- American Association for Artificial Intelligence
- Army Office of Scientific Research
- Chair of the Site Visit Review Team for the National Science Foundation Expeditions in Computing, University of Minnesota
- Co-Chair of the CP-09 Workshop on Constraint Reasoning and Optimization for Computational Sustainability (Crocs@CP-09)
- Co-Chair of the CP-10 Workshop on Constraint Reasoning and Optimization for Computational Sustainability (Crocs@CP-10)
- Co-Chair of the CPAIOR-10 Workshop on Constraint Reasoning and Optimization for Computational Sustainability (Crocs@CPAIOR-10)
- Co-Chair of the IJCAI Workshop on AI for an Intelligent Planet
- Co-chair of the 10th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR 2013)
- Co-chair of the 3rd International Conference on Computational Sustainability (CompSust'12)
- Constraints Journal
- NASA
- National Science Foundation
- Program Co-chair of the Special Track on Computational Sustainability at AAAI-12, 25th Conference on Artificial Intelligence, CompSustAI
- Program Co-chair of the Special Track on Computational Sustainability at AAAI-12, 26th Conference on Artificial Intelligence, CompSustAI
- Program Committee Member of the 16th International Conference on the Principles and Practice of Constraint Programming (CP-2010)
- Program Committee Member of the 24th National Conference of the American Association for Artificial Intelligence (AAAI-2010,Nectar)
- Program Committee Member of the International Conference on the Integration of AI and OR in CP for Combinatorial Optimization (CPAIOR-2011)
Background
education and training
- Ph.D. in Computer Science, University of Edinburgh 1993
- M.S. in, University of Lisbon 1987
- M.S. in Applied Mathematics, Technical University of Lisbon 1987
- B.S. in, University of Lisbon 1982
awards and honors
- Lead P.I., NSF Expeditions on Computing Award ($10M). Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society, 2008
- Program Co-chair of Twenty-Third Conference on Artificial Intelligence (AAAI-08), 2008
- Fellow, 2007
- Program Co-Chair, Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006), Seattle, Washington, USA, 2006
- Best Paper Award, “Model counting: A new strategy for obtaining good bounds,” Proceedings of the Twenty-first National Conference on Artificial Intelligence, 2006
- Invited News & Views perspective article in Nature. “Can get satisfaction”, June, 2005. http://www.nature.com/nature/journal/v435/n7043/full/435751a.html, 2005
- Elected to the Executive Council of the American Association for Artificial Intelligence (AAAI, over 6,000 members worldwide), the policy making body for AAAI. Direct vote by the AAAI members, 2005
- Distinguished paper award. “Statistical Regimes Across Constrainedness Regions'', Conference on the Principles and Practice of Constraint Programming, 2004
- Conference Chair, 2002
- Member, Advisory Committee, International Scientists, 2000
- Special Recognition Award, Information Directorate, Air Force Research Laboratory, 1999
Other
college
- CALS
- ENG
research keyword
- Combinatorial optimization
- Computational Models for Optimization
- Computational Models for electronic business models
- Computational economics
- Mathematical Programming
- Resource environment economics
- computational sustianability
name prefix
- Professor