C. Gomes

发表

Computational Sustainability: Computational methods for a sustainable environment, economy, and society

C. Gomes, 2009 .

CRYSTAL: a multi-agent AI system for automated mapping of materials’ crystal structures

R. V. Dover, S. Suram, Yexiang Xue, 2019, MRS Communications.

Model Counting: A New Strategy for Obtaining Good Bounds

Bart Selman, Ashish Sabharwal, Carla P. Gomes, 2006, AAAI.

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)

Bart Selman, Henry A. Kautz, Mark E. Stickel, 2001, Electron. Notes Discret. Math..

Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems

Bart Selman, Henry A. Kautz, Carla P. Gomes, 2000, Journal of Automated Reasoning.

Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa

Stefano Ermon, Theodoros Damoulas, Bistra N. Dilkina, 2015, AAAI.

Completing Quasigroups or Latin Squares: A Structured Graph Coloring Problem

D. Shmoys, C. Gomes, 2002 .

Problem Structure in the Presence of Perturbations

Bart Selman, Carla P. Gomes, B. Selman, 1997, AAAI/IAAI.

Understanding Batch Normalization

Carla P. Gomes, Bart Selman, Johan Bjorck, 2018, NeurIPS.

Computational sustainability

Thomas G. Dietterich, Steve Kelling, Warren B. Powell, 2011, AI Mag..

Satisfied with Physics

B. Selman, C. Gomes, 2002, Science.

Algorithm portfolios

Bart Selman, Carla P. Gomes, B. Selman, 2001, Artif. Intell..

Hill‐climbing Search

B. Selman, C. Gomes, 2006 .

Artificial intelligence for materials discovery

B. Selman, J. Gregoire, C. Gomes, 2019, MRS Bulletin.

Game Playing Techniques for Optimization Under Uncertainty

Ashish Sabharwal, Carla P. Gomes, Kiyan Ahmadizadeh, 2010 .

Chapter 18 APPROXIMATION ALGORITHMS

C. Gomes, 2006 .

The Promise of LP to Boost CSP Techniques for Combinatorial Problems

D. Shmoys, C. Gomes, 2002 .

Chapter 18 Randomness and Structure

C. Gomes, T. Walsh, 2022 .

Structure and Problem Hardness: Asymmetry and DPLL Proofs in SAT-Based Planning

J. Hoffmann, B. Selman, C. Gomes, 2005 .

Extending the Reach of Proof Planning by Randomization and Restart Techniques

C. Gomes, A. Meier, E. Melis, 2006 .

Generating Hard Satisfiable Scheduling Instances

C. Gomes, R. Béjar, F. Manyà, 2014 .

Modularity and Complexity Profiles in Overconstrained Resource Allocation Problems

B. Selman, C. Gomes, A. Bugacov, 2002 .

ROMAN-An Application of Advanced Technology to Outage Management

Karen M. Alguire, C. Gomes, 1996 .

Technology for Planning and Scheduling UnderComplex

C. Gomes, ConstraintsKaren, M. Alguire, 2007 .

Monitoring A , While Hoping for A & B : Experimental Evidence from a Multidimensional Task ∗ Preliminary and incomplete

Ronan Le Bras, C. Gomes, Elizabeth Lyons, 2016 .

Extending the reach of complete search methods

C. Gomes, 2004 .

Tepper School of Business 7-2007 Counting CSP Solutions Using Generalized XOR Constraints

Ashish Sabharwal, B. Selman, C. Gomes, 2015 .

Productive Spillovers of the Take-up of Index-Based Livestock Insurance

Richard Bernstein, C. Gomes, C. Barrett, 2014 .

Improving Your Chances: Boosting Citizen Science Discovery

Steve Kelling, Theodoros Damoulas, Bistra N. Dilkina, 2013, HCOMP.

Don’t Follow the Crowd: Incentives for Directed Spatial Sampling

Yexiang Xue, Richard Bernstein, C. Gomes, 2017 .

Optimal Corridor Design for Grizzly Bear in the U.S. Northern Rockies

Jon M. Conrad, Ashish Sabharwal, Carla P. Gomes, 2008 .

Task-Based Learning via Task-Oriented Prediction Network pdf

Yada Zhu, Carla P. Gomes, Di Chen, 2019, ArXiv.

Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks

