Carla P. Gomes

	2012
92		Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman: Playing games against nature: optimal policies for renewable resource allocation CoRR abs/1203.3478: (2012)
91		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 abs/1203.3514: (2012)
	2011
90		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
89		Stefano Ermon, Carla P. Gomes, Bart Selman: A message passing approach to multiagent gaussian inference for dynamic processes. AAMAS 2011: 1277-1278
88		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
87		Bistra N. Dilkina, Katherine J. Lai, Carla P. Gomes: Upgrading Shortest Paths in Networks. CPAIOR 2011: 76-91
86		Carla P. Gomes: Computational Sustainability. IDA 2011: 8
85		Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman: Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. IJCAI 2011: 1942-1948
84		Stefano Ermon, Carla P. Gomes, Bart Selman: A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. IJCAI 2011: 2608-2613
83		Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Accelerated Adaptive Markov Chain for Partition Function Computation. NIPS 2011: 2744-2752
82		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)
	2010
81		Stefano Ermon, Carla P. Gomes, Bart Selman: Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. AAMAS 2010: 1419-1420
80		Stefano Ermon, Carla P. Gomes, Bart Selman: Computing the Density of States of Boolean Formulas. CP 2010: 38-52
79		Kiyan Ahmadizadeh, Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: An Empirical Study of Optimization for Maximizing Diffusion in Networks. CP 2010: 514-521
78		Bistra N. Dilkina, Carla P. Gomes: Solving Connected Subgraph Problems in Wildlife Conservation. CPAIOR 2010: 102-116
77		Carla P. Gomes: Challenges for CPAIOR in Computational Sustainability. CPAIOR 2010: 3-4
76		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: 517-526
	2009
75		Carla P. Gomes: Challenges for Constraint Reasoning and Optimization in Computational Sustainability. CP 2009: 2-4
74		Bistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann: Backdoors to Combinatorial Optimization: Feasibility and Optimality. CPAIOR 2009: 56-70
73		Yunsong Guo, Carla P. Gomes: Learning Optimal Subsets with Implicit User Preferences. IJCAI 2009: 1052-1057
72		Yunsong Guo, Carla P. Gomes: Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search. IJCAI 2009: 1058-1064
71		Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman: Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI 2009: 544-551
70		Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Backdoors in the Context of Learning. SAT 2009: 73-79
69		Carla P. Gomes, Ashish Sabharwal: Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability 2009: 271-288
68		Carla P. Gomes, Ashish Sabharwal, Bart Selman: Model Counting. Handbook of Satisfiability 2009: 633-654
67		Alda Carvalho, Nuno Crato, Carla P. Gomes: A generative power-law search tree model. Computers & OR 36(8): 2376-2386 (2009)
	2008
66		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
65		Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal: Connections in Networks: A Hybrid Approach. CPAIOR 2008: 303-307
64		Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. ISAIM 2008
	2007
63		Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi: Optimal Multi-Agent Scheduling with Constraint Programming. AAAI 2007: 1813-1818
62		Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman: Counting CSP Solutions Using Generalized XOR Constraints. AAAI 2007: 204-209
61		Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. AAAI 2007: 42-49
60		Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Tradeoffs in the Complexity of Backdoor Detection. CP 2007: 256-270
59		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
58		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
57		Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: From Sampling to Model Counting. IJCAI 2007: 2293-2299
56		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
55		Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106
54		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)
53		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 155(12): 1613-1626 (2007)
52		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 3(1): (2007)
	2006
51		Armin Biere, Carla P. Gomes: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings Springer 2006
50		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
49		Carla P. Gomes, Ashish Sabharwal, Bart Selman: Model Counting: A New Strategy for Obtaining Good Bounds. AAAI 2006: 54-61
48		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
47		Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu: The Power of Semidefinite Programming Relaxations for MAX-SAT. CPAIOR 2006: 104-118
46		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
45		Carla P. Gomes, Ashish Sabharwal, Bart Selman: Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. NIPS 2006: 481-488
44		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
43		Carlos Ansótegui, Carla P. Gomes, Bart Selman: The Achilles' Heel of QBF. AAAI 2005: 275-281
42		Lucian Leahu, Carla P. Gomes: LP as a Global Search Heuristic Across Different Constrainedness Regions. CP 2005: 853
41		Casey Smith, Carla P. Gomes, Cèsar Fernández: Streamlining Local Search for Spatially Balanced Latin Squares. IJCAI 2005: 1539-1540
40		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)
39		Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière: Statistical Regimes Across Constrainedness Regions. Constraints 10(4): 317-337 (2005)
	2004
