Carla P. Gomes

According to our database1, Carla P. Gomes authored at least 145 papers between 1994 and 2018.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2017, "For establishing the field of computational sustainability, and for foundational contributions to artificial intelligence".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Phase Mapper: Accelerating Materials Discovery with AI.
AI Magazine, 2018

Understanding Batch Normalization.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

End-to-End Learning for the Deep Multivariate Probit Model.
Proceedings of the 35th International Conference on Machine Learning, 2018

Efficiently Optimizing for Dendritic Connectivity on Tree-Structured Networks in a Multi-Objective Framework.
Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, 2018

Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Extending the Capacity of 1 / f Noise Generation.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Multi-Entity Dependence Learning With Rich Context via Conditional Variational Auto-Encoder.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Networks.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
XOR-Sampling for Network Design with Correlated Stochastic Events.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Deep Multi-species Embedding.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Solving Marginal MAP Problems with NP Oracles and Parity Constraints.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

Variable Elimination in the Fourier Domain.
Proceedings of the 33nd International Conference on Machine Learning, 2016

Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Avicaching: A Two Stage Game for Bias Reduction in Citizen Science.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem.
Proceedings of the Computational Sustainability, 2015

Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search.
Ann. Math. Artif. Intell., 2014

Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species Distribution Models.
AI Magazine, 2014

Computational Sustainability: Editorial Introduction to the Summer and Fall Issues.
AI Magazine, 2014

Computational Sustainability.
AI Magazine, 2014

String Kernels for Complex Time-Series: Counting Targets from Sensed Movement.
Proceedings of the 22nd International Conference on Pattern Recognition, 2014

Low-density Parity Constraints for Hashing-Based Discrete Integration.
Proceedings of the 31th International Conference on Machine Learning, 2014

A Human Computation Framework for Boosting Combinatorial Solvers.
Proceedings of the Seconf AAAI Conference on Human Computation and Crowdsourcing, 2014

On the Erdős Discrepancy Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Uncovering Hidden Structure through Parallel Problem Decomposition.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Designing Fast Absorbing Markov Chains.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Challenges in Materials Discovery - Synthetic Generator and Real Datasets.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A Human/Computer Learning Network to Improve Biodiversity Conservation and Research.
AI Magazine, 2013

Optimization With Parity Constraints: From Binary Codes to Discrete Integration.
Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, 2013

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Embed and Project: Discrete Sampling with Universal Hashing.
Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Double-Wheel Graphs Are Graceful.
Proceedings of the IJCAI 2013, 2013

Crowdsourcing Backdoor Identification for Combinatorial Optimization.
Proceedings of the IJCAI 2013, 2013

Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization.
Proceedings of the 30th International Conference on Machine Learning, 2013

Improving Your Chances: Boosting Citizen Science Discovery.
Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing, 2013

Large Landscape Conservation - Synthetic and Real-World Datasets.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Robust Network Design For Multispecies Conservation.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Uniform Solution Sampling Using a Constraint Solver As an Oracle.
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

SMT-Aided Combinatorial Materials Discovery.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Learning Policies for Battery Usage Optimization in Electric Vehicles.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012

Density Propagation and Improved Bounds on the Partition Function.
Proceedings of the Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Proceedings of a meeting held December 3-6, 2012

eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research.
Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, 2012

Probabilistic planning with non-linear utility functions and worst-case guarantees.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

From Streamlined Combinatorial Search to Efficient Constructive Procedures.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Introduction to special issue on computational sustainability.
ACM TIST, 2011

Generating highly balanced sudoku problems as hard problems.
J. Heuristics, 2011

Accelerated Adaptive Markov Chain for Partition Function Computation.
Proceedings of the Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011. Proceedings of a meeting held 12-14 December 2011, 2011

Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems.
Proceedings of the IJCAI 2011, 2011

A Flat Histogram Method for Computing the Density of States of Combinatorial Problems.
Proceedings of the IJCAI 2011, 2011

Risk-Sensitive Policies for Sustainable Renewable Resource Allocation.
Proceedings of the IJCAI 2011, 2011

Computational Sustainability.
Proceedings of the Advances in Intelligent Data Analysis X - 10th International Symposium, 2011

Upgrading Shortest Paths in Networks.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 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), 2011

The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Maximizing the Spread of Cascades Using Network Design.
Proceedings of the UAI 2010, 2010

Playing games against nature: optimal policies for renewable resource allocation.
Proceedings of the UAI 2010, 2010

Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel.
Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010

Challenges for CPAIOR in Computational Sustainability.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Solving Connected Subgraph Problems in Wildlife Conservation.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Computing the Density of States of Boolean Formulas.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

An Empirical Study of Optimization for Maximizing Diffusion in Networks.
Proceedings of the Principles and Practice of Constraint Programming - CP 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), 2010

2009
Model Counting.
Proceedings of the Handbook of Satisfiability, 2009

Exploiting Runtime Variation in Complete Solvers.
Proceedings of the Handbook of Satisfiability, 2009

A generative power-law search tree model.
Computers & OR, 2009