Carla P. Gomes, Yexiang Xue, Qinru Shi, 2018, CPAIOR.

Reducing greenhouse gas emissions of Amazon hydropower with strategic dam planning

Jonathan M. Gomes-Selman, S. Hamilton, Yexiang Xue, 2019, Nature Communications.

Randomization and Restarts in Proof Planning

C. Gomes, A. Meier, E. Melis, 2014 .

Extending the Rea h of Proof Planning byRandomization and Restart

C. Gomes, E. Melis, Teresa Meier, 2001 .

Grid-based SensorDCSP

C. Domshlak, B. Selman, C. Gomes, 2003, IJCAI.

Bias Reduction via End-to-End Shift Learning: Application to Citizen Science

Di Chen, Carla P. Gomes, C. Gomes, 2018, AAAI.

Introduction to special issue on computational sustainability

Qiang Yang, Carla P. Gomes, Qiang Yang, 2011, TIST.

Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning

B. Selman, C. Gomes, Dieqiao Feng, 2022, 2206.14298.

Branch and bound algorithm selection by performance prediction

Henry Kautz, David Maxwell Chickering, Eric Horvitz, 2001, Conference on Uncertainty in Artificial Intelligence.

Conspicuous monitoring and remote work

Ronan Le Bras, C. Gomes, Elizabeth Lyons, 2020, Journal of Economic Behavior & Organization.

A Bayesian Approach to Solving Hard Computational Problems

Eric Horvitz, Bart Selman, Henry A. Kautz, 2016 .

Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance

Yada Zhu, Carla P. Gomes, Di Chen, 2019, IJCAI.

Graph Value Iteration

B. Selman, C. Gomes, Dieqiao Feng, 2022, 2209.09608.

An improvement performance guarantee for the partial latin square problem

David B. Shmoys, Rommel G. Regis, Carla P. Gomes, 2002 .

Heavy-Tailed Behavior and Randomization in Proof Planning

C. Gomes, A. Meier, E. Melis, 2001 .

Boosting Reasoning Technology Through Randomization, Structure Discovery, and Hybrid Strategies

B. Selman, C. Gomes, C. Kreitz, 2003 .

Playing games against nature: optimal policies for renewable resource allocation

Bart Selman, Stefano Ermon, Carla P. Gomes, 2010, UAI.

Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning

John M. Gregoire, Carla P. Gomes, Sebastian Ament, 2020, ICML.

A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances

Carla P. Gomes, Bart Selman, Dieqiao Feng, 2021, NeurIPS.

Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species Distribution Models

Steve Kelling, Theodoros Damoulas, Carla P. Gomes, 2014, AI Mag..

Zero Training Overhead Portfolios for Learning to Solve Combinatorial Problems

C. Gomes, Wenting Zhao, Yiwei Bai, 2021, ArXiv.

Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model

Carla P. Gomes, Junwen Bai, Shufeng Kong, 2020, IJCAI.

Deep Multi-species Embedding pdf

Yexiang Xue, Di Chen, Carla P. Gomes, 2016, IJCAI.

Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Network

Xiaojian Wu, Carla P. Gomes, Yexiang Xue, 2017, AAAI.

Backdoors To Typical Case Complexity

Bart Selman, Ryan Williams, Carla P. Gomes, 2003, IJCAI.

Statistical Regimes Across Constrainedness Regions

Christian Bessiere, Bart Selman, Cèsar Fernández, 2004, Constraints.

Solution Techniques for Constraint Satisfaction Problems

Felip Manyà, Carla P. Gomes, C. Gomes, 2003 .

Approximations and Randomization

Ryan Williams, Carla P. Gomes, C. Gomes, 2014 .

An Empirical Study of Optimization for Maximizing Diffusion in Networks

Ashish Sabharwal, Bistra N. Dilkina, Carla P. Gomes, 2010, CP.

Connections in Networks: A Hybrid Approach

Ashish Sabharwal, Willem Jan van Hoeve, Carla P. Gomes, 2008, CPAIOR.

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report) pdf

David Maxwell Chickering, Eric Horvitz, Bart Selman, 2001, Electron. Notes Discret. Math..

Phase Mapper: Accelerating Materials Discovery with AI

Ronan Le Bras, Santosh K. Suram, John M. Gregoire, 2018, AI Mag..