38		Carla P. Gomes, Meinolf Sellmann: Streamlined Constraint Reasoning. CP 2004: 274-289
37		Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière: Statistical Regimes Across Constrainedness Regions. CP 2004: 32-46
36		Lucian Leahu, Carla P. Gomes: Quality of LP-Based Approximations for Highly Combinatorial Problems. CP 2004: 377-392
35		Jean-Charles Régin, Carla P. Gomes: The Cardinality Matrix Constraint. CP 2004: 572-587
34		Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es: The Challenge of Generating Spatially Balanced Scientific Experiment Designs. CPAIOR 2004: 387-394
33		Carla P. Gomes, David B. Shmoys: Approximations and Randomization to Boost CSP Techniques. Annals OR 130(1-4): 117-141 (2004)
32		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
31		Ryan Williams, Carla P. Gomes, Bart Selman: Backdoors To Typical Case Complexity. IJCAI 2003: 1173-1178
30		Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls: Grid-based SensorDCSP. IJCAI 2003: 1359-1361
29		Carla P. Gomes, Rommel G. Regis, David B. Shmoys: An improved approximation algorithm for the partial latin square extension problem. SODA 2003: 832-833
28		Felip Manyà, Carla P. Gomes: Técnicas de resolución de problemas de satisfacción de restricciones. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 7(19): 169-180 (2003)
	2002
27		Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman: Dynamic Restart Policies. AAAI/IAAI 2002: 674-681
26		Cèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes: Communication and Computation in Distributed CSP Algorithms. CP 2002: 664-679
25		Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh: AAAI 2002 Fall Symposium Series Reports. AI Magazine 23(2): 91-94 (2002)
24		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 23(4): 113-121 (2002)
	2001
23		Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes: Capturing Structure with Satisfiability. CP 2001: 137-152
22		Hubie Chen, Carla P. Gomes, Bart Selman: Formal Models of Heavy-Tailed Behavior in Combinatorial Search. CP 2001: 408-421
21		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
20		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
19		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 22(1): 127-136 (2001)
18		Carla P. Gomes, Bart Selman: Algorithm portfolios. Artif. Intell. 126(1-2): 43-62 (2001)
17		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 9: 2-18 (2001)
16		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 9: 376-391 (2001)
15		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 9: 392-407 (2001)
	2000
14		Carla P. Gomes: Structure, Duality, and Randomization: Common Themes in AI and OR. AAAI/IAAI 2000: 1152-1158
13		Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman: Generating Satisfiable Problem Instances. AAAI/IAAI 2000: 256-261
12		Carla P. Gomes, Bart Selman: Hybrid Search Strategies for Heterogeneous Search Spaces. International Journal on Artificial Intelligence Tools 9(1): 45-57 (2000)
11		Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz: Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. J. Autom. Reasoning 24(1/2): 67-100 (2000)
	1999
10		Carla P. Gomes, Bart Selman: On the Fine Structure of Large Search Spaces. ICTAI 1999: 197-201
9		Carla P. Gomes, Bart Selman: Search Strategies for Hybrid Search Spaces. ICTAI 1999: 359-364
	1998
8		Carla P. Gomes, Bart Selman, Henry A. Kautz: Boosting Combinatorial Search Through Randomization. AAAI/IAAI 1998: 431-437
7		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
6		Carla P. Gomes, Bart Selman: Problem Structure in the Presence of Perturbations. AAAI/IAAI 1997: 221-226
5		Carla P. Gomes, Bart Selman, Nuno Crato: Heavy-Tailed Distributions in Combinatorial Search. CP 1997: 121-135
4		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
3		Carla P. Gomes, Bart Selman: Algorithm Portfolio Design: Theory vs. Practice. UAI 1997: 190-197
	1996
2		Carla P. Gomes, Julie Hsu: ABA: An Assignment Based Algorithm for Resource Allocation. SIGART Bulletin 7(1): 2-8 (1996)
	1994
1		Carla P. Gomes, Austin Tate, Lyn Thomas: A Distributed Scheduling Framework. ICTAI 1994: 49-55

Coauthor Index

