The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carla P. Gomes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman
    Generating Satisfiable Problem Instances. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:256-261 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  3. Carlos Ansótegui, Carla P. Gomes, Bart Selman
    The Achilles' Heel of QBF. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:275-281 [Conf]
  4. Carla P. Gomes
    Structure, Duality, and Randomization: Common Themes in AI and OR. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:1152-1158 [Conf]
  5. Carla P. Gomes, Bart Selman
    Problem Structure in the Presence of Perturbations. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:221-226 [Conf]
  6. Carla P. Gomes, Bart Selman, Henry A. Kautz
    Boosting Combinatorial Search Through Randomization. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:431-437 [Conf]
  7. Carla P. Gomes, Ashish Sabharwal, Bart Selman
    Model Counting: A New Strategy for Obtaining Good Bounds. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  8. Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman
    Dynamic Restart Policies. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:674-681 [Conf]
  9. Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff
    Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. [Citation Graph (0, 0)][DBLP]
    AIPS, 1998, pp:208-213 [Conf]
  10. Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
    Capturing Structure with Satisfiability. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:137-152 [Conf]
  11. Hubie Chen, Carla P. Gomes, Bart Selman
    Formal Models of Heavy-Tailed Behavior in Combinatorial Search. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:408-421 [Conf]
  12. Cèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes
    Communication and Computation in Distributed CSP Algorithms. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:664-679 [Conf]
  13. Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière
    Statistical Regimes Across Constrainedness Regions. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:32-46 [Conf]
  14. Carla P. Gomes, Meinolf Sellmann
    Streamlined Constraint Reasoning. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:274-289 [Conf]
  15. Carla P. Gomes, Bart Selman, Nuno Crato
    Heavy-Tailed Distributions in Combinatorial Search. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:121-135 [Conf]
  16. Lucian Leahu, Carla P. Gomes
    Quality of LP-Based Approximations for Highly Combinatorial Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:377-392 [Conf]
  17. Lucian Leahu, Carla P. Gomes
    LP as a Global Search Heuristic Across Different Constrainedness Regions. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:853- [Conf]
  18. Jean-Charles Régin, Carla P. Gomes
    The Cardinality Matrix Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:572-587 [Conf]
  19. Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu
    The Power of Semidefinite Programming Relaxations for MAX-SAT. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2006, pp:104-118 [Conf]
  20. Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es
    The Challenge of Generating Spatially Balanced Scientific Experiment Designs. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2004, pp:387-394 [Conf]
  21. Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
    A Transformational Approach Applied to Outage Management of Nuclear Power Plants. [Citation Graph (0, 0)][DBLP]
    HICSS (5), 1997, pp:658-667 [Conf]
  22. Carla P. Gomes, Bart Selman
    On the Fine Structure of Large Search Spaces. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1999, pp:197-201 [Conf]
  23. Carla P. Gomes, Bart Selman
    Search Strategies for Hybrid Search Spaces. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1999, pp:359-364 [Conf]
  24. Carla P. Gomes, Austin Tate, Lyn Thomas
    A Distributed Scheduling Framework. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:49-55 [Conf]
  25. Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls
    Grid-based SensorDCSP. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1359-1361 [Conf]
  26. Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
    Balance and Filtering in Structured Satisfiable Problems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:351-358 [Conf]
  27. Casey Smith, Carla P. Gomes, Cèsar Fernández
    Streamlining Local Search for Spatially Balanced Latin Squares. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1539-1540 [Conf]
  28. Ryan Williams, Carla P. Gomes, Bart Selman
    Backdoors To Typical Case Complexity. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1173-1178 [Conf]
  29. Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz
    SAT Encodings of State-Space Reachability Problems in Numeric Domains. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1918-1923 [Conf]
  30. Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
    From Sampling to Model Counting. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2293-2299 [Conf]
  31. Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman
    QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. [Citation Graph (0, 0)][DBLP]
    SAT, 2006, pp:382-395 [Conf]
  32. Carla P. Gomes, Rommel G. Regis, David B. Shmoys
    An improved approximation algorithm for the partial latin square extension problem. [Citation Graph (0, 0)][DBLP]
    SODA, 2003, pp:832-833 [Conf]
  33. Carla P. Gomes, Bart Selman
    Algorithm Portfolio Design: Theory vs. Practice. [Citation Graph (0, 0)][DBLP]
    UAI, 1997, pp:190-197 [Conf]
  34. Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
    A Bayesian Approach to Tackling Hard Computational Problems. [Citation Graph (0, 0)][DBLP]
    UAI, 2001, pp:235-244 [Conf]
  35. Felip Manyà, Carla P. Gomes
    Técnicas de resolución de problemas de satisfacción de restricciones. [Citation Graph (0, 0)][DBLP]
    Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 2003, v:19, n:, pp:169-180 [Journal]
  36. 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. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:161, n:1-2, pp:117-147 [Journal]
  37. Carla P. Gomes, Bart Selman
    Algorithm portfolios. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:126, n:1-2, pp:43-62 [Journal]
  38. Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh
    AAAI 2002 Fall Symposium Series Reports. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2002, v:23, n:2, pp:91-94 [Journal]
  39. 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. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2002, v:23, n:4, pp:113-121 [Journal]
  40. 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. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2001, v:22, n:1, pp:127-136 [Journal]
  41. Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière
    Statistical Regimes Across Constrainedness Regions. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:4, pp:317-337 [Journal]
  42. Carla P. Gomes, Bart Selman
    Hybrid Search Strategies for Heterogeneous Search Spaces. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2000, v:9, n:1, pp:45-57 [Journal]
  43. Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz
    Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2000, v:24, n:1/2, pp:67-100 [Journal]
  44. Carla P. Gomes, Rommel G. Regis, David B. Shmoys
    An improved approximation algorithm for the partial Latin square extension problem. [Citation Graph (0, 0)][DBLP]
    Oper. Res. Lett., 2004, v:32, n:5, pp:479-484 [Journal]
  45. Carla P. Gomes, Julie Hsu
    ABA: An Assignment Based Algorithm for Resource Allocation. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1996, v:7, n:1, pp:2-8 [Journal]
  46. Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi
    Optimal Multi-Agent Scheduling with Constraint Programming. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1813-1818 [Conf]
  47. Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman
    Counting CSP Solutions Using Generalized XOR Constraints. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:204-209 [Conf]
  48. Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal
    The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:42-49 [Conf]
  49. Jörg Hoffmann, Carla P. Gomes, Bart Selman
    Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:284-293 [Conf]
  50. Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal
    Tradeoffs in the Complexity of Backdoor Detection. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:256-270 [Conf]
  51. Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter
    Connections in Networks: Hardness of Feasibility Versus Optimality. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2007, pp:16-28 [Conf]
  52. Carla P. Gomes, Ashish Sabharwal, Bart Selman
    Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. [Citation Graph (0, 0)][DBLP]
    NIPS, 2006, pp:481-488 [Conf]
  53. Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
    Short XORs for Model Counting: From Theory to Practice. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:100-106 [Conf]
  54. Jörg Hoffmann, Carla P. Gomes, Bart Selman
    Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  55. 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. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2007, v:155, n:12, pp:1613-1626 [Journal]

  56. Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. [Citation Graph (, )][DBLP]


  57. Challenges for Constraint Reasoning and Optimization in Computational Sustainability. [Citation Graph (, )][DBLP]


  58. Connections in Networks: A Hybrid Approach. [Citation Graph (, )][DBLP]


  59. Backdoors to Combinatorial Optimization: Feasibility and Optimality. [Citation Graph (, )][DBLP]


  60. Solving Connected Subgraph Problems in Wildlife Conservation. [Citation Graph (, )][DBLP]


  61. Challenges for CPAIOR in Computational Sustainability. [Citation Graph (, )][DBLP]


  62. Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. [Citation Graph (, )][DBLP]


  63. Learning Optimal Subsets with Implicit User Preferences. [Citation Graph (, )][DBLP]


  64. Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search. [Citation Graph (, )][DBLP]


  65. Backdoors in the Context of Learning. [Citation Graph (, )][DBLP]


  66. Sampling and Soundness: Can We Have Both? [Citation Graph (, )][DBLP]


  67. A generative power-law search tree model. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002