Regular-SAT: A many-valued approach to solving combinatorial problems

Ramón Béjar, Cèsar Fernández, Alba Cabiscol, 2007, Discret. Appl. Math..

Probabilistic planning with non-linear utility functions and worst-case guarantees

Bart Selman, Stefano Ermon, Alexander Vladimirsky, 2012, AAMAS.

The eBird enterprise: An integrated approach to development and application of citizen science

Thomas G. Dietterich, Steve Kelling, Jeff Gerbracht, 2014 .

The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species

Carla P. Gomes, Claire A. Montgomery, David E. Calkin, 2011, AAAI.

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning pdf

Jörg Hoffmann, Bart Selman, Carla P. Gomes, 2006, Log. Methods Comput. Sci..

Randomized Backtrack Search

Carla P. Gomes, C. Gomes, 2004 .

Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel

Theodoros Damoulas, Andrew Farnsworth, Carla P. Gomes, 2010, 2010 Ninth International Conference on Machine Learning and Applications.

Challenges for CPAIOR in Computational Sustainability

Carla P. Gomes, C. Gomes, 2010, CPAIOR.

Challenges for Constraint Reasoning and Optimization in Computational Sustainability

Carla P. Gomes, C. Gomes, 2009, CP.

HEAVY TAILS, PHASE TRANSITIONS, AND THE NATURE OF CUTOFF

Stephen B. Wicker, Bart Selman, Xi Xie, 2002 .

On the fine structure of large search spaces

Bart Selman, Carla P. Gomes, B. Selman, 1999, Proceedings 11th International Conference on Tools with Artificial Intelligence.

Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems

Bart Selman, Kenneth McAloon, Carla P. Gomes, 1998, AIPS.

Boosting Combinatorial Search Through Randomization

Bart Selman, Henry A. Kautz, Carla P. Gomes, 1998, AAAI/IAAI.

Heavy-Tailed Distributions in Combinatorial Search

Bart Selman, Carla P. Gomes, Nuno Crato, 1997, CP.

Model Counting

Bart Selman, Ashish Sabharwal, Carla P. Gomes, 2021, Handbook of Satisfiability.

Constraint Programming for Distributed Planning and Scheduling

Bart Selman, Willem Jan van Hoeve, Carla P. Gomes, 2006, AAAI Spring Symposium: Distributed Plan and Schedule Management.

Structure, Duality, and Randomization: Common Themes in AI and OR

Carla P. Gomes, C. Gomes, 2000, AAAI/IAAI.

Artificial intelligence and operations research: challenges and opportunities in planning and scheduling

Carla P. Gomes, C. Gomes, 2000, The Knowledge Engineering Review.

Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling

Ronan Le Bras, Theodoros Damoulas, Ashish Sabharwal, 2011, CP.

From Sampling to Model Counting

Jörg Hoffmann, Bart Selman, Ashish Sabharwal, 2007, IJCAI.

Provable Optimization of Quantal Response Leader-Follower Games with Exponentially Large Action Spaces

Christopher Wood, Yexiang Xue, C. Gomes, 2023, AAMAS.

Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation

Jae Hee Lee, Junwen Bai, Shufeng Kong, 2020, IJCAI.

Spatially-Balanced Complete Block designs for field experiments

Meinolf Sellmann, Carla P. Gomes, H. M. van Es, 2007 .

Wildlife corridors as a connected subgraph problem

Jon M. Conrad, Ashish Sabharwal, Carla P. Gomes, 2012 .

Solving Connected Subgraph Problems in Wildlife Conservation

Bistra N. Dilkina, Carla P. Gomes, C. Gomes, 2010, CPAIOR.

Climate change may impair electricity generation and economic viability of future Amazon hydropower

Phillip M. Hannam, S. Hamilton, C. Gomes, 2021, Global Environmental Change.

eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research

Jun Yu, Steve Kelling, Jeff Gerbracht, 2012, IAAI.

Structure and Randomness

C. Gomes, T. Walsh, 2006 .

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability

Ronan Le Bras, Marcelo Finger, Carla P. Gomes, 2013, SAT.

Deep Reasoning Networks: Thinking Fast and Slow pdf

John M. Gregoire, Carla P. Gomes, Sebastian Ament, 2019, ArXiv.

Satisfiability Solvers

