Carla P. Gomes

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
46A message passing approach to multiagent gaussian inference for dynamic processes. Stefano Ermon, Carla P. Gomes, Bart Selman. AAMAS 2011, 1277-1278. Web SearchBibTeXDownload
45A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. Stefano Ermon, Carla P. Gomes, Bart Selman. IJCAI 2011, 2608-2613. Web SearchBibTeXDownload
44Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman. IJCAI 2011, 1942-1948. Web SearchBibTeXDownload
2010
43Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. Stefano Ermon, Carla P. Gomes, Bart Selman. AAMAS 2010, 1419-1420. Web SearchBibTeXDownload
42Computing the Density of States of Boolean Formulas. Stefano Ermon, Carla P. Gomes, Bart Selman. CP 2010, 38-52. Web SearchBibTeXDownload
2009
41Model Counting. Carla P. Gomes, Ashish Sabharwal, Bart Selman. Handbook of Satisfiability 2009, 633-654. Web SearchBibTeXDownload
40Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman. IJCAI 2009, 544-551. Web SearchBibTeXDownload
2007
39Counting CSP Solutions Using Generalized XOR Constraints. Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman. AAAI 2007, 204-209. Web SearchBibTeX
38Optimal Multi-Agent Scheduling with Constraint Programming. Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi. AAAI 2007, 1813-1818. Web SearchBibTeX
37Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning. Jörg Hoffmann, Carla P. Gomes, Bart Selman. CoRR (abs/cs/0701184) (2007). Web SearchBibTeXDownload
36From Sampling to Model Counting. Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman. IJCAI 2007, 2293-2299. Web SearchBibTeXDownload
35SAT Encodings of State-Space Reachability Problems in Numeric Domains. Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz. IJCAI 2007, 1918-1923. Web SearchBibTeXDownload
34Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. Jörg Hoffmann, Carla P. Gomes, Bart Selman. Logical Methods in Computer Science (3) (2007). Web SearchBibTeXDownload
33Sampling and Soundness: Can We Have Both?. Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman. New Forms of Reasoning for the Semantic Web 2007. Web SearchBibTeXDownload
32Short XORs for Model Counting: From Theory to Practice. Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman. SAT 2007, 100-106. Web SearchBibTeXDownload
2006
31Model Counting: A New Strategy for Obtaining Good Bounds. Carla P. Gomes, Ashish Sabharwal, Bart Selman. AAAI 2006. Web SearchBibTeX
30Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. Jörg Hoffmann, Carla P. Gomes, Bart Selman. ICAPS 2006, 284-293. Web SearchBibTeX
29Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. Carla P. Gomes, Ashish Sabharwal, Bart Selman. NIPS 2006, 481-488. Web SearchBibTeXDownload
28QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman. SAT 2006, 382-395. Web SearchBibTeXDownload
2005
27The Achilles' Heel of QBF. Carlos Ansótegui, Carla P. Gomes, Bart Selman. AAAI 2005, 275-281. Web SearchBibTeX
26Sensor networks and distributed CSP: communication, computation and complexity. Ramón Béjar, Carmel Domshlak, Cčsar Fernández, Carla P. Gomes, Bhaskar Krishnamachari, Bart Selman, Magda Valls. Artif. Intell. (161): 117-147 (2005). Web SearchBibTeXDownload
25Statistical Regimes Across Constrainedness Regions. Carla P. Gomes, Cčsar Fernández, Bart Selman, Christian Bessičre. Constraints (10): 317-337 (2005). Web SearchBibTeXDownload
2004
24Statistical Regimes Across Constrainedness Regions. Carla P. Gomes, Cčsar Fernández, Bart Selman, Christian Bessičre. CP 2004, 32-46. Web SearchBibTeXDownload
2003
23Grid-based SensorDCSP. Ramón Béjar, Carmel Domshlak, Cčsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls. IJCAI 2003, 1359-1361. Web SearchBibTeX
22Backdoors To Typical Case Complexity. Ryan Williams, Carla P. Gomes, Bart Selman. IJCAI 2003, 1173-1178. Web SearchBibTeX
2002
21Dynamic Restart Policies. Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman. AAAI/IAAI 2002, 674-681. Web SearchBibTeX
20AAAI 2002 Workshops. 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. AI Magazine (23): 113-121 (2002). Web SearchBibTeXDownload
19AAAI 2002 Fall Symposium Series Reports. Benjamin Bell, Lola Cańamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh. AI Magazine (23): 91-94 (2002). Web SearchBibTeXDownload
2001
18AAAI 2000 Workshop Reports. 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. AI Magazine (22): 127-136 (2001). Web SearchBibTeXDownload
17Algorithm portfolios. Carla P. Gomes, Bart Selman. Artif. Intell. (126): 43-62 (2001). Web SearchBibTeXDownload
16Formal Models of Heavy-Tailed Behavior in Combinatorial Search. Hubie Chen, Carla P. Gomes, Bart Selman. CP 2001, 408-421. Web SearchBibTeXDownload
15A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering. Electronic Notes in Discrete Mathematics (9): 376-391 (2001). Web SearchBibTeXDownload
14Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel. Electronic Notes in Discrete Mathematics (9): 2-18 (2001). Web SearchBibTeXDownload
13Balance and Filtering in Structured Satisfiable Problems. Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel. IJCAI 2001, 351-358. Web SearchBibTeX
12A Bayesian Approach to Tackling Hard Computational Problems. Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering. UAI 2001, 235-244. Web SearchBibTeXDownload
2000
11Generating Satisfiable Problem Instances. Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman. AAAI/IAAI 2000, 256-261. Web SearchBibTeX
10Hybrid Search Strategies for Heterogeneous Search Spaces. Carla P. Gomes, Bart Selman. International Journal on Artificial Intelligence Tools (9): 45-57 (2000). Web SearchBibTeX
9Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz. J. Autom. Reasoning (24): 67-100 (2000). Web SearchBibTeXDownload
1999
8Search Strategies for Hybrid Search Spaces. Carla P. Gomes, Bart Selman. ICTAI 1999, 359-364. Web SearchBibTeXDownload
7On the Fine Structure of Large Search Spaces. Carla P. Gomes, Bart Selman. ICTAI 1999, 197-201. Web SearchBibTeXDownload
1998
6Boosting Combinatorial Search Through Randomization. Carla P. Gomes, Bart Selman, Henry A. Kautz. AAAI/IAAI 1998, 431-437. Web SearchBibTeX
5Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff. AIPS 1998, 208-213. Web SearchBibTeX
1997
4Problem Structure in the Presence of Perturbations. Carla P. Gomes, Bart Selman. AAAI/IAAI 1997, 221-226. Web SearchBibTeX
3Heavy-Tailed Distributions in Combinatorial Search. Carla P. Gomes, Bart Selman, Nuno Crato. CP 1997, 121-135. Web SearchBibTeXDownload
2A Transformational Approach Applied to Outage Management of Nuclear Power Plants. Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold. HICSS (5) 1997, 658-667. Web SearchBibTeXDownload
1Algorithm Portfolio Design: Theory vs. Practice. Carla P. Gomes, Bart Selman. UAI 1997, 190-197. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research