Backdoors in the Context of Learning.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT.
Proceedings of the IJCAI 2009, 2009

Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search.
Proceedings of the IJCAI 2009, 2009

Learning Optimal Subsets with Implicit User Preferences.
Proceedings of the IJCAI 2009, 2009

Backdoors to Combinatorial Optimization: Feasibility and Optimality.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Challenges for Constraint Reasoning and Optimization in Computational Sustainability.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Satisfiability Solvers.
Proceedings of the Handbook of Knowledge Representation, 2008

Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Connections in Networks: A Hybrid Approach.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007
Regular-SAT: A many-valued approach to solving combinatorial problems.
Discrete Applied Mathematics, 2007

Sampling and Soundness: Can We Have Both?
Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, 2007

Short XORs for Model Counting: From Theory to Practice.
Proceedings of the Theory and Applications of Satisfiability Testing, 2007

SAT Encodings of State-Space Reachability Problems in Numeric Domains.
Proceedings of the IJCAI 2007, 2007

From Sampling to Model Counting.
Proceedings of the IJCAI 2007, 2007

Connections in Networks: Hardness of Feasibility Versus Optimality.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

Tradeoffs in the Complexity of Backdoor Detection.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Optimal Multi-Agent Scheduling with Constraint Programming.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Counting CSP Solutions Using Generalized XOR Constraints.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

The Impact of Network Topology on Pure Nash Equilibria in Graphical Games.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Randomness and Structure.
Proceedings of the Handbook of Constraint Programming, 2006

QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency.
Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints.
Proceedings of the Advances in Neural Information Processing Systems 19, 2006

Adventures in Randomized Computational Methods.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

The Power of Semidefinite Programming Relaxations for MAX-SAT.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Constraint Programming for Distributed Planning and Scheduling.
Proceedings of the Distributed Plan and Schedule Management, 2006

Model Counting: A New Strategy for Obtaining Good Bounds.
Proceedings of the Proceedings, 2006

The Impact of Balancing on Problem Hardness in a Highly Structured Domain.
Proceedings of the Proceedings, 2006

2005
Sensor networks and distributed CSP: communication, computation and complexity.
Artif. Intell., 2005

Streamlining Local Search for Spatially Balanced Latin Squares.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

LP as a Global Search Heuristic Across Different Constrainedness Regions.
Proceedings of the Principles and Practice of Constraint Programming, 2005

The Achilles' Heel of QBF.
Proceedings of the Proceedings, 2005

2004
Approximations and Randomization to Boost CSP Techniques.
Annals OR, 2004

The Challenge of Generating Spatially Balanced Scientific Experiment Designs.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

The Cardinality Matrix Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Quality of LP-Based Approximations for Highly Combinatorial Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Streamlined Constraint Reasoning.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Statistical Regimes Across Constrainedness Regions.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2003
Técnicas de resolución de problemas de satisfacción de restricciones.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 2003

An improved approximation algorithm for the partial latin square extension problem.
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2003

Backdoors To Typical Case Complexity.
Proceedings of the IJCAI-03, 2003

Grid-based SensorDCSP.
Proceedings of the IJCAI-03, 2003

2002
AAAI 2002 Workshops.
AI Magazine, 2002

AAAI 2002 Fall Symposium Series Reports.
AI Magazine, 2002

Communication and Computation in Distributed CSP Algorithms.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Dynamic Restart Policies.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
On the intersection of AI and OR.
Knowledge Eng. Review, 2001

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).
Electronic Notes in Discrete Mathematics, 2001

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report).
Electronic Notes in Discrete Mathematics, 2001

Extending the Reach of SAT with Many-Valued Logics.
Electronic Notes in Discrete Mathematics, 2001

AAAI 2000 Workshop Reports.
AI Magazine, 2001

Algorithm portfolios.
Artif. Intell., 2001

A Bayesian Approach to Tackling Hard Computational Problems.
Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

Balance and Filtering in Structured Satisfiable Problems.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Formal Models of Heavy-Tailed Behavior in Combinatorial Search.
Proceedings of the Principles and Practice of Constraint Programming, 2001

Capturing Structure with Satisfiability.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems.
J. Autom. Reasoning, 2000

Hybrid Search Strategies for Heterogeneous Search Spaces.
International Journal on Artificial Intelligence Tools, 2000

Structure, Duality, and Randomization: Common Themes in AI and OR.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

Generating Satisfiable Problem Instances.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Search Strategies for Hybrid Search Spaces.
Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

On the Fine Structure of Large Search Spaces.
Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

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, 1998

Boosting Combinatorial Search Through Randomization.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Algorithm Portfolio Design: Theory vs. Practice.
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

A Transformational Approach Applied to Outage Management of Nuclear Power Plants.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Heavy-Tailed Distributions in Combinatorial Search.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Problem Structure in the Presence of Perturbations.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
ABA: An Assignment Based Algorithm for Resource Allocation.
SIGART Bulletin, 1996

Synthesis of schedulers for planned shutdowns of power plants.
Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

1994
A Distributed Scheduling Framework.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994


  Loading...