×

zbMATH — the first resource for mathematics

Gomes, Carla P.

Compute Distance To:
Author ID: gomes.carla-p Recent zbMATH articles by "Gomes, Carla P."
Published as: Gomes, C.; Gomes, C. P.; Gomes, Carla; Gomes, Carla P.
Documents Indexed: 45 Publications since 2000, including 2 Books

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 234 times in 185 Documents Cited by Year
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. Zbl 0967.68145
Gomes, Carla P.; Selman, Bart; Crato, Nuno; Kautz, Henry
44
2000
Algorithm portfolios. Zbl 0969.68047
Gomes, C. P.; Selman, B.
34
2001
Solving connected subgraph problems in wildlife conservation. Zbl 1285.68155
Dilkina, Bistra; Gomes, Carla P.
14
2010
Streamlined constraint reasoning. Zbl 1152.68556
Gomes, Carla; Sellmann, Meinolf
11
2004
A Bayesian approach to tackling hard computational problems. (Preliminary report). Zbl 0991.68564
Horvitz, Eric; Ruan, Yongshao; Gomes, Carla; Kautz, Henry; Selman, Bart; Stickel, Mark; Chickering, Max
11
2001
Balance and filtering in structured satisfiable problems. (Preliminary report). Zbl 0985.90509
Kautz, Henry; Ruan, Yongshao; Achlioptas, Dimitris; Gomes, Carla; Selman, Bart; Stickel, Mark
11
2001
Model counting: a new stategy for obtaining good bounds. Zbl 1341.68202
Gomes, Carla P.; Sabharwal, Ashish; Selman, Bart
9
2011
Tradeoffs in the complexity of backdoor detection. Zbl 1145.68511
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
8
2007
Formal models of heavy-tailed behavior in combinatorial search. Zbl 1067.68620
Chen, Hubie; Gomes, Carla; Selman, Bart
8
2001
QBF modeling: exploiting player symmetry for simplicity and efficiency. Zbl 1187.68264
Sabharwal, Ashish; Ansotegui, Carlos; Gomes, Carla P.; Hart, Justin W.; Selman, Bart
7
2006
The cardinality matrix constraint. Zbl 1152.68578
Régin, Jean-Charles; Gomes, Carla
7
2004
Is market impact a measure of the information value of trades? Market response to liquidity vs. informed metaorders. Zbl 1398.91519
Gomes, C.; Waelbroeck, H.
6
2015
Wildlife corridors as a connected subgraph problem. Zbl 1250.90119
Conrad, Jon M.; Gomes, Carla P.; van Hoeve, Willem-Jan; Sabharwal, Ashish; Suter, Jordan F.
6
2012
Short XORs for model counting: from theory to practice. Zbl 1214.68354
Gomes, Carla P.; Hoffmann, Joerg; Sabharwal, Ashish; Selman, Bart
6
2007
Backdoors to combinatorial optimization: feasibility and optimality. Zbl 1241.68099
Dilkina, Bistra; Gomes, Carla P.; Malitsky, Yuri; Sabharwal, Ashish; Sellmann, Meinolf
5
2009
Solutions for hard and soft constraints using optimized probabilistic satisfiability. Zbl 1390.68594
Finger, Marcelo; Le Bras, Ronan; Gomes, Carla P.; Selman, Bart
4
2013
Sensor networks and distributed CSP: communication, computation and complexity. Zbl 1132.68688
Béjar, Ramón; Domshlak, Carmel; Fernández, Cèsar; Gomes, Carla; Krishnamachari, Bhaskar; Selman, Bart; Valls, Magda
4
2005
Statistical regimes across constrainedness regions. Zbl 1102.68651
Gomes, Carla P.; Fernández, Cèsar; Selman, Bart; Bessière, Christian
4
2005
Upgrading shortest paths in networks. Zbl 1302.90232
Dilkina, Bistra; Lai, Katherine J.; Gomes, Carla P.
3
2011
Backdoors in the context of learning. Zbl 1247.68250
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
3
2009
The power of semidefinite programming relaxations for MAX-SAT. Zbl 1177.68186
Gomes, Carla P.; van Hoeve, Willem-Jan; Leahu, Lucian
3
2006
Approximations and randomization to boost CSP techniques. Zbl 1062.90033
Gomes, Carla P.; Shmoys, David B.
3
2004
Connections in networks: hardness of feasibility versus optimality. Zbl 1214.90127
Conrad, Jon; Gomes, Carla P.; van Hoeve, Willem-Jan; Sabharwal, Ashish; Suter, Jordan
2
2007
Structure and problem hardness: goal asymmetry and DPLL proofs in SAT-based planning. Zbl 1128.68093
Hoffmann, Joerg; Gomes, Carla P.; Selman, Bart
2
2007
Regular-SAT: A many-valued approach to solving combinatorial problems. Zbl 1121.68104
Béjar, Ramón; Manyà, Felip; Cabiscol, Alba; Fernàndez, Cèsar; Gomes, Carla
2
2007
Theory and applications of satisfiability testing – SAT 2006. 9th international conference, Seattle, WA, USA, August 12–15, 2006. Proceedings. Zbl 1114.68003
Biere, Armin (ed.); Gomes, Carla P. (ed.)
2
2006
Statistical regimes across constrainedness regions. Zbl 1152.68555
Gomes, Carla P.; Fernández, Cèsar; Selman, Bart; Bessiere, Christian
2
2004
The challenge of generating spatially balanced scientific experiment designs. Zbl 1094.68643
Gomes, Carla; Sellmann, Meinolf; van Es, Cindy; van Es, Harold
2
2004
Randomized backtrack search. Extending the reach of complete search methods. Zbl 1258.90001
Gomes, Carla P.
2
2004
An improved approximation algorithm for the partial latin square extension problem. Zbl 1141.68659
Gomes, Carla P.; Regis, Rommel G.; Shmoys, David B.
2
2003
Capturing structure with satisfiability. Zbl 1067.68535
Béjar, Ramón; Cabiscol, Alba; Fernàndez, Cèsar; Manyà, Felip; Gomes, Carla
2
2001
On the Erdős discrepancy problem. Zbl 1343.68221
Le Bras, Ronan; Gomes, Carla P.; Selman, Bart
1
2014
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Zbl 1357.68205
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
1
2014
A generative power-law search tree model. Zbl 1179.90173
Carvalho, Alda; Crato, Nuno; Gomes, Carla
1
2009
An improved approximation algorithm for the partial Latin square extension problem. Zbl 1078.68160
Gomes, Carla P.; Regis, Rommel G.; Shmoys, David B.
1
2004
Heavy-tailed phenomena and satisfiability and constraint satisfaction problems. Zbl 0979.68049
Gomes, Carla P.; Selman, Bart; Crato, Nuno; Kautz, Henry
1
2000
Is market impact a measure of the information value of trades? Market response to liquidity vs. informed metaorders. Zbl 1398.91519
Gomes, C.; Waelbroeck, H.
6
2015
On the Erdős discrepancy problem. Zbl 1343.68221
Le Bras, Ronan; Gomes, Carla P.; Selman, Bart
1
2014
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Zbl 1357.68205
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
1
2014
Solutions for hard and soft constraints using optimized probabilistic satisfiability. Zbl 1390.68594
Finger, Marcelo; Le Bras, Ronan; Gomes, Carla P.; Selman, Bart
4
2013
Wildlife corridors as a connected subgraph problem. Zbl 1250.90119
Conrad, Jon M.; Gomes, Carla P.; van Hoeve, Willem-Jan; Sabharwal, Ashish; Suter, Jordan F.
6
2012
Model counting: a new stategy for obtaining good bounds. Zbl 1341.68202
Gomes, Carla P.; Sabharwal, Ashish; Selman, Bart
9
2011
Upgrading shortest paths in networks. Zbl 1302.90232
Dilkina, Bistra; Lai, Katherine J.; Gomes, Carla P.
3
2011
Solving connected subgraph problems in wildlife conservation. Zbl 1285.68155
Dilkina, Bistra; Gomes, Carla P.
14
2010
Backdoors to combinatorial optimization: feasibility and optimality. Zbl 1241.68099
Dilkina, Bistra; Gomes, Carla P.; Malitsky, Yuri; Sabharwal, Ashish; Sellmann, Meinolf
5
2009
Backdoors in the context of learning. Zbl 1247.68250
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
3
2009
A generative power-law search tree model. Zbl 1179.90173
Carvalho, Alda; Crato, Nuno; Gomes, Carla
1
2009
Tradeoffs in the complexity of backdoor detection. Zbl 1145.68511
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
8
2007
Short XORs for model counting: from theory to practice. Zbl 1214.68354
Gomes, Carla P.; Hoffmann, Joerg; Sabharwal, Ashish; Selman, Bart
6
2007
Connections in networks: hardness of feasibility versus optimality. Zbl 1214.90127
Conrad, Jon; Gomes, Carla P.; van Hoeve, Willem-Jan; Sabharwal, Ashish; Suter, Jordan
2
2007
Structure and problem hardness: goal asymmetry and DPLL proofs in SAT-based planning. Zbl 1128.68093
Hoffmann, Joerg; Gomes, Carla P.; Selman, Bart
2
2007
Regular-SAT: A many-valued approach to solving combinatorial problems. Zbl 1121.68104
Béjar, Ramón; Manyà, Felip; Cabiscol, Alba; Fernàndez, Cèsar; Gomes, Carla
2
2007
QBF modeling: exploiting player symmetry for simplicity and efficiency. Zbl 1187.68264
Sabharwal, Ashish; Ansotegui, Carlos; Gomes, Carla P.; Hart, Justin W.; Selman, Bart
7
2006
The power of semidefinite programming relaxations for MAX-SAT. Zbl 1177.68186
Gomes, Carla P.; van Hoeve, Willem-Jan; Leahu, Lucian
3
2006
Theory and applications of satisfiability testing – SAT 2006. 9th international conference, Seattle, WA, USA, August 12–15, 2006. Proceedings. Zbl 1114.68003
Biere, Armin (ed.); Gomes, Carla P. (ed.)
2
2006
Sensor networks and distributed CSP: communication, computation and complexity. Zbl 1132.68688
Béjar, Ramón; Domshlak, Carmel; Fernández, Cèsar; Gomes, Carla; Krishnamachari, Bhaskar; Selman, Bart; Valls, Magda
4
2005
Statistical regimes across constrainedness regions. Zbl 1102.68651
Gomes, Carla P.; Fernández, Cèsar; Selman, Bart; Bessière, Christian
4
2005
Streamlined constraint reasoning. Zbl 1152.68556
Gomes, Carla; Sellmann, Meinolf
11
2004
The cardinality matrix constraint. Zbl 1152.68578
Régin, Jean-Charles; Gomes, Carla
7
2004
Approximations and randomization to boost CSP techniques. Zbl 1062.90033
Gomes, Carla P.; Shmoys, David B.
3
2004
Statistical regimes across constrainedness regions. Zbl 1152.68555
Gomes, Carla P.; Fernández, Cèsar; Selman, Bart; Bessiere, Christian
2
2004
The challenge of generating spatially balanced scientific experiment designs. Zbl 1094.68643
Gomes, Carla; Sellmann, Meinolf; van Es, Cindy; van Es, Harold
2
2004
Randomized backtrack search. Extending the reach of complete search methods. Zbl 1258.90001
Gomes, Carla P.
2
2004
An improved approximation algorithm for the partial Latin square extension problem. Zbl 1078.68160
Gomes, Carla P.; Regis, Rommel G.; Shmoys, David B.
1
2004
An improved approximation algorithm for the partial latin square extension problem. Zbl 1141.68659
Gomes, Carla P.; Regis, Rommel G.; Shmoys, David B.
2
2003
Algorithm portfolios. Zbl 0969.68047
Gomes, C. P.; Selman, B.
34
2001
A Bayesian approach to tackling hard computational problems. (Preliminary report). Zbl 0991.68564
Horvitz, Eric; Ruan, Yongshao; Gomes, Carla; Kautz, Henry; Selman, Bart; Stickel, Mark; Chickering, Max
11
2001
Balance and filtering in structured satisfiable problems. (Preliminary report). Zbl 0985.90509
Kautz, Henry; Ruan, Yongshao; Achlioptas, Dimitris; Gomes, Carla; Selman, Bart; Stickel, Mark
11
2001
Formal models of heavy-tailed behavior in combinatorial search. Zbl 1067.68620
Chen, Hubie; Gomes, Carla; Selman, Bart
8
2001
Capturing structure with satisfiability. Zbl 1067.68535
Béjar, Ramón; Cabiscol, Alba; Fernàndez, Cèsar; Manyà, Felip; Gomes, Carla
2
2001
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. Zbl 0967.68145
Gomes, Carla P.; Selman, Bart; Crato, Nuno; Kautz, Henry
44
2000
Heavy-tailed phenomena and satisfiability and constraint satisfaction problems. Zbl 0979.68049
Gomes, Carla P.; Selman, Bart; Crato, Nuno; Kautz, Henry
1
2000
all top 5