Bart Selman, Henry A. Kautz, Ashish Sabharwal, 2008, Handbook of Knowledge Representation.

Maximizing the Spread of Cascades Using Network Design pdf

David B. Shmoys, Adam N. Elmachtoub, Ashish Sabharwal, 2010, UAI.

Designing Fast Absorbing Markov Chains

Bart Selman, Stefano Ermon, Ashish Sabharwal, 2014, AAAI.

End-to-End Learning for the Deep Multivariate Probit Model

Di Chen, Carla P. Gomes, Yexiang Xue, 2018, ICML.

Learning policies for battery usage optimization in electric vehicles

Bart Selman, Stefano Ermon, Carla P. Gomes, 2012, Machine Learning.

End-to-End Refinement Guided by Pre-trained Prototypical Classifier

Yexiang Xue, Junwen Bai, Zihang Lai, 2018, 1805.08698.

Formal Models of Heavy-Tailed Behavior in Combinatorial Search

Bart Selman, Hubie Chen, Carla P. Gomes, 2001, CP.

Dynamic restart policies

Eric Horvitz, Bart Selman, Henry A. Kautz, 2002, AAAI/IAAI.

Avicaching: A Two Stage Game for Bias Reduction in Citizen Science

Carla P. Gomes, Yexiang Xue, Ian Davies, 2016, AAMAS.

Approximations and Randomization to Boost CSP Techniques

David B. Shmoys, Carla P. Gomes, D. Shmoys, 2004, Ann. Oper. Res..

Using uncertainty within computation : papers from the 2001 AAAI Fall Symposium, November 2-4, North Falmouth, Massachusetts

Toby Walsh, Carla P. Gomes, C. Gomes, 2001 .

Automatic Detection and Compression for Passive Acoustic Monitoring of the African Forest Elephant

Di Chen, Carla P. Gomes, Johan Bjorck, 2019, AAAI.

Upgrading Shortest Paths in Networks

Bistra N. Dilkina, Carla P. Gomes, Katherine J. Lai, 2011, CPAIOR.

A Human Computation Framework for Boosting Combinatorial Solvers

Ronan Le Bras, Carla P. Gomes, Yexiang Xue, 2014, HCOMP.

Crowdsourcing Backdoor Identification for Combinatorial Optimization

Ronan Le Bras, Carla P. Gomes, Bart Selman, 2013, IJCAI.

Backdoors to Combinatorial Optimization: Feasibility and Optimality

Yuri Malitsky, Meinolf Sellmann, Ashish Sabharwal, 2009, CPAIOR.

Large Landscape Conservation - Synthetic and Real-World Datasets

Ronan Le Bras, Ashish Sabharwal, Carla P. Gomes, 2013, AAAI.

Connections in Networks: Hardness of Feasibility Versus Optimality

Ashish Sabharwal, Willem Jan van Hoeve, Carla P. Gomes, 2007, CPAIOR.

Incorporating Economic and Ecological Information into the Optimal Design of Wildlife Corridors

Jon M. Conrad, Ashish Sabharwal, Carla P. Gomes, 2010 .

Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints

Bart Selman, Ashish Sabharwal, Carla P. Gomes, 2006, NIPS.

Uniform Solution Sampling Using a Constraint Solver As an Oracle

Bart Selman, Stefano Ermon, Carla P. Gomes, 2012, UAI.

Task-Based Learning.

C. Gomes, Yada Zhu, Xiaodong Cui, 2019 .

Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance

Yada Zhu, Carla P. Gomes, Di Chen, 2019, IJCAI.

Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model

Junwen Bai, C. Gomes, Shufeng Kong, 2020, IJCAI.

On the Erd˝ os Discrepancy Problem*

Bart Selman, Ronan Le Bras, Carla P. Gomes, 2014 .

Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search

Yunsong Guo, Carla P. Gomes, C. Gomes, 2009, IJCAI.

The Achilles' Heel of QBF

Bart Selman, Carlos Ansótegui, Carla P. Gomes, 2005, AAAI.

Multi-Entity Dependence Learning with Rich Context via Conditional Variational Auto-encoder pdf

Di Chen, Carla P. Gomes, Yexiang Xue, 2017, AAAI.

Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning pdf

Carla P. Gomes, Bart Selman, Dieqiao Feng, 2020, IJCAI.

Randomness and Structure

