| 2026 | AAAI | Scientifically-Interpretable Reasoning Network (ScIReN): Discovering Hidden Relationships in the Carbon Cycle and Beyond. | Joshua Fan, Haodi Xu, Feng Tao, Md Nasim, Marc Grimson, Yiqi Luo, Carla P. Gomes |
| 2026 | AAAI | LabelKAN - Kolmogorov-Arnold Networks for Inter-Label Learning: Avian Community Learning. | Marc Grimson, Joshua Fan, Courtney L. Davis, Dylan van Bramer, Daniel Fink, Carla P. Gomes |
| 2026 | AAAI | Unsupervised Combinatorial Probabilistic Reasoning: Probabilistic Coin Change Problem. | Zhongdi Qu, Yingheng Wang, Utku Umur Acikalin, Aaron M. Ferber, Goncalo J. Gouveia, Brandon Bills, Guohui Li, Joshua Kline, Sunandini Yedla, Xiao Wang, Frank C. Schroeder, Carla P. Gomes |
| 2026 | ACL | Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning. | Yibo Yan, Shen Wang, Jiahao Huo, Jingheng Ye, Zhendong Chu, Xuming Hu, Philip S. Yu, Carla P. Gomes, Bart Selman, Qingsong Wen |
| 2025 | AAAI | Constraint-aware Pareto Optimization for Tree-Structured Networks: Addressing Decarbonization Targets with Hydropower Expansion. | Marc Grimson, Zhongdi Qu, Yue Mao, Aaron M. Ferber, Felipe Siqueira Pacheco, Sebastian Heilpern, Hector Angarita, Alexander Flecker, Carla P. Gomes |
| 2025 | AISTATS | Diffusion Models as Constrained Samplers for Optimization with Unknown Constraints. | Lingkai Kong, Yuanqi Du, Wenhao Mu, Kirill Neklyudov, Valentin De Bortoli, Dongxia Wu, Haorui Wang, Aaron M. Ferber, Yian Ma, Carla P. Gomes, Chao Zhang |
| 2025 | CPAIOR | Reducing Income Variability in Natural Resource Portfolios via Integer Programming. | Laura Greenstreet, Qinru Shi, Marc Grimson, Franz W. Simon, Suresh Andrew Sethi, Carla P. Gomes, Andrea Lodi, David B. Shmoys |
| 2025 | ICCV | Improving Multislice Electron Ptychography with a Generative Prior. | Christian K. Belardi, Chia-Hao Lee, Yingheng Wang, Justin Lovelace, Kilian Q. Weinberger, David A. Muller, Carla P. Gomes |
| 2025 | ICLR | Learning to Explore and Exploit with GNNs for Unsupervised Combinatorial Optimization. | Utku Umur Acikalin, Aaron M. Ferber, Carla P. Gomes |
| 2025 | ICLR | On Speeding Up Language Model Evaluation. | Jin Peng Zhou, Christian K. Belardi, Ruihan Wu, Travis Zhang, Carla P. Gomes, Wen Sun, Kilian Q. Weinberger |
| 2025 | ICML | PhantomWiki: On-Demand Datasets for Reasoning and Retrieval Evaluation. | Albert Gong, Kamile Stankeviciute, Chao Wan, Anmol Kabra, Raphael Thesmar, Johann Lee, Julius Klenke, Carla P. Gomes, Kilian Q. Weinberger |
| 2025 | IJCAI | Expanding Connected Components from Alternative Terminals: Global Optimization for Freshwater Fishes Under the UN's 30x30 Conservation Goal. | Yue Mao, Zhongdi Qu, Imanol Miqueleiz, Aaron M. Ferber, Sami Wolf, Marc Grimson, Sebastian Heilpern, Felipe Siqueira Pacheco, Alexander S. Flecker, Peter B. McIntyre, Carla P. Gomes |
| 2024 | AAAI | Scaling Up Pareto Optimization for Tree Structures with Affine Transformations: Evaluating Hybrid Floating Solar-Hydropower Systems in the Amazon. | Marc Grimson, Rafael Almeida, Qinru Shi, Yiwei Bai, Hector Angarita, Felipe Siqueira Pacheco, Rafael Schmitt, Alexander Flecker, Carla P. Gomes |
| 2024 | AAAI | Conformal Crystal Graph Transformer with Robust Encoding of Periodic Invariance. | Yingheng Wang, Shufeng Kong, John M. Gregoire, Carla P. Gomes |
| 2024 | CPAIOR | Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin. | Zhongdi Qu, Marc Grimson, Yue Mao, Sebastian Heilpern, Imanol Miqueleiz, Felipe Siqueira Pacheco, Alexander Flecker, Carla P. Gomes |
| 2023 | CP | A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper). | Renee Mirka, Laura Greenstreet, Marc Grimson, Carla P. Gomes |
| 2023 | CPAIOR | Efficiently Approximating High-Dimensional Pareto Frontiers for Tree-Structured Networks Using Expansion and Compression. | Yiwei Bai, Qinru Shi, Marc Grimson, Alexander Flecker, Carla P. Gomes |
| 2023 | ICML | Weighted Sampling without Replacement for Deep Top-k Classification. | Dieqiao Feng, Yuanqi Du, Carla P. Gomes, Bart Selman |
| 2023 | ICMLA | Physically Informed Graph-Based Deep Reasoning Net for Efficient Combinatorial Phase Mapping. | Yimeng Min, Ming-Chiang Chang, Shufeng Kong, John M. Gregoire, R. Bruce van Dover, Michael O. Thompson, Carla P. Gomes |
| 2023 | IJCAI | IPGPT: Solving Integer Programming Problems with Sequence to Contrastive Multi-Label Learning. | Shufeng Kong, Caihua Liu, Carla P. Gomes |
| 2023 | PERCOM | Keynote: AI for Scientific Discovery and a Sustainable Future. | Carla P. Gomes |
| 2022 | AAAI | A GNN-RNN Approach for Harnessing Geospatial and Temporal Information: Application to Crop Yield Prediction. | Joshua Fan, Junwen Bai, Zhiyun Li, Ariel Ortiz-Bobea, Carla P. Gomes |
| 2022 | AISTATS | The Fast Kernel Transform. | John Paul Ryan, Sebastian E. Ament, Carla P. Gomes, Anil Damle |
| 2022 | ICASSP | Generalized Matching Pursuits for the Sparse Optimization of Separable Objectives. | Sebastian Ament, Carla P. Gomes |
| 2022 | ICLR | Is High Variance Unavoidable in RL? A Case Study in Continuous Control. | Johan Bjorck, Carla P. Gomes, Kilian Q. Weinberger |
| 2022 | ICML | Scalable First-Order Bayesian Optimization via Structured Automatic Differentiation. | Sebastian E. Ament, Carla P. Gomes |
| 2022 | ICML | Gaussian Mixture Variational Autoencoder with Contrastive Learning for Multi-Label Classification. | Junwen Bai, Shufeng Kong, Carla P. Gomes |
| 2022 | IJCAI | Monitoring Vegetation From Space at Extremely Fine Resolutions via Coarsely-Supervised Smooth U-Net. | Joshua Fan, Di Chen, Jiaming Wen, Ying Sun, Carla P. Gomes |
| 2021 | AAAI | HOT-VAE: Learning High-Order Label Correlation for Multi-Label Classification via Attention-Based Variational Autoencoders. | Wenting Zhao, Shufeng Kong, Junwen Bai, Daniel Fink, Carla P. Gomes |
| 2021 | AAAI | Characterizing the Loss Landscape in Non-Negative Matrix Factorization. | Johan Bjorck, Anmol Kabra, Kilian Q. Weinberger, Carla P. Gomes |
| 2021 | AAAI | Accelerating Ecological Sciences from Above: Spatial Contrastive Learning for Remote Sensing. | Johan Bjorck, Brendan H. Rappazzo, Qinru Shi, Carrie Brown-Lima, Jennifer Dean, Angela Fuller, Carla P. Gomes |
| 2021 | AAAI | Learning Augmented Methods for Matching: Improving Invasive Species Management and Urban Mobility. | Johan Bjorck, Qinru Shi, Carrie Brown-Lima, Jennifer Dean, Angela Fuller, Carla P. Gomes |
| 2021 | AAAI | Understanding Decoupled and Early Weight Decay. | Johan Bjorck, Kilian Q. Weinberger, Carla P. Gomes |
| 2021 | AAAI | EeLISA: Combating Global Warming Through the Rapid Analysis of Eelgrass Wasting Disease. | Brendan H. Rappazzo, Morgan E. Eisenlord, Olivia J. Graham, Lillian R. Aoki, Phoebe D. Dawkins, Drew Harvell, Carla P. Gomes |
| 2021 | CP | CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games. | Yiwei Bai, Di Chen, Carla P. Gomes |
| 2021 | ICASSP | On the Optimality of Backward Regression: Sparse Recovery and Subset Selection. | Sebastian Ament, Carla P. Gomes |
| 2021 | ICML | Sparse Bayesian Learning via Stepwise Regression. | Sebastian E. Ament, Carla P. Gomes |
| 2021 | ICML | Low-Precision Reinforcement Learning: Running Soft Actor-Critic in Half Precision. | Johan Bjrck, Xiangyu Chen, Christopher De Sa, Carla P. Gomes, Kilian Q. Weinberger |
| 2021 | SmartComp | Keynote 2 - Computational Sustainability: Computing for a Better World and a Sustainable Future. | Carla P. Gomes |
| 2020 | ICML | Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning. | Di Chen, Yiwei Bai, Wenting Zhao, Sebastian Ament, John M. Gregoire, Carla P. Gomes |
| 2020 | IJCAI | Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model. | Junwen Bai, Shufeng Kong, Carla P. Gomes |
| 2020 | IJCAI | Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance. | Di Chen, Yada Zhu, Xiaodong Cui, Carla P. Gomes |
| 2020 | IJCAI | Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. | Dieqiao Feng, Carla P. Gomes, Bart Selman |
| 2020 | IJCAI | Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation. | Shufeng Kong, Junwen Bai, Jae Hee Lee, Di Chen, Andrew Allyn, Michelle Stuart, Malin Pinsky, Katherine Mills, Carla P. Gomes |
| 2019 | AAAI | Automatic Detection and Compression for Passive Acoustic Monitoring of the African Forest Elephant. | Johan Bjorck, Brendan H. Rappazzo, Di Chen, Richard Bernstein, Peter H. Wrege, Carla P. Gomes |
| 2019 | AAAI | Bias Reduction via End-to-End Shift Learning: Application to Citizen Science. | Di Chen, Carla P. Gomes |
| 2019 | ICAART | Computational Sustainability. | Carla P. Gomes |
| 2019 | ICASSP | Imitation Refinement for X-ray Diffraction Signal Processing. | Junwen Bai, Zihang Lai, Runzhe Yang, Yexiang Xue, John M. Gregoire, Carla P. Gomes |
| 2018 | AAAI | Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Networks. | Johan Bjorck, Yiwei Bai, Xiaojian Wu, Yexiang Xue, Mark C. Whitmore, Carla P. Gomes |
| 2018 | AAAI | Multi-Entity Dependence Learning With Rich Context via Conditional Variational Auto-Encoder. | Luming Tang, Yexiang Xue, Di Chen, Carla P. Gomes |
| 2018 | AAAI | Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin. | Xiaojian Wu, Jonathan Gomes-Selman, Qinru Shi, Yexiang Xue, Roosevelt Garca-Villacorta, Elizabeth Anderson, Suresh Sethi, Scott Steinschneider, Alexander Flecker, Carla P. Gomes |
| 2018 | CP | Extending the Capacity of 1 / f Noise Generation. | Guillaume Perez, Brendan Rappazzo, Carla P. Gomes |
| 2018 | CPAIOR | An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science. | Junwen Bai, Sebastian Ament, Guillaume Perez, John M. Gregoire, Carla P. Gomes |
| 2018 | CPAIOR | Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks. | Jonathan Michael Gomes Selman, Qinru Shi, Yexiang Xue, Roosevelt Garca-Villacorta, Alexander S. Flecker, Carla P. Gomes |
| 2018 | ICML | End-to-End Learning for the Deep Multivariate Probit Model. | Di Chen, Yexiang Xue, Carla P. Gomes |
| 2017 | AAAI | Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery. | Yexiang Xue, Junwen Bai, Ronan Le Bras, Brendan Rappazzo, Richard Bernstein, Johan Bjorck, Liane Longpre, Santosh K. Suram, Robert Bruce van Dover, John M. Gregoire, Carla P. Gomes |
| 2017 | AAAI | Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information. | Yexiang Xue, XiaoJian Wu, Dana Morin, Bistra Dilkina, Angela Fuller, J. Andrew Royle, Carla P. Gomes |
| 2017 | CPAIOR | Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery. | Junwen Bai, Johan Bjorck, Yexiang Xue, Santosh K. Suram, John M. Gregoire, Carla P. Gomes |
| 2017 | CPAIOR | In Search of Balance: The Challenge of Generating Balanced Latin Rectangles. | Mateo Daz, Ronan Le Bras, Carla P. Gomes |
| 2017 | IJCAI | Deep Multi-species Embedding. | Di Chen, Yexiang Xue, Daniel Fink, Shuo Chen, Carla P. Gomes |
| 2017 | IJCAI | XOR-Sampling for Network Design with Correlated Stochastic Events. | Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes |
| 2016 | CP | Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. | Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes |
| 2016 | ICML | Variable Elimination in the Fourier Domain. | Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman |
| 2015 | AAAI | Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. | Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover |
| 2015 | AAAI | Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa. | Stefano Ermon, Yexiang Xue, Russell Toth, Bistra Dilkina, Richard Bernstein, Theodoros Damoulas, Patrick E. Clark, Steve DeGloria, Andrew Mude, Christopher Barrett, Carla P. Gomes |
| 2015 | AAAI | Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem. | Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2015 | IJCAI | Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. | Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2014 | AAAI | Challenges in Materials Discovery - Synthetic Generator and Real Datasets. | Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2014 | AAAI | Designing Fast Absorbing Markov Chains. | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2014 | AAAI | Uncovering Hidden Structure through Parallel Problem Decomposition. | Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2014 | CP | On the Erdős Discrepancy Problem. | Ronan Le Bras, Carla P. Gomes, Bart Selman |
| 2014 | HCOMP | A Human Computation Framework for Boosting Combinatorial Solvers. | Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes, Bart Selman |
| 2014 | ICML | Low-density Parity Constraints for Hashing-Based Discrete Integration. | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2014 | ICPR | String Kernels for Complex Time-Series: Counting Targets from Sensed Movement. | Theodoros Damoulas, Jin He, Richard Bernstein, Carla P. Gomes, Anish Arora |
| 2013 | AAAI | Robust Network Design For Multispecies Conservation. | Ronan LeBras, Bistra Dilkina, Yexiang Xue, Carla P. Gomes, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery |
| 2013 | AAAI | Large Landscape Conservation - Synthetic and Real-World Datasets. | Bistra Dilkina, Katherine J. Lai, Ronan LeBras, Yexiang Xue, Carla P. Gomes, Ashish Sabharwal, Jordan Suter, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery |
| 2013 | HCOMP | Improving Your Chances: Boosting Citizen Science Discovery. | Yexiang Xue, Bistra Dilkina, Theodoros Damoulas, Daniel Fink, Carla P. Gomes, Steve Kelling |
| 2013 | ICML | Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2013 | IJCAI | Crowdsourcing Backdoor Identification for Combinatorial Optimization. | Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2013 | IJCAI | Double-Wheel Graphs Are Graceful. | Ronan LeBras, Carla P. Gomes, Bart Selman |
| 2013 | UAI | Optimization With Parity Constraints: From Binary Codes to Discrete Integration. | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2013 | SAT | Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. | Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman |
| 2012 | AAAI | From Streamlined Combinatorial Search to Efficient Constructive Procedures. | Ronan LeBras, Carla P. Gomes, Bart Selman |
| 2012 | AAMAS | Probabilistic planning with non-linear utility functions and worst-case guarantees. | Stefano Ermon, Carla P. Gomes, Bart Selman, Alexander Vladimirsky |
| 2012 | IAAI | eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research. | Steve Kelling, Jeff Gerbracht, Daniel Fink, Carl Lagoze, Weng-Keen Wong, Jun Yu, Theodoros Damoulas, Carla P. Gomes |
| 2012 | UAI | Uniform Solution Sampling Using a Constraint Solver As an Oracle. | Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2012 | SAT | SMT-Aided Combinatorial Materials Discovery. | Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2011 | AAAI | The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species. | Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery |
| 2011 | CP | Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. | Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover |
| 2011 | CPAIOR | Upgrading Shortest Paths in Networks. | Bistra Dilkina, Katherine J. Lai, Carla P. Gomes |
| 2011 | IJCAI | Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. | Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman |
| 2011 | IJCAI | A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. | Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2011 | IJCAI | Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems. | Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla P. Gomes, Yrj T. Grhn |
| 2011 | IDA | Computational Sustainability. | Carla P. Gomes |
| 2010 | CP | An Empirical Study of Optimization for Maximizing Diffusion in Networks. | Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
| 2010 | CP | Computing the Density of States of Boolean Formulas. | Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2010 | CPAIOR | Solving Connected Subgraph Problems in Wildlife Conservation. | Bistra Dilkina, Carla P. Gomes |
| 2010 | CPAIOR | Challenges for CPAIOR in Computational Sustainability. | Carla P. Gomes |
| 2010 | ICMLA | Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel. | Theodoros Damoulas, Samuel Henry, Andrew Farnsworth, Michael Lanzone, Carla P. Gomes |
| 2010 | UAI | Playing games against nature: optimal policies for renewable resource allocation. | Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman |
| 2010 | UAI | Maximizing the Spread of Cascades Using Network Design. | Daniel Sheldon, Bistra Dilkina, Adam N. Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla P. Gomes, David B. Shmoys, William Allen, Ole Amundsen, William Vaughan |
| 2009 | CP | Challenges for Constraint Reasoning and Optimization in Computational Sustainability. | Carla P. Gomes |
| 2009 | CPAIOR | Backdoors to Combinatorial Optimization: Feasibility and Optimality. | Bistra Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann |
| 2009 | IJCAI | Learning Optimal Subsets with Implicit User Preferences. | Yunsong Guo, Carla P. Gomes |
| 2009 | IJCAI | Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search. | Yunsong Guo, Carla P. Gomes |
| 2009 | IJCAI | Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. | Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman |
| 2009 | SAT | Backdoors in the Context of Learning. | Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
| 2008 | CPAIOR | Connections in Networks: A Hybrid Approach. | Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal |
| 2008 | ISAIM | Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. | Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
| 2007 | AAAI | The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. | Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
| 2007 | AAAI | Counting CSP Solutions Using Generalized XOR Constraints. | Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman |
| 2007 | AAAI | Optimal Multi-Agent Scheduling with Constraint Programming. | Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi |
| 2007 | CP | Tradeoffs in the Complexity of Backdoor Detection. | Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
| 2007 | CPAIOR | Connections in Networks: Hardness of Feasibility Versus Optimality. | Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter |
| 2007 | IJCAI | From Sampling to Model Counting. | Carla P. Gomes, Jrg Hoffmann, Ashish Sabharwal, Bart Selman |
| 2007 | IJCAI | SAT Encodings of State-Space Reachability Problems in Numeric Domains. | Jrg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz |
| 2007 | SAT | Short XORs for Model Counting: From Theory to Practice. | Carla P. Gomes, Jrg Hoffmann, Ashish Sabharwal, Bart Selman |
| 2006 | AAAI | The Impact of Balancing on Problem Hardness in a Highly Structured Domain. | Carlos Anstegui, Ramn Bjar, Csar Fernndez, Carla P. Gomes, Carles Mateu |
| 2006 | AAAI | Model Counting: A New Strategy for Obtaining Good Bounds. | Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2006 | CPAIOR | The Power of Semidefinite Programming Relaxations for MAX-SAT. | Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu |
| 2006 | ISAIM | Adventures in Randomized Computational Methods. | Carla P. Gomes |
| 2006 | SAT | QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. | Ashish Sabharwal, Carlos Anstegui, Carla P. Gomes, Justin W. Hart, Bart Selman |
| 2005 | AAAI | The Achilles' Heel of QBF. | Carlos Anstegui, Carla P. Gomes, Bart Selman |
| 2005 | CP | LP as a Global Search Heuristic Across Different Constrainedness Regions. | Lucian Leahu, Carla P. Gomes |
| 2005 | IJCAI | Streamlining Local Search for Spatially Balanced Latin Squares. | Casey Smith, Carla P. Gomes, Csar Fernndez |
| 2004 | CP | Statistical Regimes Across Constrainedness Regions. | Carla P. Gomes, Csar Fernndez, Bart Selman, Christian Bessiere |
| 2004 | CP | Streamlined Constraint Reasoning. | Carla P. Gomes, Meinolf Sellmann |
| 2004 | CP | Quality of LP-Based Approximations for Highly Combinatorial Problems. | Lucian Leahu, Carla P. Gomes |
| 2004 | CP | The Cardinality Matrix Constraint. | Jean-Charles Rgin, Carla P. Gomes |
| 2004 | CPAIOR | The Challenge of Generating Spatially Balanced Scientific Experiment Designs. | Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es |
| 2003 | IJCAI | Grid-based SensorDCSP. | Ramn Bjar, Carmel Domshlak, Csar Fernndez, Carla P. Gomes, Bart Selman, Magda Valls |
| 2003 | IJCAI | Backdoors To Typical Case Complexity. | Ryan Williams, Carla P. Gomes, Bart Selman |
| 2003 | SODA | An improved approximation algorithm for the partial latin square extension problem. | Carla P. Gomes, Rommel G. Regis, David B. Shmoys |
| 2002 | AAAI | Dynamic Restart Policies. | Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman |
| 2002 | CP | Communication and Computation in Distributed CSP Algorithms. | Csar Fernndez, Ramn Bjar, Bhaskar Krishnamachari, Carla P. Gomes |
| 2001 | CP | Capturing Structure with Satisfiability. | Ramn Bjar, Alba Cabiscol, Csar Fernndez, Felip Many, Carla P. Gomes |
| 2001 | CP | Formal Models of Heavy-Tailed Behavior in Combinatorial Search. | Hubie Chen, Carla P. Gomes, Bart Selman |
| 2001 | IJCAI | Balance and Filtering in Structured Satisfiable Problems. | Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel |
| 2001 | UAI | A Bayesian Approach to Tackling Hard Computational Problems. | Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering |
| 2000 | AAAI | Generating Satisfiable Problem Instances. | Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman |
| 2000 | AAAI | Structure, Duality, and Randomization: Common Themes in AI and OR. | Carla P. Gomes |
| 1999 | ICTAI | On the Fine Structure of Large Search Spaces. | Carla P. Gomes, Bart Selman |
| 1999 | ICTAI | Search Strategies for Hybrid Search Spaces. | Carla P. Gomes, Bart Selman |
| 1998 | AAAI | Boosting Combinatorial Search Through Randomization. | Carla P. Gomes, Bart Selman, Henry A. Kautz |
| 1997 | AAAI | Problem Structure in the Presence of Perturbations. | Carla P. Gomes, Bart Selman |
| 1997 | CP | Heavy-Tailed Distributions in Combinatorial Search. | Carla P. Gomes, Bart Selman, Nuno Crato |
| 1997 | UAI | Algorithm Portfolio Design: Theory vs. Practice. | Carla P. Gomes, Bart Selman |
| 1994 | ICTAI | A Distributed Scheduling Framework. | Carla P. Gomes, Austin Tate, Lyn C. Thomas |