Cited by 401 Authors

8 Gomes, Carla P.
6 Hoos, Holger H.
6 Selman, Bart
6 Szeider, Stefan
5 Leyton-Brown, Kevin
5 Lindauer, Marius
4 Amadini, Roberto
4 Fischetti, Matteo
4 Gabbrielli, Maurizio
4 Mauro, Jacopo
4 Monaci, Michele
4 Sabharwal, Ashish
3 Álvarez-Miranda, Eduardo
3 Bessiere, Christian
3 De Bona, Glauber
3 Dilkina, Bistra
3 Fernández, César C.
3 Finger, Marcelo
3 Hutter, Frank
3 Kreinovich, Vladik Yakovlevich
3 Nightingale, Peter W.
3 Ordyniak, Sebastian
3 O’Sullivan, Barry
3 Schaub, Torsten H.
3 Sinnl, Markus
3 Vardi, Moshe Y.
3 Zhang, Hantao
2 Achlioptas, Dimitris
2 Béjar, Ramón
2 Beldiceanu, Nicolas
2 Bouchaud, Jean-Philippe
2 Carlsson, Mats
2 Carvalho, Alda
2 Crato, Nuno
2 Czeizler, Eugen
2 de Givry, Simon
2 Dechter, Rina
2 Gagliolo, Matteo
2 Gaspers, Serge
2 Gent, Ian Philip
2 Gogate, Vibhav
2 Hamadi, Youssef
2 Heule, Marijn J. H.
2 Jabbour, Said
2 Jafari, Nahid
2 Kautz, Henry A.
2 Kotthoff, Lars
2 Lecoutre, Christophe
2 Lempiäinen, Tuomo
2 Malitsky, Yuri
2 Mann, Zoltán Ádám
2 Mateu, Carles
2 Meel, Kuldeep S.
2 Mengshoel, Ole J.
2 Miguel, Ian
2 Orponen, Pekka
2 Planes, Jordi
2 Rintanen, Jussi
2 Saïs, Lakhdar
2 Samer, Marko
2 Sattar, Abdul
2 Schmidhuber, Jürgen
2 Seidl, Martina
2 Shylo, Oleg V.
2 Tacchella, Armando
2 Traxler, Patrick
2 Wahbi, Mohamed
2 Wu, Dianhua
2 Xu, Lin
1 Abreu, Salvador
1 Achim, Tudor
1 Ahmadi, Reza H.
1 Ahmed, Tanbir
1 Allouche, David
1 Alviano, Mario
1 Angelopoulos, Spyros
1 Ansótegui, Carlos
1 Appa, Gautam M.
1 Argelich, Josep
1 Arntzen, Halvard
1 Bacchus, Fahiem
1 Balint, Adrian
1 Ballerstein, Kathrin
1 Banbara, Mutsunori
1 Barahona, Pedro
1 Batyrshin, Il’dar Zakirzyanovich
1 Bayless, Sam
1 Beame, Paul W.
1 Beck, J. Christopher
1 Benzaquen, Michael
1 Biere, Armin
1 Billionnet, Alain
1 Bischl, Bernd
1 Blanco, Víctor
1 Bonart, Julius
1 Borrajo, Daniel
1 Boufkhad, Yacine
1 Bougeret, Marin
1 Boulanger, Vincent
1 Boussemart, Frédéric
...and 301 more Authors
all top 5