1	Dimitris Achlioptas	[13] [17] [21]
2	David W. Aha	[19]
3	Kiyan Ahmadizadeh	[79]
4	William Allen	[76] [91]
5	Ole Amundsen	[76] [91]
6	Frank D. Anger	[24]
7	Carlos Ansótegui	[43] [44] [50] [82]
8	Chitta Baral	[24]
9	Ramón Béjar	[15] [23] [26] [30] [40] [50] [53] [82]
10	Benjamin Bell	[25]
11	Christian Bessiere (Christian Bessière)	[37] [39]
12	Claudio Bettini	[19]
13	Armin Biere	[51]
14	William P. Birmingham	[19]
15	M. Brian Blake	[24]
16	Kurt D. Bollacker	[19]
17	Paolo Bouquet	[24]
18	Michael Brenner	[24]
19	Alba Cabiscol	[15] [23] [53]
20	David E. Calkin	[90]
21	Lola Cañamero	[25]
22	Alda Carvalho	[67]
23	Hubie Chen	[22]
24	David Maxwell Chickering (Max Chickering)	[16] [20]
25	Jon Conrad	[59] [76] [85] [91] [92]
26	Silvia Coradeschi	[25]
27	Nuno Crato	[5] [11] [67]
28	Theodoros Damoulas	[88]
29	James P. Delgrande	[24]
30	Jörg Denzinger	[19]
31	Bistra N. Dilkina	[60] [61] [64] [70] [74] [76] [78] [79] [87] [91]
32	Carmel Domshlak	[30] [40]
33	R. Bruce van Dover	[88]
34	Jon Doyle	[24]
35	Adam N. Elmachtoub	[76] [91]
36	Stefano Ermon	[80] [81] [83] [84] [85] [89] [92]
37	Cindy van Es	[34]
38	Harold van Es	[34]
39	Rino Falcone	[24]
40	Cèsar Fernández	[15] [23] [26] [30] [37] [39] [40] [41] [50] [53] [82]
41	Timothy W. Finin (Tim Finin)	[19]
42	Ryan Finseth	[76] [91]
43	Dieter Fox	[66]
44	Lise Getoor	[19]
45	Yolanda Gil	[19]
46	Piotr J. Gmytrasiewicz	[24]
47	John M. Gregoire	[88]
48	Benjamin N. Grosof	[19]
49	Hans W. Guesgen (Hans Werner Guesgen)	[24]
50	Haipeng Guo	[24]
51	Yunsong Guo	[72] [73]
52	Karen Zita Haigh	[24]
53	Justin W. Hart	[44]
54	Henry Hexmoor	[24]
55	Willem Jan van Hoeve	[47] [48] [59] [62] [63] [65]
56	Jörg Hoffmann	[46] [52] [54] [55] [56] [57] [58]
57	Robert C. Holte (Robert Holte)	[19]
58	Holger H. Hoos (Holger Hoos)	[19]
59	Eric Horvitz	[16] [20] [24] [27]
60	Julie Hsu	[2]
61	Nancy Ide	[24]
62	Nathalie Japkowicz	[19]
63	Ulrich Junker	[24]
64	Henry A. Kautz	[8] [11] [13] [16] [17] [20] [21] [27] [58]
65	Bhaskar Krishnamachari	[26] [40]
66	Lukas Kroc	[71]
67	Antonio Krüger	[24]
68	Miroslav Kubat	[19]
69	Koichi Kurumantani	[24]
70	Katherine J. Lai	[87] [90]
71	Ronan LeBras	[88]
72	Lucian Leahu	[36] [42] [47]
73	Yves Lespérance	[19]
74	Gérard Ligozat (Gerard Ligozat)	[24]
75	Michele Lombardi	[63]
76	Rainer Malaka	[24]
77	Yuri Malitsky	[74]
78	Felip Manyà	[15] [23] [28] [53]
79	Carles Mateu	[50] [82]
80	Kenneth McAloon (Ken McAloon)	[7]
81	Sheila A. McIlraith	[24]
82	Kevin S. McKelvey	[90]
83	Tom M. Mitchell	[19]
84	Angelo Montanari	[19]
85	Claire A. Montgomery	[90]
86	Karen L. Myers	[19]
87	Alexander Nareyek	[19]
88	Simon Parsons	[24]
89	Adam Pease	[24]
90	Jean-Charles Régin	[35]
91	Rommel G. Regis	[29] [32]
92	Francesca Rossi	[24]
93	Yongshao Ruan	[16] [17] [20] [21] [27]
94	Ashish Sabharwal	[44] [45] [49] [55] [56] [57] [59] [60] [61] [62] [64] [65] [68] [69] [70] [71] [74] [76] [79] [83] [88] [91]
95	Alessandro Saffiotti	[25]
96	Torsten Schaub	[24]
97	Alan C. Schultz	[19]
98	Michael K. Schwartz	[90]
99	Meinolf Sellmann	[34] [38] [74]
100	Bart Selman	[3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [16] [17] [18] [20] [21] [22] [27] [30] [31] [37] [39] [40] [43] [44] [45] [46] [48] [49] [52] [54] [55] [56] [57] [58] [62] [63] [68] [71] [80] [81] [83] [84] [85] [89] [92]
101	Daniel Sheldon	[76] [91]
102	David B. Shmoys	[29] [32] [33] [76] [91]
103	Bill Smart	[24]
104	Casey Smith	[41]
105	Douglas R. Smith	[4]
106	Leen-Kiat Soh	[24]
107	Mark E. Stickel	[17] [21]
108	Jordan Suter	[59]
109	Austin Tate	[1]
110	Lyn Thomas	[1]
111	Carol Tretkoff	[7]
112	Costas Tsatsoulis	[25]
113	Magda Valls	[30] [40]
114	William Vaughan	[76] [91]
115	Gerd Wagner	[19]
116	J. Paul Walser	[19]
117	Toby Walsh	[24] [25]
118	Christopher A. Welty (Chris Welty)	[24]
119	Stephen J. Westfold	[4]
120	Ryan Williams (R. Ryan Williams)	[31]
121	Marie desJardins	[24]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page