Carla P. Gomes

Department of Computer Science , Cornell University

18 papers in the IJCAI proceedings

IJCAI 2025

Expanding Connected Components from Alternative Terminals: Global Optimization for Freshwater Fishes Under the UN's 30x30 Conservation Goal

with Yue Mao, Zhongdi Qu, Imanol Miqueleiz, Aaron Ferber, Sami Wolf, Marc Grimson, Sebastian Heilpern, Felipe S. Pacheco, Alexander S. Flecker, Peter B. McIntyre

doi:10.24963/ijcai.2025/1090

Details PDF

IJCAI 2017

Deep Multi-species Embedding

with Di Chen, Yexiang Xue, Daniel Fink, Shuo Chen

doi:10.24963/ijcai.2017/509

Details PDF

XOR-Sampling for Network Design with Correlated Stochastic Events

with Xiaojian Wu, Yexiang Xue, Bart Selman

doi:10.24963/ijcai.2017/647

Details PDF

IJCAI 2015

Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery

with Yexiang Xue, Stefano Ermon, Bart Selman

Details PDF

IJCAI 2013

Crowdsourcing Backdoor Identification for Combinatorial Optimization

with Ronan LeBras, Richard Bernstein, Bart Selman, R. Bruce van Dover

Details PDF

Double-Wheel Graphs Are Graceful

with Ronan LeBras, Bart Selman

Details PDF

IJCAI 2011

A Flat Histogram Method for Computing the Density of States of Combinatorial Problems

with Stefano Ermon, Bart Selman

doi:10.5591/978-1-57735-516-8/IJCAI11-434

Details PDF

Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems

with Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Yrjö T. Gröhn

doi:10.5591/978-1-57735-516-8/IJCAI11-421

Details PDF

Risk-Sensitive Policies for Sustainable Renewable Resource Allocation

with Stefano Ermon, Jon Conrad, Bart Selman

doi:10.5591/978-1-57735-516-8/IJCAI11-325

Details PDF

IJCAI 2009

Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT

with Lukas Kroc, Ashish Sabharwal, Bart Selman

Details PDF

Learning Optimal Subsets with Implicit User Preferences

with Yunsong Guo

Details PDF

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

with Yunsong Guo

Details PDF

IJCAI 2007

From Sampling to Model Counting

with Jörg Hoffmann, Ashish Sabharwal, Bart Selman

Details PDF

SAT Encodings of State-Space Reachability Problems in Numeric Domains

with Jörg Hoffmann, Bart Selman, Henry A. Kautz

Details PDF

IJCAI 2005

Streamlining Local Search for Spatially Balanced Latin Squares

with Casey Smith, Cèsar Fernández

Details PDF

IJCAI 2003

Backdoors To Typical Case Complexity

with Ryan Williams, Bart Selman

Details PDF

Grid-based SensorDCSP

with Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Bart Selman, Magda Valls

Details PDF

IJCAI 2001

Balance and Filtering in Structured Satisfiable Problems

with Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Bart Selman, Mark E. Stickel

Details PDF