Toby Walsh, Carla P. Gomes, C. Gomes, 2006, Handbook of Constraint Programming.

Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery

Stefano Ermon, Ronan Le Bras, Santosh K. Suram, 2014, AAAI.

Streamlined Constraint Reasoning

Meinolf Sellmann, Carla P. Gomes, C. Gomes, 2004, CP.

Variable Elimination in the Fourier Domain

Stefano Ermon, Ronan Le Bras, Carla P. Gomes, 2015, ICML.

Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin

Carla P. Gomes, Yexiang Xue, Scott Steinschneider, 2018, AAAI.

Optimization With Parity Constraints: From Binary Codes to Discrete Integration pdf

Bart Selman, Stefano Ermon, Ashish Sabharwal, 2013, UAI.

Discrete Integration by Decoding Binary Codes

Bart Selman, Stefano Ermon, Ashish Sabharwal, 2013 .

Density Propagation and Improved Bounds on the Partition Function

Bart Selman, Stefano Ermon, Ashish Sabharwal, 2012, NIPS.

Risk-Sensitive Policies for Sustainable Renewable Resource Allocation

Bart Selman, Stefano Ermon, Carla P. Gomes, 2011, IJCAI.

Efficiently Optimizing for Dendritic Connectivity on Tree-Structured Networks in a Multi-Objective Framework

Carla P. Gomes, Qinru Shi, Roosevelt García-Villacorta, 2018, COMPASS.

A Human/Computer Learning Network to Improve Biodiversity Conservation and Research

Jun Yu, Steve Kelling, Jeff Gerbracht, 2012, AI Mag..

Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information

J. Andrew Royle, XiaoJian Wu, Bistra N. Dilkina, 2017, AAAI.

Generating highly balanced sudoku problems as hard problems

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2011, J. Heuristics.

Low-density Parity Constraints for Hashing-Based Discrete Integration

Bart Selman, Stefano Ermon, Ashish Sabharwal, 2014, ICML.

Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization pdf

Bart Selman, Stefano Ermon, Ashish Sabharwal, 2013, ICML.

Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model

Junwen Bai, C. Gomes, Shufeng Kong, 2020, IJCAI.

Satisfiability Solvers

Henry A. Kautz, Ashish Sabharwal, B. Selman, 2008, Handbook of Knowledge Representation.

Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

C. Gomes, Armin Biere, 2006, SAT.

The Power of Semidefinite Programming Relaxations for MAX-SAT

Willem Jan van Hoeve, Carla P. Gomes, Lucian Leahu, 2006, CPAIOR.

Handbook of Knowledge Representation Edited Satisfiability Solvers

Henry A. Kautz, Ashish Sabharwal, B. Selman, 2022 .

Synthesis of schedulers for planned shutdowns of power plants

Douglas R. Smith, Stephen J. Westfold, Carla P. Gomes, 1996, Proceedings of the 11th Knowledge-Based Software Engineering Conference.

SAT Encodings of State-Space Reachability Problems in Numeric Domains

Jörg Hoffmann, Bart Selman, Henry A. Kautz, 2007, IJCAI.

Generating Satisfiable Problem Instances

Bart Selman, Henry A. Kautz, Carla P. Gomes, 2000, AAAI/IAAI.

Communication and Computation in Distributed CSP Algorithms

Bhaskar Krishnamachari, Ramón Béjar, Cèsar Fernández, 2002, CP.

Distributed Constraint Satisfaction in a Wireless Sensor Tracking System

Bhaskar Krishnamachari, Ramón Béjar, Carla P. Gomes, 2001 .

Exponentially-Modified Gaussian Mixture Model: Applications in Spectroscopy pdf

John M. Gregoire, Carla P. Gomes, Sebastian Ament, 2019, ArXiv.

Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery

Ronan Le Bras, Santosh K. Suram, John M. Gregoire, 2016, AAAI.

Balance and Filtering in Structured Satisfiable Problems

Bart Selman, Henry A. Kautz, Mark E. Stickel, 2001, IJCAI.

SMT-Aided Combinatorial Materials Discovery

Stefano Ermon, Ronan Le Bras, Carla P. Gomes, 2012, SAT.

ABA: an assignment based algorithm for resource allocation

Carla P. Gomes, Julie Hsu, C. Gomes, 1996, SGAR.