dblp.uni-trier.dewww.uni-trier.de

Carla P. Gomes Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
72EECarla P. Gomes: Challenges for Constraint Reasoning and Optimization in Computational Sustainability. CP 2009: 2-4
71EEBistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann: Backdoors to Combinatorial Optimization: Feasibility and Optimality. CPAIOR 2009: 56-70
70EEYunsong Guo, Carla P. Gomes: Learning Optimal Subsets with Implicit User Preferences. IJCAI 2009: 1052-1057
69EEYunsong Guo, Carla P. Gomes: Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search. IJCAI 2009: 1058-1064
68EELukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman: Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI 2009: 544-551
67EEBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Backdoors in the Context of Learning. SAT 2009: 73-79
66EECarla P. Gomes, Ashish Sabharwal: Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability 2009: 271-288
65EECarla P. Gomes, Ashish Sabharwal, Bart Selman: Model Counting. Handbook of Satisfiability 2009: 633-654
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
63EECarla 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
59EEBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Tradeoffs in the Complexity of Backdoor Detection. CP 2007: 256-270
58EEJon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter: Connections in Networks: Hardness of Feasibility Versus Optimality. CPAIOR 2007: 16-28
57EEJörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz: SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923
56EECarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: From Sampling to Model Counting. IJCAI 2007: 2293-2299
55EECarla 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
54EECarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106
53EEJö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)
52EERamó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)
51EEJö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
47EECarla 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
45EECarla P. Gomes, Ashish Sabharwal, Bart Selman: Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. NIPS 2006: 481-488
44EEAshish 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
42EELucian Leahu, Carla P. Gomes: LP as a Global Search Heuristic Across Different Constrainedness Regions. CP 2005: 853
41EECasey Smith, Carla P. Gomes, Cèsar Fernández: Streamlining Local Search for Spatially Balanced Latin Squares. IJCAI 2005: 1539-1540
40EERamó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)
39EECarla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière: Statistical Regimes Across Constrainedness Regions. Constraints 10(4): 317-337 (2005)
2004
38EECarla P. Gomes, Meinolf Sellmann: Streamlined Constraint Reasoning. CP 2004: 274-289
37EECarla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière: Statistical Regimes Across Constrainedness Regions. CP 2004: 32-46
36EELucian Leahu, Carla P. Gomes: Quality of LP-Based Approximations for Highly Combinatorial Problems. CP 2004: 377-392
35EEJean-Charles Régin, Carla P. Gomes: The Cardinality Matrix Constraint. CP 2004: 572-587
34EECarla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es: The Challenge of Generating Spatially Balanced Scientific Experiment Designs. CPAIOR 2004: 387-394
33EECarla P. Gomes, David B. Shmoys: Approximations and Randomization to Boost CSP Techniques. Annals OR 130(1-4): 117-141 (2004)
32EECarla 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
29EECarla P. Gomes, Rommel G. Regis, David B. Shmoys: An improved approximation algorithm for the partial latin square extension problem. SODA 2003: 832-833
28EEFelip 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
26EECè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
23EERamón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes: Capturing Structure with Satisfiability. CP 2001: 137-152
22EEHubie 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
20EEEric 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)
18EECarla P. Gomes, Bart Selman: Algorithm portfolios. Artif. Intell. 126(1-2): 43-62 (2001)
17EEHenry 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)
16EEEric 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)
15EERamó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
10EECarla P. Gomes, Bart Selman: On the Fine Structure of Large Search Spaces. ICTAI 1999: 197-201
9EECarla 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
4EECarla P. Gomes, Douglas R. Smith, Stephen J. Westfold: A Transformational Approach Applied to Outage Management of Nuclear Power Plants. HICSS (5) 1997: 658-667
3EECarla 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)