Cited in 49 Serials

29 Artificial Intelligence
22 Constraints
11 Annals of Mathematics and Artificial Intelligence
9 Computers & Operations Research
8 Journal of Automated Reasoning
7 European Journal of Operational Research
7 Theory and Practice of Logic Programming
5 Journal of Computer and System Sciences
4 Annals of Operations Research
3 Discrete Applied Mathematics
3 Theoretical Computer Science
3 Operations Research Letters
3 Algorithmica
3 Journal of Heuristics
3 Quantitative Finance
2 Discrete Mathematics
2 Graphs and Combinatorics
2 Journal of Symbolic Computation
2 Mathematical Programming. Series A. Series B
2 Journal of Combinatorial Optimization
2 Discrete Optimization
2 Mathematics and Financial Economics
2 Mathematical Programming Computation
1 Information Processing Letters
1 Applied Mathematics and Computation
1 Journal of Econometrics
1 Journal of Environmental Economics and Management
1 Operations Research
1 SIAM Journal on Computing
1 Parallel Computing
1 Acta Mathematicae Applicatae Sinica. English Series
1 Machine Learning
1 International Journal of Foundations of Computer Science
1 Journal of Global Optimization
1 Communications in Statistics. Simulation and Computation
1 SIAM Review
1 SIAM Journal on Optimization
1 Computational Optimization and Applications
1 Formal Methods in System Design
1 Journal of Scheduling
1 International Journal of Applied Mathematics and Computer Science
1 Stochastic Models
1 4OR
1 Journal of Applied Logic
1 Thai Journal of Mathematics
1 Journal of Statistical Mechanics: Theory and Experiment
1 Journal of Industrial and Management Optimization
1 Journal of Theoretical Biology
1 EURO Journal on Computational Optimization

Citations by Year