Carla P. Gomes - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

2009

A generative power-law search tree modelAlda Carvalho, Nuno Crato, Carla P. Gomes. cor, 36(8):2376-2386, 2009. [doi]

Backdoors to Combinatorial Optimization: Feasibility and OptimalityBistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann. cpaior 2009: 56-70 [doi]

Backdoors in the Context of LearningBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal. sat 2009: 73-79 [doi]

Exploiting Runtime Variation in Complete SolversCarla P. Gomes, Ashish Sabharwal. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 271-288, IOS Press, 2009. [doi]

Challenges for Constraint Reasoning and Optimization in Computational SustainabilityCarla P. Gomes. cp 2009: 2-4 [doi]

Model CountingCarla P. Gomes, Ashish Sabharwal, Bart Selman. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 633-654, IOS Press, 2009. [doi]

Learning Optimal Subsets with Implicit User PreferencesYunsong Guo, Carla P. Gomes. IJCAI 2009: 1052-1057 [doi]

Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art SearchYunsong Guo, Carla P. Gomes. IJCAI 2009: 1058-1064 [doi]

Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSATLukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman. IJCAI 2009: 544-551 [doi]

2008

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008Dieter Fox, Carla P. Gomes, editors, AAAI Press, 2008.

Connections in Networks: A Hybrid ApproachCarla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal. cpaior 2008: 303-307 [doi]

2007

Regular-SAT: A many-valued approach to solving combinatorial problemsRamón Béjar, Felip Manyà, Alba Cabiscol, Cèsar Fernández, Carla P. Gomes. DAM, 155(12):1613-1626, 2007. [doi]

Connections in Networks: Hardness of Feasibility Versus OptimalityJon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter. cpaior 2007: 16-28 [doi]

The Impact of Network Topology on Pure Nash Equilibria in Graphical GamesBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal. AAAI 2007: 42-49

Tradeoffs in the Complexity of Backdoor DetectionBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal. cp 2007: 256-270 [doi]

Sampling and Soundness: Can We Have Both?Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman. semweb 2007: [doi]

Short XORs for Model Counting: From Theory to PracticeCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman. sat 2007: 100-106 [doi]

Counting CSP Solutions Using Generalized XOR ConstraintsCarla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman. AAAI 2007: 204-209

From Sampling to Model CountingCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman. IJCAI 2007: 2293-2299 [doi]

SAT Encodings of State-Space Reachability Problems in Numeric DomainsJörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz. IJCAI 2007: 1918-1923 [doi]

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based PlanningJörg Hoffmann, Carla P. Gomes, Bart Selman. lmcs, 3(1), 2007. [doi]

Optimal Multi-Agent Scheduling with Constraint ProgrammingWillem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi. AAAI 2007: 1813-1818

2006

The Impact of Balancing on Problem Hardness in a Highly Structured DomainCarlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla P. Gomes, Carles Mateu. AAAI 2006:

Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, ProceedingsArmin Biere, Carla P. Gomes, editors, Volume 4121 of Lecture Notes in Computer Science, Springer, 2006.

Model Counting: A New Strategy for Obtaining Good BoundsCarla P. Gomes, Ashish Sabharwal, Bart Selman. AAAI 2006:

The Power of Semidefinite Programming Relaxations for MAX-SATCarla P. Gomes, Willem Jan van Hoeve, Lucian Leahu. cpaior 2006: 104-118 [doi]

Near-Uniform Sampling of Combinatorial Spaces Using XOR ConstraintsCarla P. Gomes, Ashish Sabharwal, Bart Selman. nips 2007: 481-488 [doi]

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based PlanningJörg Hoffmann, Carla P. Gomes, Bart Selman. aips 2006: 284-293

QBF Modeling: Exploiting Player Symmetry for Simplicity and EfficiencyAshish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman. sat 2006: 382-395 [doi]

2005

2004

Statistical Regimes Across Constrainedness RegionsCarla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière. cp 2004: 32-46 [doi]

An improved approximation algorithm for the partial Latin square extension problemCarla P. Gomes, Rommel G. Regis, David B. Shmoys. orl, 32(5):479-484, 2004. [doi]

Approximations and Randomization to Boost CSP TechniquesCarla P. Gomes, David B. Shmoys. anor, 130(1-4):117-141, 2004. [doi]

The Challenge of Generating Spatially Balanced Scientific Experiment DesignsCarla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es. cpaior 2004: 387-394 [doi]

Streamlined Constraint ReasoningCarla P. Gomes, Meinolf Sellmann. cp 2004: 274-289 [doi]

Quality of LP-Based Approximations for Highly Combinatorial ProblemsLucian Leahu, Carla P. Gomes. cp 2004: 377-392 [doi]

The Cardinality Matrix ConstraintJean-Charles Régin, Carla P. Gomes. cp 2004: 572-587 [doi]

2003

2002

AAAI 2002 Fall Symposium Series ReportsBenjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh. aim, 23(2):91-94, 2002.

Communication and Computation in Distributed CSP AlgorithmsCèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes. cp 2002: 664-679 [doi]

Dynamic Restart PoliciesHenry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman. AAAI 2002: 674-681

2001

Capturing Structure with SatisfiabilityRamón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes. cp 2001: 137-152 [doi]

Extending the Reach of SAT with Many-Valued LogicsRamón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes. endm, 9:392-407, 2001. [doi]

Formal Models of Heavy-Tailed Behavior in Combinatorial SearchHubie Chen, Carla P. Gomes, Bart Selman. cp 2001: 408-421 [doi]

Algorithm portfoliosCarla P. Gomes, Bart Selman. ai, 126(1-2):43-62, 2001. [doi]

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report)Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering. endm, 9:376-391, 2001. [doi]

A Bayesian Approach to Tackling Hard Computational ProblemsEric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering. uai 2001: 235-244 [doi]

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel. endm, 9:2-18, 2001. [doi]

Balance and Filtering in Structured Satisfiable ProblemsHenry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel. IJCAI 2001: 351-358

2000

Generating Satisfiable Problem InstancesDimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman. AAAI 2000: 256-261

Structure, Duality, and Randomization: Common Themes in AI and ORCarla P. Gomes. AAAI 2000: 1152-1158

Hybrid Search Strategies for Heterogeneous Search SpacesCarla P. Gomes, Bart Selman. ijait, 9(1):45-57, 2000.

Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction ProblemsCarla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz. JAR, 24(1/2):67-100, 2000.

1999

On the Fine Structure of Large Search SpacesCarla P. Gomes, Bart Selman. ictai 1999: 197-201 [doi]

Search Strategies for Hybrid Search SpacesCarla P. Gomes, Bart Selman. ictai 1999: 359-364 [doi]

1998

Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling ProblemsCarla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff. aips 1998: 208-213

Boosting Combinatorial Search Through RandomizationCarla P. Gomes, Bart Selman, Henry A. Kautz. AAAI 1998: 431-437

1997

1996

ABA: An Assignment Based Algorithm for Resource AllocationCarla P. Gomes, Julie Hsu. sigart, 7(1):2-8, 1996.

1994

A Distributed Scheduling FrameworkCarla P. Gomes, Austin Tate, Lyn Thomas. ictai 1994: 49-55