![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Carla P. Gomes
Person information
- affiliation: Cornell University, Department of Computer Science, Canada
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j34]David Rolnick
, Priya L. Donti, Lynn H. Kaack, Kelly Kochanski
, Alexandre Lacoste, Kris Sankaran, Andrew Slavin Ross, Nikola Milojevic-Dupont, Natasha Jaques, Anna Waldman-Brown, Alexandra Sasha Luccioni, Tegan Maharaj, Evan D. Sherwin
, S. Karthik Mukkavilli
, Konrad P. Kording, Carla P. Gomes
, Andrew Y. Ng, Demis Hassabis, John C. Platt
, Felix Creutzig, Jennifer T. Chayes, Yoshua Bengio:
Tackling Climate Change with Machine Learning. ACM Comput. Surv. 55(2): 42:1-42:96 (2023) - [j33]Hanchen Wang
, Tianfan Fu, Yuanqi Du, Wenhao Gao
, Kexin Huang, Ziming Liu, Payal Chandak
, Shengchao Liu
, Peter Van Katwyk
, Andreea Deac, Anima Anandkumar, Karianne Bergen
, Carla P. Gomes
, Shirley Ho, Pushmeet Kohli, Joan Lasenby, Jure Leskovec, Tie-Yan Liu, Arjun Manrai, Debora S. Marks, Bharath Ramsundar, Le Song, Jimeng Sun, Jian Tang, Petar Velickovic, Max Welling, Linfeng Zhang, Connor W. Coley, Yoshua Bengio, Marinka Zitnik:
Scientific discovery in the age of artificial intelligence. Nat. 620(7972): 47-60 (2023) - 2022
- [j32]Guillaume Perez
, Sebastian Ament, Carla P. Gomes, Michel Barlaud:
Efficient projection algorithms onto the weighted ℓ1 ball. Artif. Intell. 306: 103683 (2022) - 2021
- [j31]Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra
, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire
, Carla P. Gomes
:
Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. Nat. Mach. Intell. 3(9): 812-822 (2021) - 2019
- [j30]Yolanda Gil
, Suzanne A. Pierce
, Hassan A. Babaie, Arindam Banerjee, Kirk D. Borne, Gary S. Bust, Michelle Cheatham, Imme Ebert-Uphoff
, Carla P. Gomes, Mary C. Hill, John D. Horel, Leslie Hsu, Jim Kinter, Craig A. Knoblock, David M. Krum, Vipin Kumar, Pierre F. J. Lermusiaux
, Yan Liu, Chris North, Victor Pankratius, Shanan Peters, Beth Plale
, Allen Pope
, Sai Ravela, Juan Restrepo, Aaron J. Ridley, Hanan Samet, Shashi Shekhar:
Intelligent systems for geosciences: an essential research agenda. Commun. ACM 62(1): 76-84 (2019) - [j29]Carla P. Gomes, Thomas G. Dietterich, Christopher Barrett, Jon Conrad, Bistra Dilkina
, Stefano Ermon, Fei Fang, Andrew Farnsworth, Alan Fern, Xiaoli Z. Fern, Daniel Fink, Douglas H. Fisher, Alexander Flecker
, Daniel Freund, Angela Fuller, John M. Gregoire, John E. Hopcroft, Steve Kelling, J. Zico Kolter, Warren B. Powell, Nicole D. Sintov, John S. Selker, Bart Selman, Daniel Sheldon, David B. Shmoys
, Milind Tambe, Weng-Keen Wong, Christopher Wood, Xiaojian Wu, Yexiang Xue, Amulya Yadav, Abdul-Aziz Yakubu, Mary Lou Zeeman:
Computational sustainability: computing for a better world and a sustainable future. Commun. ACM 62(9): 56-65 (2019) - 2018
- [j28]Junwen Bai, Yexiang Xue, Johan Bjorck, Ronan Le Bras, Brendan Rappazzo, Richard Bernstein
, Santosh K. Suram, Robert Bruce van Dover, John M. Gregoire
, Carla P. Gomes:
Phase Mapper: Accelerating Materials Discovery with AI. AI Mag. 39(1): 15-26 (2018) - 2014
- [j27]Eric Eaton, Carla P. Gomes, Brian Charles Williams:
Computational Sustainability. AI Mag. 35(2): 3-7 (2014) - [j26]Daniel Fink, Theodoros Damoulas, Nicholas E. Bruns, Frank A. La Sorte, Wesley M. Hochachka, Carla P. Gomes, Steve Kelling:
Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species Distribution Models. AI Mag. 35(2): 19-30 (2014) - [j25]Eric Eaton, Carla P. Gomes, Brian Charles Williams:
Computational Sustainability: Editorial Introduction to the Summer and Fall Issues. AI Mag. 35(3): 3-7 (2014) - [j24]Bistra Dilkina
, Carla P. Gomes, Ashish Sabharwal:
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Ann. Math. Artif. Intell. 70(4): 399-431 (2014) - 2013
- [j23]Steve Kelling, Jeff Gerbracht, Daniel Fink, Carl Lagoze, Weng-Keen Wong, Jun Yu, Theodoros Damoulas, Carla P. Gomes:
A Human/Computer Learning Network to Improve Biodiversity Conservation and Research. AI Mag. 34(1): 10-20 (2013) - [j22]Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman:
Learning policies for battery usage optimization in electric vehicles. Mach. Learn. 92(1): 177-194 (2013) - 2011
- [j21]Carlos Ansótegui
, Ramón Béjar
, Cèsar Fernández, Carla P. Gomes, Carles Mateu
:
Generating highly balanced sudoku problems as hard problems. J. Heuristics 17(5): 589-614 (2011) - [j20]Carla P. Gomes, Qiang Yang:
Introduction to special issue on computational sustainability. ACM Trans. Intell. Syst. Technol. 2(4): 31:1-31:2 (2011) - 2009
- [j19]Alda Carvalho
, Nuno Crato
, Carla P. Gomes:
A generative power-law search tree model. Comput. Oper. Res. 36(8): 2376-2386 (2009) - 2007
- [j18]Ramón Béjar
, Felip Manyà
, Alba Cabiscol
, Cèsar Fernández, Carla P. Gomes:
Regular-SAT: A many-valued approach to solving combinatorial problems. Discret. Appl. Math. 155(12): 1613-1626 (2007) - [j17]Jörg Hoffmann, Carla P. Gomes, Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. Log. Methods Comput. Sci. 3(1) (2007) - 2005
- [j16]Ramón Béjar
, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bhaskar Krishnamachari, Bart Selman, Magda Valls
:
Sensor networks and distributed CSP: communication, computation and complexity. Artif. Intell. 161(1-2): 117-147 (2005) - [j15]Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière:
Statistical Regimes Across Constrainedness Regions. Constraints An Int. J. 10(4): 317-337 (2005) - 2004
- [j14]Carla P. Gomes, David B. Shmoys
:
Approximations and Randomization to Boost CSP Techniques. Ann. Oper. Res. 130(1-4): 117-141 (2004) - [j13]Carla P. Gomes, Rommel G. Regis
, David B. Shmoys
:
An improved approximation algorithm for the partial Latin square extension problem. Oper. Res. Lett. 32(5): 479-484 (2004) - 2003
- [j12]Felip Manyà, Carla P. Gomes:
Técnicas de resolución de problemas de satisfacción de restricciones. Inteligencia Artif. 7(19): 169-180 (2003) - 2002
- [j11]Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh:
AAAI 2002 Fall Symposium Series Reports. AI Mag. 23(2): 91-94 (2002) - [j10]M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger
, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat:
AAAI 2002 Workshops. AI Mag. 23(4): 113-121 (2002) - 2001
- [j9]Carla P. Gomes, Bart Selman:
Algorithm portfolios. Artif. Intell. 126(1-2): 43-62 (2001) - [j8]Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt D. Bollacker, Alexander Nareyek, J. Paul Walser, David W. Aha, Timothy W. Finin, Benjamin N. Grosof, Nathalie Japkowicz, Robert Holte, Lise Getoor, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari:
AAAI 2000 Workshop Reports. AI Mag. 22(1): 127-136 (2001) - [j7]Henry A. Kautz
, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel:
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Electron. Notes Discret. Math. 9: 2-18 (2001) - [j6]Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz
, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). Electron. Notes Discret. Math. 9: 376-391 (2001) - [j5]Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes:
Extending the Reach of SAT with Many-Valued Logics. Electron. Notes Discret. Math. 9: 392-407 (2001) - [j4]Carla P. Gomes:
On the intersection of AI and OR. Knowl. Eng. Rev. 16(1): 1-4 (2001) - 2000
- [j3]Carla P. Gomes, Bart Selman:
Hybrid Search Strategies for Heterogeneous Search Spaces. Int. J. Artif. Intell. Tools 9(1): 45-57 (2000) - [j2]Carla P. Gomes, Bart Selman, Nuno Crato
, Henry A. Kautz:
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. J. Autom. Reason. 24(1/2): 67-100 (2000) - 1996
- [j1]Carla P. Gomes, Julie Hsu:
ABA: An Assignment Based Algorithm for Resource Allocation. SIGART Bull. 7(1): 2-8 (1996)
Conference and Workshop Papers
- 2024
- [c166]Yingheng Wang, Shufeng Kong, John M. Gregoire, Carla P. Gomes:
Conformal Crystal Graph Transformer with Robust Encoding of Periodic Invariance. AAAI 2024: 283-291 - [c165]Marc Grimson, Rafael Almeida, Qinru Shi, Yiwei Bai, Hector Angarita, Felipe Siqueira Pacheco, Rafael Schmitt, Alexander Flecker, Carla P. Gomes:
Scaling Up Pareto Optimization for Tree Structures with Affine Transformations: Evaluating Hybrid Floating Solar-Hydropower Systems in the Amazon. AAAI 2024: 22067-22075 - [c164]Zhongdi Qu, Marc Grimson, Yue Mao, Sebastian Heilpern, Imanol Miqueleiz, Felipe Siqueira Pacheco, Alexander Flecker, Carla P. Gomes:
Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin. CPAIOR (2) 2024: 141-157 - 2023
- [c163]Jinzhao Li, Daniel Fink, Christopher Wood, Carla P. Gomes, Yexiang Xue:
Provable Optimization of Quantal Response Leader-Follower Games with Exponentially Large Action Spaces. AAMAS 2023: 756-765 - [c162]Renee Mirka, Laura Greenstreet, Marc Grimson, Carla P. Gomes:
A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper). CP 2023: 47:1-47:11 - [c161]Yiwei Bai, Qinru Shi, Marc Grimson, Alexander Flecker, Carla P. Gomes:
Efficiently Approximating High-Dimensional Pareto Frontiers for Tree-Structured Networks Using Expansion and Compression. CPAIOR 2023: 1-17 - [c160]Carla Pedro Gomes
:
AI for Scientific Discovery and a Sustainable Future. GECCO 2023: 2 - [c159]Dieqiao Feng, Yuanqi Du, Carla P. Gomes, Bart Selman:
Weighted Sampling without Replacement for Deep Top-k Classification. ICML 2023: 9910-9920 - [c158]Yimeng Min, Ming-Chiang Chang, Shufeng Kong, John M. Gregoire, R. Bruce van Dover, Michael O. Thompson, Carla P. Gomes:
Physically Informed Graph-Based Deep Reasoning Net for Efficient Combinatorial Phase Mapping. ICMLA 2023: 392-399 - [c157]Shufeng Kong, Caihua Liu, Carla P. Gomes:
IPGPT: Solving Integer Programming Problems with Sequence to Contrastive Multi-Label Learning. STRL@IJCAI 2023 - [c156]Weitao Du, Yuanqi Du, Limei Wang, Dieqiao Feng, Guifeng Wang, Shuiwang Ji, Carla P. Gomes, Zhi-Ming Ma:
A new perspective on building efficient and expressive 3D equivariant graph neural networks. NeurIPS 2023 - [c155]Yuanqi Du, Yingheng Wang, Yining Huang, Jianan Canal Li, Yanqiao Zhu, Tian Xie, Chenru Duan, John M. Gregoire, Carla Pedro Gomes:
M2Hub: Unlocking the Potential of Machine Learning for Materials Discovery. NeurIPS 2023 - [c154]Yimeng Min, Yiwei Bai, Carla P. Gomes:
Unsupervised Learning for Solving the Travelling Salesman Problem. NeurIPS 2023 - [c153]Carla P. Gomes:
Keynote: AI for Scientific Discovery and a Sustainable Future. PERCOM 2023: 1 - 2022
- [c152]Joshua Fan
, Junwen Bai, Zhiyun Li, Ariel Ortiz-Bobea, Carla P. Gomes:
A GNN-RNN Approach for Harnessing Geospatial and Temporal Information: Application to Crop Yield Prediction. AAAI 2022: 11873-11881 - [c151]John Paul Ryan, Sebastian E. Ament, Carla P. Gomes, Anil Damle:
The Fast Kernel Transform. AISTATS 2022: 11669-11690 - [c150]Sebastian Ament, Carla P. Gomes:
Generalized Matching Pursuits for the Sparse Optimization of Separable Objectives. ICASSP 2022: 5553-5557 - [c149]Johan Bjorck, Carla P. Gomes, Kilian Q. Weinberger:
Is High Variance Unavoidable in RL? A Case Study in Continuous Control. ICLR 2022 - [c148]Sebastian E. Ament, Carla P. Gomes:
Scalable First-Order Bayesian Optimization via Structured Automatic Differentiation. ICML 2022: 500-516 - [c147]Junwen Bai, Shufeng Kong
, Carla P. Gomes:
Gaussian Mixture Variational Autoencoder with Contrastive Learning for Multi-Label Classification. ICML 2022: 1383-1398 - [c146]Joshua Fan
, Di Chen, Jiaming Wen, Ying Sun, Carla P. Gomes:
Monitoring Vegetation From Space at Extremely Fine Resolutions via Coarsely-Supervised Smooth U-Net. IJCAI 2022: 5066-5072 - [c145]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. NeurIPS 2022 - 2021
- [c144]Johan Bjorck, Anmol Kabra, Kilian Q. Weinberger, Carla P. Gomes:
Characterizing the Loss Landscape in Non-Negative Matrix Factorization. AAAI 2021: 6768-6776 - [c143]Johan Bjorck, Kilian Q. Weinberger, Carla P. Gomes:
Understanding Decoupled and Early Weight Decay. AAAI 2021: 6777-6785 - [c142]Johan Bjorck, Qinru Shi, Carrie Brown-Lima, Jennifer Dean
, Angela Fuller, Carla P. Gomes:
Learning Augmented Methods for Matching: Improving Invasive Species Management and Urban Mobility. AAAI 2021: 14702-14710 - [c141]Johan Bjorck, Brendan H. Rappazzo, Qinru Shi, Carrie Brown-Lima, Jennifer Dean
, Angela Fuller, Carla P. Gomes:
Accelerating Ecological Sciences from Above: Spatial Contrastive Learning for Remote Sensing. AAAI 2021: 14711-14720 - [c140]Wenting Zhao, Shufeng Kong
, Junwen Bai, Daniel Fink, Carla P. Gomes:
HOT-VAE: Learning High-Order Label Correlation for Multi-Label Classification via Attention-Based Variational Autoencoders. AAAI 2021: 15016-15024 - [c139]Brendan H. Rappazzo, Morgan E. Eisenlord, Olivia J. Graham
, Lillian R. Aoki, Phoebe D. Dawkins, Drew Harvell, Carla P. Gomes:
EeLISA: Combating Global Warming Through the Rapid Analysis of Eelgrass Wasting Disease. AAAI 2021: 15156-15165 - [c138]Yiwei Bai, Di Chen, Carla P. Gomes:
CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games. CP 2021: 17:1-17:14 - [c137]Sebastian Ament, Carla P. Gomes:
On the Optimality of Backward Regression: Sparse Recovery and Subset Selection. ICASSP 2021: 5599-5603 - [c136]Sebastian E. Ament, Carla P. Gomes:
Sparse Bayesian Learning via Stepwise Regression. ICML 2021: 264-274 - [c135]Johan Björck, Xiangyu Chen, Christopher De Sa, Carla P. Gomes, Kilian Q. Weinberger:
Low-Precision Reinforcement Learning: Running Soft Actor-Critic in Half Precision. ICML 2021: 980-991 - [c134]Johan Bjorck, Carla P. Gomes, Kilian Q. Weinberger:
Towards Deeper Deep Reinforcement Learning with Spectral Normalization. NeurIPS 2021: 8242-8255 - [c133]Junwen Bai, Weiran Wang, Carla P. Gomes:
Contrastively Disentangled Sequential Variational Autoencoder. NeurIPS 2021: 10105-10118 - [c132]Carla P. Gomes:
Keynote 2 - Computational Sustainability: Computing for a Better World and a Sustainable Future. SMARTCOMP 2021: 25-26 - 2020
- [c131]Carla P. Gomes:
AI for Advancing Scientific Discovery for a Sustainable Future. AAMAS 2020: 1 - [c130]Di Chen, Yiwei Bai, Wenting Zhao, Sebastian Ament, John M. Gregoire, Carla P. Gomes:
Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning. ICML 2020: 1500-1509 - [c129]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. IJCAI 2020: 2198-2205 - [c128]Junwen Bai
, Shufeng Kong, Carla P. Gomes:
Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model. IJCAI 2020: 4313-4321 - [c127]Shufeng Kong, Junwen Bai
, Jae Hee Lee
, Di Chen, Andrew Allyn, Michelle Stuart, Malin Pinsky, Katherine Mills, Carla P. Gomes:
Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation. IJCAI 2020: 4375-4381 - [c126]Di Chen, Yada Zhu, Xiaodong Cui, Carla P. Gomes:
Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance. IJCAI 2020: 4476-4482 - [c125]Dieqiao Feng, Carla P. Gomes, Bart Selman:
A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. NeurIPS 2020 - 2019
- [c124]Johan Bjorck, Brendan H. Rappazzo, Di Chen, Richard Bernstein, Peter H. Wrege, Carla P. Gomes:
Automatic Detection and Compression for Passive Acoustic Monitoring of the African Forest Elephant. AAAI 2019: 476-484 - [c123]Di Chen, Carla P. Gomes:
Bias Reduction via End-to-End Shift Learning: Application to Citizen Science. AAAI 2019: 493-500 - [c122]Anmol Kabra, Yexiang Xue, Carla P. Gomes:
CPU-accelerated principal-agent game for scalable citizen science. COMPASS 2019: 165-173 - [c121]Carla P. Gomes:
Computational Sustainability. ICAART (1) 2019: 9 - [c120]Junwen Bai
, Zihang Lai, Runzhe Yang
, Yexiang Xue, John M. Gregoire
, Carla P. Gomes:
Imitation Refinement for X-ray Diffraction Signal Processing. ICASSP 2019: 3337-3341 - 2018
- [c119]Johan Bjorck, Yiwei Bai, Xiaojian Wu, Yexiang Xue, Mark C. Whitmore, Carla P. Gomes:
Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Networks. AAAI 2018: 748-756 - [c118]Luming Tang, Yexiang Xue, Di Chen, Carla P. Gomes:
Multi-Entity Dependence Learning With Rich Context via Conditional Variational Auto-Encoder. AAAI 2018: 824-832 - [c117]Xiaojian Wu, Jonathan Gomes-Selman, Qinru Shi, Yexiang Xue, Roosevelt García-Villacorta, Elizabeth Anderson, Suresh Sethi, Scott Steinschneider, Alexander Flecker, Carla P. Gomes:
Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin. AAAI 2018: 849-859 - [c116]Guillaume Perez, Brendan Rappazzo, Carla P. Gomes:
Extending the Capacity of 1 / f Noise Generation. CP 2018: 601-610 - [c115]Junwen Bai
, Sebastian Ament, Guillaume Perez, John M. Gregoire
, Carla P. Gomes:
An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science. CPAIOR 2018: 52-62 - [c114]Jonathan Michael Gomes Selman, Qinru Shi, Yexiang Xue, Roosevelt García-Villacorta, Alexander S. Flecker
, Carla P. Gomes:
Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks. CPAIOR 2018: 263-279 - [c113]Qinru Shi, Jonathan Michael Gomes Selman, Roosevelt García-Villacorta, Suresh Sethi, Alexander S. Flecker
, Carla P. Gomes:
Efficiently Optimizing for Dendritic Connectivity on Tree-Structured Networks in a Multi-Objective Framework. COMPASS 2018: 26:1-26:8 - [c112]Di Chen, Yexiang Xue, Carla P. Gomes:
End-to-End Learning for the Deep Multivariate Probit Model. ICML 2018: 931-940 - [c111]Johan Bjorck, Carla P. Gomes, Bart Selman, Kilian Q. Weinberger:
Understanding Batch Normalization. NeurIPS 2018: 7705-7716 - 2017
- [c110]Yexiang Xue, XiaoJian Wu, Dana Morin, Bistra Dilkina, Angela Fuller, J. Andrew Royle, Carla P. Gomes:
Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information. AAAI 2017: 4552-4558 - [c109]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:
Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery. AAAI 2017: 4635-4643 - [c108]Mateo Díaz, Ronan Le Bras, Carla P. Gomes:
In Search of Balance: The Challenge of Generating Balanced Latin Rectangles. CPAIOR 2017: 68-76 - [c107]Junwen Bai
, Johan Bjorck, Yexiang Xue, Santosh K. Suram, John M. Gregoire
, Carla P. Gomes:
Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery. CPAIOR 2017: 104-112 - [c106]Carla P. Gomes:
Keynotes: Computational sustainability. SustainIT 2017: 1-2 - [c105]Di Chen, Yexiang Xue, Daniel Fink, Shuo Chen, Carla P. Gomes:
Deep Multi-species Embedding. IJCAI 2017: 3639-3646 - [c104]Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes:
XOR-Sampling for Network Design with Correlated Stochastic Events. IJCAI 2017: 4640-4647 - 2016
- [c103]Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes:
Avicaching: A Two Stage Game for Bias Reduction in Citizen Science. AAMAS 2016: 776-785 - [c102]Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes:
Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. CP 2016: 701-717 - [c101]Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman:
Variable Elimination in the Fourier Domain. ICML 2016: 285-294 - [c100]Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman:
Solving Marginal MAP Problems with NP Oracles and Parity Constraints. NIPS 2016: 1127-1135 - 2015
- [c99]Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover:
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. AAAI 2015: 636-643 - [c98]Stefano Ermon, Yexiang Xue, Russell Toth, Bistra Dilkina, Richard Bernstein, Theodoros Damoulas, Patrick E. Clark, Steve DeGloria, Andrew Mude, Christopher Barrett, Carla P. Gomes:
Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa. AAAI 2015: 644-650 - [c97]Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman:
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem. AAAI Workshop: Computational Sustainability 2015 - [c96]Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman:
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. IJCAI 2015: 146-155 - 2014
- [c95]Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover:
Challenges in Materials Discovery - Synthetic Generator and Real Datasets. AAAI 2014: 438-443 - [c94]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Designing Fast Absorbing Markov Chains. AAAI 2014: 849-855 - [c93]Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman:
Uncovering Hidden Structure through Parallel Problem Decomposition. AAAI 2014: 3144-3145 - [c92]Ronan Le Bras, Carla P. Gomes, Bart Selman:
On the Erdős Discrepancy Problem. CP 2014: 440-448 - [c91]Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes, Bart Selman:
A Human Computation Framework for Boosting Combinatorial Solvers. HCOMP 2014: 121-132 - [c90]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Low-density Parity Constraints for Hashing-Based Discrete Integration. ICML 2014: 271-279 - [c89]Theodoros Damoulas, Jin He, Richard Bernstein
, Carla P. Gomes, Anish Arora:
String Kernels for Complex Time-Series: Counting Targets from Sensed Movement. ICPR 2014: 4429-4434 - 2013
- [c88]Ronan LeBras, Bistra Dilkina, Yexiang Xue, Carla P. Gomes, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery:
Robust Network Design For Multispecies Conservation. AAAI 2013: 1305-1312 - [c87]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:
Large Landscape Conservation - Synthetic and Real-World Datasets. AAAI 2013: 1369-1372 - [c86]Yexiang Xue, Bistra Dilkina, Theodoros Damoulas, Daniel Fink, Carla P. Gomes, Steve Kelling:
Improving Your Chances: Boosting Citizen Science Discovery. HCOMP 2013: 198-206 - [c85]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. ICML (2) 2013: 334-342 - [c84]Ronan LeBras, Carla P. Gomes, Bart Selman:
Double-Wheel Graphs Are Graceful. IJCAI 2013: 587-593 - [c83]Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover:
Crowdsourcing Backdoor Identification for Combinatorial Optimization. IJCAI 2013: 2840-2847 - [c82]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Embed and Project: Discrete Sampling with Universal Hashing. NIPS 2013: 2085-2093 - [c81]Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman:
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. SAT 2013: 233-249 - [c80]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Optimization With Parity Constraints: From Binary Codes to Discrete Integration. UAI 2013 - 2012
- [c79]Ronan LeBras, Carla P. Gomes, Bart Selman:
From Streamlined Combinatorial Search to Efficient Constructive Procedures. AAAI 2012: 499-506 - [c78]Stefano Ermon, Carla P. Gomes, Bart Selman, Alexander Vladimirsky:
Probabilistic planning with non-linear utility functions and worst-case guarantees. AAMAS 2012: 965-972 - [c77]Douglas H. Fisher, Bistra Dilkina, Eric Eaton, Carla Gomes:
Incorporating Computational Sustainability into AI Education through a Freely-Available, Collectively-Composed Supplementary Lab Text. EAAI 2012: 2369-2370 - [c76]Steve Kelling, Jeff Gerbracht, Daniel Fink, Carl Lagoze, Weng-Keen Wong, Jun Yu, Theodoros Damoulas, Carla P. Gomes:
eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research. IAAI 2012: 2229-2236 - [c75]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Density Propagation and Improved Bounds on the Partition Function. NIPS 2012: 2771-2779 - [c74]Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman:
Learning Policies for Battery Usage Optimization in Electric Vehicles. ECML/PKDD (2) 2012: 195-210 - [c73]Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover:
SMT-Aided Combinatorial Materials Discovery. SAT 2012: 172-185 - [c72]Stefano Ermon, Carla P. Gomes, Bart Selman:
Uniform Solution Sampling Using a Constraint Solver As an Oracle. UAI 2012: 255-264 - 2011
- [c71]Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery:
The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species. AAAI 2011: 1357-1364 - [c70]Stefano Ermon, Carla P. Gomes, Bart Selman:
A message passing approach to multiagent gaussian inference for dynamic processes. AAMAS 2011: 1277-1278 - [c69]Ronan LeBras, Theodoros Damoulas, John M. Gregoire
, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover:
Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. CP 2011: 508-522 - [c68]Bistra Dilkina
, Katherine J. Lai, Carla P. Gomes:
Upgrading Shortest Paths in Networks. CPAIOR 2011: 76-91 - [c67]Carla P. Gomes:
Computational Sustainability. IDA 2011: 8 - [c66]Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman:
Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. IJCAI 2011: 1942-1948 - [c65]Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla P. Gomes, Yrjö T. Gröhn:
Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems. IJCAI 2011: 2531-2538 - [c64]Stefano Ermon, Carla P. Gomes, Bart Selman:
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. IJCAI 2011: 2608-2613 - [c63]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Accelerated Adaptive Markov Chain for Partition Function Computation. NIPS 2011: 2744-2752 - 2010
- [c62]Stefano Ermon, Carla P. Gomes, Bart Selman:
Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. AAMAS 2010: 1419-1420 - [c61]Stefano Ermon, Carla P. Gomes, Bart Selman:
Computing the Density of States of Boolean Formulas. CP 2010: 38-52 - [c60]Kiyan Ahmadizadeh, Bistra Dilkina
, Carla P. Gomes, Ashish Sabharwal:
An Empirical Study of Optimization for Maximizing Diffusion in Networks. CP 2010: 514-521 - [c59]Carla P. Gomes:
Challenges for CPAIOR in Computational Sustainability. CPAIOR 2010: 3-4 - [c58]Bistra Dilkina
, Carla P. Gomes:
Solving Connected Subgraph Problems in Wildlife Conservation. CPAIOR 2010: 102-116 - [c57]Theodoros Damoulas, Samuel Henry, Andrew Farnsworth
, Michael Lanzone, Carla P. Gomes:
Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel. ICMLA 2010: 424-429 - [c56]Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman:
Playing games against nature: optimal policies for renewable resource allocation. UAI 2010: 168-176 - [c55]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:
Maximizing the Spread of Cascades Using Network Design. UAI 2010: 517-526 - 2009
- [c54]Carla P. Gomes:
Challenges for Constraint Reasoning and Optimization in Computational Sustainability. CP 2009: 2-4 - [c53]Bistra Dilkina
, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann:
Backdoors to Combinatorial Optimization: Feasibility and Optimality. CPAIOR 2009: 56-70 - [c52]Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman:
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI 2009: 544-551 - [c51]Yunsong Guo, Carla P. Gomes:
Learning Optimal Subsets with Implicit User Preferences. IJCAI 2009: 1052-1057 - [c50]Yunsong Guo, Carla P. Gomes:
Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search. IJCAI 2009: 1058-1064 - [c49]Bistra Dilkina
, Carla P. Gomes, Ashish Sabharwal:
Backdoors in the Context of Learning. SAT 2009: 73-79 - 2008
- [c48]Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal:
Connections in Networks: A Hybrid Approach. CPAIOR 2008: 303-307 - [c47]Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. ISAIM 2008 - 2007
- [c46]Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. AAAI 2007: 42-49 - [c45]Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman:
Counting CSP Solutions Using Generalized XOR Constraints. AAAI 2007: 204-209 - [c44]Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi:
Optimal Multi-Agent Scheduling with Constraint Programming. AAAI 2007: 1813-1818 - [c43]Bistra Dilkina
, Carla P. Gomes, Ashish Sabharwal:
Tradeoffs in the Complexity of Backdoor Detection. CP 2007: 256-270 - [c42]Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter:
Connections in Networks: Hardness of Feasibility Versus Optimality. CPAIOR 2007: 16-28 - [c41]Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz:
SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923 - [c40]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
From Sampling to Model Counting. IJCAI 2007: 2293-2299 - [c39]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106 - [c38]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
Sampling and Soundness: Can We Have Both? New Forms of Reasoning for the Semantic Web 2007 - 2006
- [c37]Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla P. Gomes, Carles Mateu:
The Impact of Balancing on Problem Hardness in a Highly Structured Domain. AAAI 2006: 10-15 - [c36]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting: A New Strategy for Obtaining Good Bounds. AAAI 2006: 54-61 - [c35]Carla P. Gomes, Willem Jan van Hoeve, Bart Selman:
Constraint Programming for Distributed Planning and Scheduling. AAAI Spring Symposium: Distributed Plan and Schedule Management 2006: 157-158 - [c34]Jörg Hoffmann, Carla P. Gomes, Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. ICAPS 2006: 284-293 - [c33]Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu:
The Power of Semidefinite Programming Relaxations for MAX-SAT. CPAIOR 2006: 104-118 - [c32]Carla P. Gomes:
Adventures in Randomized Computational Methods. AI&M 2006 - [c31]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. NIPS 2006: 481-488 - [c30]Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman:
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. SAT 2006: 382-395 - 2005
- [c29]Carlos Ansótegui, Carla P. Gomes, Bart Selman:
The Achilles' Heel of QBF. AAAI 2005: 275-281 - [c28]Lucian Leahu, Carla P. Gomes:
LP as a Global Search Heuristic Across Different Constrainedness Regions. CP 2005: 853 - [c27]Casey Smith, Carla P. Gomes, Cèsar Fernández:
Streamlining Local Search for Spatially Balanced Latin Squares. IJCAI 2005: 1539-1540 - 2004
- [c26]Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere:
Statistical Regimes Across Constrainedness Regions. CP 2004: 32-46 - [c25]Carla P. Gomes, Meinolf Sellmann:
Streamlined Constraint Reasoning. CP 2004: 274-289 - [c24]Lucian Leahu, Carla P. Gomes:
Quality of LP-Based Approximations for Highly Combinatorial Problems. CP 2004: 377-392 - [c23]Jean-Charles Régin, Carla P. Gomes:
The Cardinality Matrix Constraint. CP 2004: 572-587 - [c22]Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es:
The Challenge of Generating Spatially Balanced Scientific Experiment Designs. CPAIOR 2004: 387-394 - 2003
- [c21]Ryan Williams, Carla P. Gomes, Bart Selman:
Backdoors To Typical Case Complexity. IJCAI 2003: 1173-1178 - [c20]Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls:
Grid-based SensorDCSP. IJCAI 2003: 1359-1361 - [c19]Carla P. Gomes, Rommel G. Regis, David B. Shmoys
:
An improved approximation algorithm for the partial latin square extension problem. SODA 2003: 832-833 - 2002
- [c18]Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman:
Dynamic Restart Policies. AAAI/IAAI 2002: 674-681 - [c17]Cèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes:
Communication and Computation in Distributed CSP Algorithms. CP 2002: 664-679 - 2001
- [c16]Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes:
Capturing Structure with Satisfiability. CP 2001: 137-152 - [c15]Hubie Chen, Carla P. Gomes, Bart Selman:
Formal Models of Heavy-Tailed Behavior in Combinatorial Search. CP 2001: 408-421 - [c14]Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel:
Balance and Filtering in Structured Satisfiable Problems. IJCAI 2001: 351-358 - [c13]Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems. UAI 2001: 235-244 - 2000
- [c12]Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman:
Generating Satisfiable Problem Instances. AAAI/IAAI 2000: 256-261 - [c11]Carla P. Gomes:
Structure, Duality, and Randomization: Common Themes in AI and OR. AAAI/IAAI 2000: 1152-1158 - 1999
- [c10]Carla P. Gomes, Bart Selman:
On the Fine Structure of Large Search Spaces. ICTAI 1999: 197-201 - [c9]Carla P. Gomes, Bart Selman:
Search Strategies for Hybrid Search Spaces. ICTAI 1999: 359-364 - 1998
- [c8]Carla P. Gomes, Bart Selman, Henry A. Kautz:
Boosting Combinatorial Search Through Randomization. AAAI/IAAI 1998: 431-437 - [c7]Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff:
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. AIPS 1998: 208-213 - 1997
- [c6]Carla P. Gomes, Bart Selman:
Problem Structure in the Presence of Perturbations. AAAI/IAAI 1997: 221-226 - [c5]Carla P. Gomes, Bart Selman, Nuno Crato:
Heavy-Tailed Distributions in Combinatorial Search. CP 1997: 121-135 - [c4]Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold:
A Transformational Approach Applied to Outage Management of Nuclear Power Plants. HICSS (5) 1997: 658-667 - [c3]Carla P. Gomes, Bart Selman:
Algorithm Portfolio Design: Theory vs. Practice. UAI 1997: 190-197 - 1996
- [c2]Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold:
Synthesis of schedulers for planned shutdowns of power plants. KBSE 1996: 12-20 - 1994
- [c1]Carla P. Gomes, Austin Tate, Lyn C. Thomas:
A Distributed Scheduling Framework. ICTAI 1994: 49-55
Parts in Books or Collections
- 2021
- [p4]Carla P. Gomes, Ashish Sabharwal:
Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability 2021: 463-480 - [p3]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting. Handbook of Satisfiability 2021: 993-1014 - 2009
- [p2]Carla P. Gomes, Ashish Sabharwal:
Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability 2009: 271-288 - [p1]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting. Handbook of Satisfiability 2009: 633-654
Editorship
- 2019
- [e4]Jay Chen, Jennifer Mankoff, Carla P. Gomes:
Proceedings of the Conference on Computing & Sustainable Societies, COMPASS 2019, Accra, Ghana, July 3-5, 2019. ACM 2019, ISBN 978-1-4503-6714-1 [contents] - 2013
- [e3]Carla P. Gomes, Meinolf Sellmann:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings. Lecture Notes in Computer Science 7874, Springer 2013, ISBN 978-3-642-38170-6 [contents] - 2008
- [e2]Dieter Fox, Carla P. Gomes:
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. AAAI Press 2008, ISBN 978-1-57735-368-3 [contents] - 2006
- [e1]Armin Biere, Carla P. Gomes:
Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings. Lecture Notes in Computer Science 4121, Springer 2006, ISBN 3-540-37206-7 [contents]
Reference Works
- 2008
- [r2]Carla P. Gomes, Henry A. Kautz
, Ashish Sabharwal, Bart Selman:
Satisfiability Solvers. Handbook of Knowledge Representation 2008: 89-134 - 2006
- [r1]Carla P. Gomes, Toby Walsh:
Randomness and Structure. Handbook of Constraint Programming 2006: 639-664
Informal and Other Publications
- 2024
- [i63]Lingkai Kong, Yuanqi Du, Wenhao Mu, Kirill Neklyudov, Valentin De Bortol, Haorui Wang, Dongxia Wu, Aaron Ferber, Yi-An Ma, Carla P. Gomes, Chao Zhang:
Diffusion Models as Constrained Samplers for Optimization with Unknown Constraints. CoRR abs/2402.18012 (2024) - [i62]Yimeng Min, Carla P. Gomes:
On Size and Hardness Generalization in Unsupervised Learning for the Travelling Salesman Problem. CoRR abs/2403.20212 (2024) - [i61]Chenru Duan, Guan-Horng Liu, Yuanqi Du, Tianrong Chen, Qiyuan Zhao, Haojun Jia, Carla P. Gomes, Evangelos A. Theodorou, Heather J. Kulik:
React-OT: Optimal Transport for Generating Transition State in Chemical Reactions. CoRR abs/2404.13430 (2024) - [i60]Jin Peng Zhou, Christian K. Belardi, Ruihan Wu, Travis Zhang, Carla P. Gomes, Wen Sun, Kilian Q. Weinberger:
On Speeding Up Language Model Evaluation. CoRR abs/2407.06172 (2024) - 2023
- [i59]Junwen Bai, Yuanqi Du, Yingheng Wang, Shufeng Kong, John M. Gregoire, Carla Gomes:
Xtal2DoS: Attention-based Crystal to Sequence Learning for Density of States Prediction. CoRR abs/2302.01486 (2023) - [i58]Yimeng Min, Yiwei Bai, Carla P. Gomes:
Unsupervised Learning for Solving the Travelling Salesman Problem. CoRR abs/2303.10538 (2023) - [i57]Weitao Du, Yuanqi Du, Limei Wang, Dieqiao Feng, Guifeng Wang, Shuiwang Ji, Carla Gomes, Zhi-Ming Ma:
A new perspective on building efficient and expressive 3D equivariant graph neural networks. CoRR abs/2304.04757 (2023) - [i56]Yuanqi Du, Yingheng Wang, Yining Huang, Jianan Canal Li, Yanqiao Zhu, Tian Xie, Chenru Duan, John M. Gregoire, Carla P. Gomes:
M2Hub: Unlocking the Potential of Machine Learning for Materials Discovery. CoRR abs/2307.05378 (2023) - [i55]Hector Zenil, Jesper Tegnér, Felipe S. Abrahão, Alexander Lavin, Vipin Kumar, Jeremy G. Frey, Adrian Weller, Larisa N. Soldatova, Alan R. Bundy, Nicholas R. Jennings, Koichi Takahashi, Lawrence Hunter, Saso Dzeroski, Andrew Briggs, Frederick D. Gregory, Carla P. Gomes, Christopher K. I. Williams, Jon Rowe, James A. Evans, Hiroaki Kitano, Joshua B. Tenenbaum, Ross D. King:
The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence. CoRR abs/2307.07522 (2023) - [i54]Ming-Chiang Chang
, Sebastian Ament, Maximilian Amsler, Duncan R. Sutherland, Lan Zhou, John M. Gregoire, Carla P. Gomes, R. Bruce van Dover, Michael O. Thompson:
Probabilistic Phase Labeling and Lattice Refinement for Autonomous Material Research. CoRR abs/2308.07897 (2023) - 2022
- [i53]Sebastian Ament, Carla P. Gomes:
Scalable First-Order Bayesian Optimization via Structured Automatic Differentiation. CoRR abs/2206.08366 (2022) - [i52]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. CoRR abs/2206.14298 (2022) - [i51]Joshua Fan, Di Chen, Jiaming Wen, Ying Sun
, Carla P. Gomes:
Monitoring Vegetation From Space at Extremely Fine Resolutions via Coarsely-Supervised Smooth U-Net. CoRR abs/2207.08022 (2022) - [i50]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Graph Value Iteration. CoRR abs/2209.09608 (2022) - [i49]Arne Schneuing
, Yuanqi Du, Charles Harris, Arian R. Jamasb, Ilia Igashov
, Weitao Du, Tom L. Blundell, Pietro Lió, Carla Gomes, Max Welling, Michael M. Bronstein, Bruno E. Correia:
Structure-based Drug Design with Equivariant Diffusion Models. CoRR abs/2210.13695 (2022) - 2021
- [i48]Sebastian Ament, Maximilian Amsler, Duncan R. Sutherland, Ming-Chiang Chang, Dan Guevarra, Aine B. Connolly
, John M. Gregoire, Michael O. Thompson, Carla P. Gomes, R. Bruce van Dover:
Autonomous synthesis of metastable materials. CoRR abs/2101.07385 (2021) - [i47]Yiwei Bai, Wenting Zhao, Carla P. Gomes:
Zero Training Overhead Portfolios for Learning to Solve Combinatorial Problems. CoRR abs/2102.03002 (2021) - [i46]Wenting Zhao, Carla P. Gomes:
Evaluating Multi-label Classifiers with Noisy Labels. CoRR abs/2102.08427 (2021) - [i45]Johan Bjorck, Xiangyu Chen, Christopher De Sa, Carla P. Gomes, Kilian Q. Weinberger:
Low-Precision Reinforcement Learning. CoRR abs/2102.13565 (2021) - [i44]Wenting Zhao, Shufeng Kong, Junwen Bai, Daniel Fink, Carla P. Gomes:
HOT-VAE: Learning High-Order Label Correlation for Multi-Label Classification via Attention-Based Variational Autoencoders. CoRR abs/2103.06375 (2021) - [i43]Johan Bjorck, Carla P. Gomes, Kilian Q. Weinberger:
Towards Deeper Deep Reinforcement Learning. CoRR abs/2106.01151 (2021) - [i42]Shufeng Kong, Dan Guevarra, Carla P. Gomes, John M. Gregoire:
Materials Representation and Transfer Learning for Multi-Property Prediction. CoRR abs/2106.02225 (2021) - [i41]Sebastian Ament, Carla P. Gomes:
On the Optimality of Backward Regression: Sparse Recovery and Subset Selection. CoRR abs/2106.03235 (2021) - [i40]John Paul Ryan, Sebastian Ament, Carla P. Gomes, Anil Damle:
The Fast Kernel Transform. CoRR abs/2106.04487 (2021) - [i39]Sebastian Ament, Carla P. Gomes:
Sparse Bayesian Learning via Stepwise Regression. CoRR abs/2106.06095 (2021) - [i38]Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes:
Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning. CoRR abs/2108.09523 (2021) - [i37]Dieqiao Feng, Carla P. Gomes, Bart Selman:
A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. CoRR abs/2110.00898 (2021) - [i36]Johan Bjorck, Carla P. Gomes, Kilian Q. Weinberger:
Is High Variance Unavoidable in RL? A Case Study in Continuous Control. CoRR abs/2110.11222 (2021) - [i35]Junwen Bai, Weiran Wang, Carla P. Gomes:
Contrastively Disentangled Sequential Variational Autoencoder. CoRR abs/2110.12091 (2021) - [i34]Joshua Fan, Junwen Bai, Zhiyun Li, Ariel Ortiz-Bobea, Carla P. Gomes:
A GNN-RNN Approach for Harnessing Geospatial and Temporal Information: Application to Crop Yield Prediction. CoRR abs/2111.08900 (2021) - [i33]Junwen Bai, Shufeng Kong, Carla P. Gomes:
Gaussian Mixture Variational Autoencoder with Contrastive Learning for Multi-Label Classification. CoRR abs/2112.00976 (2021) - [i32]Guillaume Perez, Sebastian Ament, Carla P. Gomes, Arnaud Lallouet:
Constrained Machine Learning: The Bagel Framework. CoRR abs/2112.01088 (2021) - 2020
- [i31]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. CoRR abs/2006.02689 (2020) - [i30]Junwen Bai, Shufeng Kong, Carla P. Gomes:
Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model. CoRR abs/2007.06126 (2020) - [i29]Guillaume Perez, Sebastian Ament, Carla P. Gomes, Michel Barlaud:
Efficient Projection Algorithms onto the Weighted l1 Ball. CoRR abs/2009.02980 (2020) - [i28]Shufeng Kong, Junwen Bai, Jae Hee Lee, Di Chen, Andrew Allyn, Michelle Stuart, Malin Pinsky, Katherine Mills, Carla P. Gomes:
Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation. CoRR abs/2010.16040 (2020) - [i27]Johan Bjorck, Kilian Q. Weinberger, Carla P. Gomes:
Understanding Decoupled and Early Weight Decay. CoRR abs/2012.13841 (2020) - 2019
- [i26]Sebastian Ament, John M. Gregoire, Carla P. Gomes:
Exponentially-Modified Gaussian Mixture Model: Applications in Spectroscopy. CoRR abs/1902.05601 (2019) - [i25]Johan Bjorck, Brendan Rappazzo, Di Chen, Richard Bernstein, Peter H. Wrege, Carla P. Gomes:
Automatic Detection and Compression for Passive Acoustic Monitoring of the African Forest Elephant. CoRR abs/1902.09069 (2019) - [i24]Di Chen, Yiwei Bai, Wenting Zhao, Sebastian Ament, John M. Gregoire, Carla P. Gomes:
Deep Reasoning Networks: Thinking Fast and Slow. CoRR abs/1906.00855 (2019) - [i23]David Rolnick, Priya L. Donti, Lynn H. Kaack, Kelly Kochanski, Alexandre Lacoste, Kris Sankaran, Andrew Slavin Ross, Nikola Milojevic-Dupont, Natasha Jaques, Anna Waldman-Brown, Alexandra Luccioni, Tegan Maharaj, Evan D. Sherwin, S. Karthik Mukkavilli
, Konrad P. Körding, Carla P. Gomes, Andrew Y. Ng, Demis Hassabis, John C. Platt
, Felix Creutzig, Jennifer T. Chayes, Yoshua Bengio:
Tackling Climate Change with Machine Learning. CoRR abs/1906.05433 (2019) - [i22]Di Chen, Yada Zhu, Xiaodong Cui, Carla P. Gomes:
Task-Based Learning via Task-Oriented Prediction Network. CoRR abs/1910.09357 (2019) - 2018
- [i21]Di Chen, Yexiang Xue, Carla P. Gomes:
End-to-End Learning for the Deep Multivariate Probit Model. CoRR abs/1803.08591 (2018) - [i20]Junwen Bai, Runzhe Yang
, Yexiang Xue, John M. Gregoire, Carla P. Gomes:
Imitation Refinement. CoRR abs/1805.08698 (2018) - [i19]Johan Bjorck, Carla P. Gomes, Bart Selman:
Understanding Batch Normalization. CoRR abs/1806.02375 (2018) - [i18]Di Chen, Carla P. Gomes:
Bias Reduction via End-to-End Shift Learning: Application to Citizen Science. CoRR abs/1811.00458 (2018) - 2017
- [i17]Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes:
XOR-Sampling for Network Design with Correlated Stochastic Events. CoRR abs/1705.08218 (2017) - [i16]Luming Tang, Yexiang Xue, Di Chen, Carla P. Gomes:
Multi-Entity Dependence Learning with Rich Context via Conditional Variational Auto-encoder. CoRR abs/1709.05612 (2017) - [i15]Johan Bjorck, Yiwei Bai, Xiaojian Wu, Yexiang Xue, Mark C. Whitmore, Carla P. Gomes:
Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Network. CoRR abs/1711.06800 (2017) - 2016
- [i14]Di Chen, Yexiang Xue, Shuo Chen, Daniel Fink, Carla P. Gomes:
Deep Multi-Species Embedding. CoRR abs/1609.09353 (2016) - [i13]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:
Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery. CoRR abs/1610.00689 (2016) - [i12]Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman:
Solving Marginal MAP Problems with NP Oracles and Parity Constraints. CoRR abs/1610.02591 (2016) - 2015
- [i11]Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman:
Variable Elimination in Fourier Domain. CoRR abs/1508.04032 (2015) - 2014
- [i10]Ronan Le Bras, Carla P. Gomes, Bart Selman:
On the Erdos Discrepancy Problem. CoRR abs/1407.2510 (2014) - [i9]Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover:
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. CoRR abs/1411.7441 (2014) - 2013
- [i8]Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems. CoRR abs/1301.2279 (2013) - [i7]Carla P. Gomes, Bart Selman:
Algorithm Portfolio Design: Theory vs. Practice. CoRR abs/1302.1541 (2013) - [i6]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. CoRR abs/1302.6677 (2013) - [i5]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Optimization With Parity Constraints: From Binary Codes to Discrete Integration. CoRR abs/1309.6827 (2013) - 2012
- [i4]Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman:
Playing games against nature: optimal policies for renewable resource allocation. CoRR abs/1203.3478 (2012) - [i3]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:
Maximizing the Spread of Cascades Using Network Design. CoRR abs/1203.3514 (2012) - [i2]Stefano Ermon, Carla P. Gomes, Bart Selman:
Uniform Solution Sampling Using a Constraint Solver As an Oracle. CoRR abs/1210.4861 (2012) - 2007
- [i1]Jörg Hoffmann, Carla P. Gomes, Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. CoRR abs/cs/0701184 (2007)
Coauthor Index
aka: Sebastian E. Ament
aka: Johan Björck
aka: Ronan LeBras
aka: Robert Bruce van Dover
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-13 21:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint