Carla P. Gomes

2008
64		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
63	EE	Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal: Connections in Networks: A Hybrid Approach. CPAIOR 2008: 303-307
2007
62		Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi: Optimal Multi-Agent Scheduling with Constraint Programming. AAAI 2007: 1813-1818
61		Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman: Counting CSP Solutions Using Generalized XOR Constraints. AAAI 2007: 204-209
60		Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. AAAI 2007: 42-49
59	EE	Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Tradeoffs in the Complexity of Backdoor Detection. CP 2007: 256-270
58	EE	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
57	EE	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
56	EE	Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: From Sampling to Model Counting. IJCAI 2007: 2293-2299
55	EE	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
54	EE	Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106
53	EE	Jörg Hoffmann, Carla P. Gomes, Bart Selman: Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning CoRR abs/cs/0701184: (2007)
52	EE	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)
51	EE	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
50		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
49		Carla P. Gomes, Ashish Sabharwal, Bart Selman: Model Counting: A New Strategy for Obtaining Good Bounds. AAAI 2006
48		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
47	EE	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	EE	Carla P. Gomes, Ashish Sabharwal, Bart Selman: Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. NIPS 2006: 481-488
44	EE	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	EE	Lucian Leahu, Carla P. Gomes: LP as a Global Search Heuristic Across Different Constrainedness Regions. CP 2005: 853
41	EE	Casey Smith, Carla P. Gomes, Cèsar Fernández: Streamlining Local Search for Spatially Balanced Latin Squares. IJCAI 2005: 1539-1540
40	EE	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	EE	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	EE	Carla P. Gomes, Meinolf Sellmann: Streamlined Constraint Reasoning. CP 2004: 274-289
37	EE	Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière: Statistical Regimes Across Constrainedness Regions. CP 2004: 32-46
36	EE	Lucian Leahu, Carla P. Gomes: Quality of LP-Based Approximations for Highly Combinatorial Problems. CP 2004: 377-392
35	EE	Jean-Charles Régin, Carla P. Gomes: The Cardinality Matrix Constraint. CP 2004: 572-587
34	EE	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	EE	Carla P. Gomes, David B. Shmoys: Approximations and Randomization to Boost CSP Techniques. Annals OR 130(1-4): 117-141 (2004)
32	EE	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	EE	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	EE	Felip Manyà, Carla P. Gomes: Técnicas de resolución de problemas de satisfacción de restricciones. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 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	EE	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	EE	Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes: Capturing Structure with Satisfiability. CP 2001: 137-152
22	EE	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	EE	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	EE	Carla P. Gomes, Bart Selman: Algorithm portfolios. Artif. Intell. 126(1-2): 43-62 (2001)
17	EE	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	EE	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	EE	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	EE	Carla P. Gomes, Bart Selman: On the Fine Structure of Large Search Spaces. ICTAI 1999: 197-201
9	EE	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	EE	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	EE	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	Frank D. Anger	[24]
4	Carlos Ansótegui	[43] [44] [48]
5	Chitta Baral	[24]
6	Ramón Béjar	[15] [23] [26] [30] [40] [48] [52]
7	Benjamin Bell	[25]
8	Christian Bessiere (Christian Bessière)	[37] [39]
9	Claudio Bettini	[19]
10	Armin Biere	[50]
11	William P. Birmingham	[19]
12	M. Brian Blake	[24]
13	Kurt D. Bollacker	[19]
14	Paolo Bouquet	[24]
15	Michael Brenner	[24]
16	Alba Cabiscol	[15] [23] [52]
17	Lola Cañamero	[25]
18	Hubie Chen	[22]
19	David Maxwell Chickering	[16] [20]
20	Jon Conrad	[58]
21	Silvia Coradeschi	[25]
22	Nuno Crato	[5] [11]
23	James P. Delgrande	[24]
24	Jörg Denzinger	[19]
25	Bistra N. Dilkina	[59] [60]
26	Carmel Domshlak	[30] [40]
27	Jon Doyle	[24]
28	Cindy van Es	[34]
29	Harold van Es	[34]
30	Rino Falcone	[24]
31	Cèsar Fernández	[15] [23] [26] [30] [37] [39] [40] [41] [48] [52]
32	Timothy W. Finin (Tim Finin)	[19]
33	Dieter Fox	[64]
34	Lise Getoor	[19]
35	Yolanda Gil	[19]
36	Piotr J. Gmytrasiewicz	[24]
37	Benjamin N. Grosof	[19]
38	Hans W. Guesgen	[24]
39	Haipeng Guo	[24]
40	Karen Zita Haigh	[24]
41	Justin W. Hart	[44]
42	Henry Hexmoor	[24]
43	Willem Jan van Hoeve	[47] [58] [61] [62] [63]
44	Jörg Hoffmann	[46] [51] [53] [54] [55] [56] [57]
45	Robert C. Holte (Robert Holte)	[19]
46	Holger H. Hoos (Holger Hoos)	[19]
47	Eric Horvitz	[16] [20] [24] [27]
48	Julie Hsu	[2]
49	Nancy Ide	[24]
50	Nathalie Japkowicz	[19]
51	Ulrich Junker	[24]
52	Henry A. Kautz	[8] [11] [13] [16] [17] [20] [21] [27] [57]
53	Bhaskar Krishnamachari	[26] [40]
54	Antonio Krüger	[24]
55	Miroslav Kubat	[19]
56	Koichi Kurumantani	[24]
57	Lucian Leahu	[36] [42] [47]
58	Yves Lespérance	[19]
59	Gérard Ligozat (Gerard Ligozat)	[24]
60	Michele Lombardi	[62]
61	Rainer Malaka	[24]
62	Felip Manyà	[15] [23] [28] [52]
63	Carles Mateu	[48]
64	Ken McAloon	[7]
65	Sheila A. McIlraith	[24]
66	Tom M. Mitchell	[19]
67	Angelo Montanari	[19]
68	Karen L. Myers	[19]
69	Alexander Nareyek	[19]
70	Simon Parsons	[24]
71	Adam Pease	[24]
72	Jean-Charles Régin	[35]
73	Rommel G. Regis	[29] [32]
74	Francesca Rossi	[24]
75	Yongshao Ruan	[16] [17] [20] [21] [27]
76	Ashish Sabharwal	[44] [45] [49] [54] [55] [56] [58] [59] [60] [61] [63]
77	Alessandro Saffiotti	[25]
78	Torsten Schaub	[24]
79	Alan C. Schultz	[19]
80	Meinolf Sellmann	[34] [38]
81	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] [49] [51] [53] [54] [55] [56] [57] [61] [62]
82	David B. Shmoys	[29] [32] [33]
83	Bill Smart	[24]
84	Casey Smith	[41]
85	Douglas R. Smith	[4]
86	Leen-Kiat Soh	[24]
87	Mark E. Stickel	[17] [21]
88	Jordan Suter	[58]
89	Austin Tate	[1]
90	Lyn Thomas	[1]
91	Carol Tretkoff	[7]
92	Costas Tsatsoulis	[25]
93	Magda Valls	[30] [40]
94	Gerd Wagner	[19]
95	J. Paul Walser	[19]
96	Toby Walsh	[24] [25]
97	Christopher A. Welty	[24]
98	Stephen J. Westfold	[4]
99	Ryan Williams (R. Ryan Williams)	[31]
100	Marie desJardins	[24]

Colors in the list of coauthors