| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Sheldon, Bistra N. 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  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman |
Playing games against nature: optimal policies for renewable resource allocation |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Ermon, Carla P. Gomes, Bart Selman |
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman |
Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Katherine J. Lai, Carla P. Gomes |
Upgrading Shortest Paths in Networks. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Ermon, Carla P. Gomes, Bart Selman |
A message passing approach to multiagent gaussian inference for dynamic processes. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes |
Computational Sustainability. |
IDA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
Accelerated Adaptive Markov Chain for Partition Function Computation. |
NIPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes |
Challenges for CPAIOR in Computational Sustainability. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Carla P. Gomes |
Solving Connected Subgraph Problems in Wildlife Conservation. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Sheldon, Bistra N. 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 |
DBLP BibTeX RDF |
|
| 1 | Stefano Ermon, Carla P. Gomes, Bart Selman |
Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiyan Ahmadizadeh, Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
An Empirical Study of Optimization for Maximizing Diffusion in Networks. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Ermon, Carla P. Gomes, Bart Selman |
Computing the Density of States of Boolean Formulas. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alda Carvalho, Nuno Crato, Carla P. Gomes |
A generative power-law search tree model. |
Computers & OR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Ashish Sabharwal, Bart Selman |
Model Counting. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Ashish Sabharwal |
Exploiting Runtime Variation in Complete Solvers. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunsong Guo, Carla P. Gomes |
Learning Optimal Subsets with Implicit User Preferences. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yunsong Guo, Carla P. Gomes |
Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman |
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
Backdoors in the Context of Learning. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann |
Backdoors to Combinatorial Optimization: Feasibility and Optimality. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
backdoor sets, search, variable selection |
| 1 | Carla P. Gomes |
Challenges for Constraint Reasoning and Optimization in Computational Sustainability. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal |
Connections in Networks: A Hybrid Approach. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Fox, Carla P. Gomes (eds.) |
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008 |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jörg Hoffmann, Carla P. Gomes, Bart Selman |
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Carla P. Gomes, Bart Selman |
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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. |
Discrete Applied Mathematics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz |
SAT Encodings of State-Space Reachability Problems in Numeric Domains. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman |
From Sampling to Model Counting. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman |
Short XORs for Model Counting: From Theory to Practice. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter |
Connections in Networks: Hardness of Feasibility Versus Optimality. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman |
Counting CSP Solutions Using Generalized XOR Constraints. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi |
Optimal Multi-Agent Scheduling with Constraint Programming. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
Tradeoffs in the Complexity of Backdoor Detection. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Carla P. Gomes, Bart Selman |
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman |
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Carla P. Gomes (eds.) |
Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings |
SAT |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu |
The Power of Semidefinite Programming Relaxations for MAX-SAT. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Ashish Sabharwal, Bart Selman |
Model Counting: A New Strategy for Obtaining Good Bounds. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Ashish Sabharwal, Bart Selman |
Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. |
NIPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière |
Statistical Regimes Across Constrainedness Regions. |
Constraints |
2005 |
DBLP DOI BibTeX RDF |
runtime distributions, typical case analysis, phase transitions, heavy-tailed distributions, backtrack search |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Casey Smith, Carla P. Gomes, Cèsar Fernández |
Streamlining Local Search for Spatially Balanced Latin Squares. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Carlos Ansótegui, Carla P. Gomes, Bart Selman |
The Achilles' Heel of QBF. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lucian Leahu, Carla P. Gomes |
LP as a Global Search Heuristic Across Different Constrainedness Regions. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Rommel G. Regis, David B. Shmoys |
An improved approximation algorithm for the partial Latin square extension problem. |
Oper. Res. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, David B. Shmoys |
Approximations and Randomization to Boost CSP Techniques. |
Annals OR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es |
The Challenge of Generating Spatially Balanced Scientific Experiment Designs. |
CPAIOR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière |
Statistical Regimes Across Constrainedness Regions. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Meinolf Sellmann |
Streamlined Constraint Reasoning. |
CP |
2004 |
DBLP DOI BibTeX RDF |
branching strategies, search, constraint reasoning |
| 1 | Jean-Charles Régin, Carla P. Gomes |
The Cardinality Matrix Constraint. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Leahu, Carla P. Gomes |
Quality of LP-Based Approximations for Highly Combinatorial Problems. |
CP |
2004 |
DBLP DOI BibTeX RDF |
hybrid LP/CSP, approximations, phase transition, search heuristics |
| 1 | Felip Manyà, Carla P. Gomes |
Técnicas de resolución de problemas de satisfacción de restricciones. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2003 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Rommel G. Regis, David B. Shmoys |
An improved approximation algorithm for the partial latin square extension problem. |
SODA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Williams, Carla P. Gomes, Bart Selman |
Backdoors To Typical Case Complexity. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls |
Grid-based SensorDCSP. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh |
AAAI 2002 Fall Symposium Series Reports. |
AI Magazine |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 Magazine |
2002 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman |
Dynamic Restart Policies. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes |
Communication and Computation in Distributed CSP Algorithms. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes |
Extending the Reach of SAT with Many-Valued Logics. |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel |
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman |
Algorithm portfolios. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Magazine |
2001 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel |
Balance and Filtering in Structured Satisfiable Problems. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes |
Capturing Structure with Satisfiability. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Carla P. Gomes, Bart Selman |
Formal Models of Heavy-Tailed Behavior in Combinatorial Search. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman |
Hybrid Search Strategies for Heterogeneous Search Spaces. |
International Journal on Artificial Intelligence Tools |
2000 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz |
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. |
J. Autom. Reasoning |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman |
Generating Satisfiable Problem Instances. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes |
Structure, Duality, and Randomization: Common Themes in AI and OR. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman |
On the Fine Structure of Large Search Spaces. (PDF / PS) |
ICTAI |
1999 |
DBLP DOI BibTeX RDF |
Search, Randomization, Constraint-Satisfaction, Reasoning |
| 1 | Carla P. Gomes, Bart Selman |
Search Strategies for Hybrid Search Spaces. (PDF / PS) |
ICTAI |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff |
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. |
AIPS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman, Henry A. Kautz |
Boosting Combinatorial Search Through Randomization. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold |
A Transformational Approach Applied to Outage Management of Nuclear Power Plants. |
HICSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman |
Algorithm Portfolio Design: Theory vs. Practice. |
UAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman |
Problem Structure in the Presence of Perturbations. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman, Nuno Crato |
Heavy-Tailed Distributions in Combinatorial Search. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Julie Hsu |
ABA: An Assignment Based Algorithm for Resource Allocation. |
SIGART Bulletin |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Austin Tate, Lyn Thomas |
A Distributed Scheduling Framework. |
ICTAI |
1994 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")