Carla P. Gomes
发表
Yuri Malitsky,
Meinolf Sellmann,
Ashish Sabharwal,
2009,
CPAIOR.
David B. Shmoys,
Adam N. Elmachtoub,
Jon M. Conrad,
2010
.
David Maxwell Chickering,
Eric Horvitz,
Bart Selman,
2001,
Electron. Notes Discret. Math..
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2013,
UAI.
Christian Bessiere,
Bart Selman,
Carla P. Gomes,
2004,
CP.
Ramón Béjar,
Cèsar Fernández,
Alba Cabiscol,
2001,
CP.
Carla P. Gomes,
C. Gomes,
2009,
CP.
Jörg Hoffmann,
Bart Selman,
Ashish Sabharwal,
2007,
SAT.
Ashish Sabharwal,
Bistra N. Dilkina,
Carla P. Gomes,
2009,
SAT.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2010,
CP.
Bart Selman,
Henry A. Kautz,
Carla P. Gomes,
1998,
AAAI/IAAI.
Yada Zhu,
Carla P. Gomes,
Di Chen,
2019,
IJCAI.
Di Chen,
Carla P. Gomes,
Johan Bjorck,
2019,
AAAI.
Carla P. Gomes,
Yexiang Xue,
Scott Steinschneider,
2018,
AAAI.
Qiang Yang,
Carla P. Gomes,
Qiang Yang,
2011,
TIST.
John M. Gregoire,
Carla P. Gomes,
Sebastian Ament,
2020,
ICML.
Jörg Hoffmann,
Bart Selman,
Carla P. Gomes,
2006,
Log. Methods Comput. Sci..
Felip Manyà,
Carla P. Gomes,
C. Gomes,
2003
.
Bhaskar Krishnamachari,
Ramón Béjar,
Carla P. Gomes,
2001
.
Carla P. Gomes,
Junwen Bai,
Shufeng Kong,
2020,
IJCAI.
Bart Selman,
Stefano Ermon,
Alexander Vladimirsky,
2012,
AAMAS.
Stefano Ermon,
Ronan Le Bras,
Carla P. Gomes,
2012,
SAT.
Steve Kelling,
Theodoros Damoulas,
Bistra N. Dilkina,
2013,
HCOMP.
Bart Selman,
Xiaojian Wu,
Carla P. Gomes,
2017,
IJCAI.
Felip Manyà,
Carla P. Gomes,
Felipe Manya,
2003,
Inteligencia Artif..
Eric Eaton,
Brian Charles Williams,
Carla P. Gomes,
2014,
AI Mag..
Jörg Hoffmann,
Bart Selman,
Carla P. Gomes,
2005
.
Bart Selman,
Henry A. Kautz,
Mark E. Stickel,
2001,
Electron. Notes Discret. Math..
John M. Gregoire,
Carla P. Gomes,
Joel A. Haber,
2019,
npj Computational Materials.
Jun Yu,
Steve Kelling,
Jeff Gerbracht,
2012,
IAAI.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2012,
UAI.
Ramón Béjar,
Cèsar Fernández,
Alba Cabiscol,
2007,
Discret. Appl. Math..
Yada Zhu,
Carla P. Gomes,
Di Chen,
2019,
IJCAI.
Carla P. Gomes,
Julie Hsu,
C. Gomes,
1996,
SGAR.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2014,
ICML.
John M. Gregoire,
Carla P. Gomes,
Yexiang Xue,
2018,
ArXiv.
Bart Selman,
Ashish Sabharwal,
Carla P. Gomes,
2021,
Handbook of Satisfiability.
Ashish Sabharwal,
Willem Jan van Hoeve,
Carla P. Gomes,
2008,
CPAIOR.
Douglas R. Smith,
Stephen J. Westfold,
Carla P. Gomes,
1996,
Proceedings of the 11th Knowledge-Based Software Engineering Conference.
Bart Selman,
Ashish Sabharwal,
Carla P. Gomes,
2006,
AAAI.
Bart Selman,
Henry A. Kautz,
Carla P. Gomes,
2000,
Journal of Automated Reasoning.
Bart Selman,
Carla P. Gomes,
2000,
Int. J. Artif. Intell. Tools.
Yada Zhu,
Carla P. Gomes,
Di Chen,
2019,
ArXiv.
Bart Selman,
Carla P. Gomes,
1997,
UAI.
Theodoros Damoulas,
Andrew Farnsworth,
Carla P. Gomes,
2010,
2010 Ninth International Conference on Machine Learning and Applications.
Ronan Le Bras,
Carla P. Gomes,
Mateo Díaz,
2017,
CPAIOR.
Carla P. Gomes,
Bistra Dilkina,
B. Dilkina,
2011
.
Carla P. Gomes,
Yexiang Xue,
Ian Davies,
2016,
AAMAS.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2010,
AAMAS.
Carla P. Gomes,
Yexiang Xue,
Qinru Shi,
2018,
CPAIOR.
Ashish Sabharwal,
Bistra N. Dilkina,
Carla P. Gomes,
2010,
CP.
Carla P. Gomes,
Bart Selman,
Dieqiao Feng,
2020,
IJCAI.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2013,
ICML.
David B. Shmoys,
Rommel G. Regis,
Carla P. Gomes,
2003,
SODA '03.
Jon M. Conrad,
Ashish Sabharwal,
Carla P. Gomes,
2010
.
Di Chen,
Carla P. Gomes,
C. Gomes,
2018,
AAAI.
Ronan Le Bras,
Santosh K. Suram,
John M. Gregoire,
2014,
AAAI.
Gerd Wagner,
David W. Aha,
Yolanda Gil,
2001,
AI Mag..
Willem Jan van Hoeve,
Carla P. Gomes,
Lucian Leahu,
2006,
CPAIOR.
Thomas G. Dietterich,
Steve Kelling,
Warren B. Powell,
2011,
AI Mag..
John M. Gregoire,
Carla P. Gomes,
Di Chen,
2019
.
Jun Yu,
Steve Kelling,
Jeff Gerbracht,
2012,
AI Mag..
Jörg Hoffmann,
Bart Selman,
Ashish Sabharwal,
2007,
IJCAI.
Jörg Hoffmann,
Bart Selman,
Henry A. Kautz,
2007,
IJCAI.
Steve Kelling,
Theodoros Damoulas,
Carla P. Gomes,
2014,
AI Mag..
Carlos Ansótegui,
Ramón Béjar,
Cèsar Fernández,
2006,
AAAI.
John M. Gregoire,
Carla P. Gomes,
Sebastian Ament,
2019,
ArXiv.
Bart Selman,
Carlos Ansótegui,
Carla P. Gomes,
2005,
AAAI.
Ronan Le Bras,
Santosh K. Suram,
John M. Gregoire,
2018,
AI Mag..
Ronan Le Bras,
Carla P. Gomes,
Bart Selman,
2013,
IJCAI.
Carla P. Gomes,
1995
.
Yunsong Guo,
Carla P. Gomes,
Yunsong Guo,
2010
.
Ronan Le Bras,
Carla P. Gomes,
Bart Selman,
2012,
AAAI.
Carla P. Gomes,
C. Gomes,
2000,
AAAI/IAAI.
Carmel Domshlak,
Bhaskar Krishnamachari,
Bart Selman,
2005,
Artif. Intell..
Carla P. Gomes,
Yexiang Xue,
Ian Davies,
2016,
CP.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2012,
NIPS.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2011,
AAMAS.
John M. Gregoire,
Carla P. Gomes,
Junwen Bai,
2018,
CPAIOR.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2010,
UAI.
Eric Horvitz,
Bart Selman,
Henry A. Kautz,
2016
.
Bistra N. Dilkina,
Carla P. Gomes,
C. Gomes,
2010,
CPAIOR.
Bistra N. Dilkina,
Carla P. Gomes,
Katherine J. Lai,
2011,
CPAIOR.
Carla P. Gomes,
Lucian Leahu,
2005,
CP.
Carla P. Gomes,
Guillaume Perez,
Brendan Rappazzo,
2018,
CP.
Ronan Le Bras,
Carla P. Gomes,
Yexiang Xue,
2014,
HCOMP.
Ashish Sabharwal,
Bistra N. Dilkina,
Carla P. Gomes,
2007,
AAAI.
Bart Selman,
Carla P. Gomes,
B. Selman,
1997,
AAAI/IAAI.
J. Andrew Royle,
XiaoJian Wu,
Bistra N. Dilkina,
2017,
AAAI.
Bhaskar Krishnamachari,
Carla P. Gomes,
Enginyeria Industrial,
2002
.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2012,
Machine Learning.
Bart Selman,
Carla P. Gomes,
1999,
Proceedings 11th International Conference on Tools with Artificial Intelligence.
Carla P. Gomes,
Alda Carvalho,
Nuno Crato,
2009,
Comput. Oper. Res..
Ashish Sabharwal,
Willem Jan van Hoeve,
Carla P. Gomes,
2007,
CPAIOR.
Cèsar Fernández,
Carla P. Gomes,
Casey Smith,
2005,
IJCAI.
Ramón Béjar,
Cèsar Fernández,
Alba Cabiscol,
2001,
Electron. Notes Discret. Math..
Carla P. Gomes,
Bart Selman,
Johan Bjorck,
2018,
NeurIPS.
David B. Shmoys,
Carla P. Gomes,
D. Shmoys,
2004,
Ann. Oper. Res..
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2012,
ECML/PKDD.
Carla P. Gomes,
Yexiang Xue,
Anmol Kabra,
2019,
COMPASS.
Meinolf Sellmann,
Carla P. Gomes,
Willem-Jan van Hoeve John N. Hooker,
2009,
CPAIOR.
Eric Horvitz,
Bart Selman,
Henry A. Kautz,
2002,
AAAI/IAAI.
Jean-Charles Régin,
Carla P. Gomes,
2004,
CP.
John M. Gregoire,
Carla P. Gomes,
Sebastian Ament,
2019,
ArXiv.
Bart Selman,
Kenneth McAloon,
Carla P. Gomes,
1998,
AIPS.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2014,
AAAI.
Ryan Williams,
Carla P. Gomes,
C. Gomes,
2014
.
Stefano Ermon,
Theodoros Damoulas,
Bistra N. Dilkina,
2015,
AAAI.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2011,
IJCAI.
John M. Gregoire,
Carla P. Gomes,
Yexiang Xue,
2019,
ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).
Bart Selman,
Carla P. Gomes,
B. Selman,
2001,
Artif. Intell..
Bart Selman,
Richard Ryan Williams,
Carla P. Gomes,
2003
.
Jörg Hoffmann,
Bart Selman,
Ashish Sabharwal,
2007,
New Forms of Reasoning for the Semantic Web.
Ashish Sabharwal,
Bistra N. Dilkina,
Carla P. Gomes,
2014,
Annals of Mathematics and Artificial Intelligence.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2011,
IJCAI.
Xiaojian Wu,
Carla P. Gomes,
Yexiang Xue,
2017,
AAAI.
Di Chen,
Carla P. Gomes,
Yexiang Xue,
2017,
AAAI.
Douglas R. Smith,
Stephen J. Westfold,
Carla P. Gomes,
1998
.
Bart Selman,
Ashish Sabharwal,
Carla P. Gomes,
2006,
NIPS.
Bhaskar Krishnamachari,
Ramón Béjar,
Cèsar Fernández,
2002,
CP.
Carla P. Gomes,
Qinru Shi,
Roosevelt García-Villacorta,
2018,
COMPASS.
Bart Selman,
Willem Jan van Hoeve,
Michele Lombardi,
2007,
AAAI.
Bart Selman,
Carlos Ansótegui,
Ashish Sabharwal,
2006,
SAT.
Torsten Schaub,
Karen Zita Haigh,
Toby Walsh,
2002,
AI Mag..
Anish Arora,
Theodoros Damoulas,
Carla P. Gomes,
2014,
2014 22nd International Conference on Pattern Recognition.
Alessandro Saffiotti,
Toby Walsh,
Silvia Coradeschi,
2002,
AI Mag..
Bart Selman,
Carla P. Gomes,
Nuno Crato,
1997,
CP.
Ronan Le Bras,
Santosh K. Suram,
John M. Gregoire,
2014,
AAAI 2014.
David B. Shmoys,
Adam N. Elmachtoub,
Ashish Sabharwal,
2010,
UAI.
Carla P. Gomes,
C. Gomes,
2000,
The Knowledge Engineering Review.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2014,
AAAI.
Jon M. Conrad,
Ashish Sabharwal,
Carla P. Gomes,
2012
.
Ronan Le Bras,
Carla P. Gomes,
Claire A. Montgomery,
2013,
AAAI.
Carla P. Gomes,
Bart Selman,
Dieqiao Feng,
2021,
NeurIPS.
Carla P. Gomes,
Lucian Leahu,
2004,
CP.
Meinolf Sellmann,
Carla P. Gomes,
Harold van Es,
2004,
CPAIOR.
Stefano Ermon,
Ronan Le Bras,
Carla P. Gomes,
2015,
ICML.
Ronan Le Bras,
Ashish Sabharwal,
Carla P. Gomes,
2013,
AAAI.
Carla P. Gomes,
Magda Valls,
Christian Bessire,
2003
.
Toby Walsh,
Carla P. Gomes,
C. Gomes,
2006,
Handbook of Constraint Programming.
Meinolf Sellmann,
Carla P. Gomes,
C. Gomes,
2004,
CP.
Ashish Sabharwal,
Carla P. Gomes,
2009,
Handbook of Satisfiability.
Yunsong Guo,
Carla P. Gomes,
C. Gomes,
2009,
IJCAI.
Jörg Hoffmann,
Bart Selman,
Carla P. Gomes,
2005
.
Santosh K. Suram,
John M. Gregoire,
Carla P. Gomes,
2017,
CPAIOR.
Bart Selman,
Henry A. Kautz,
Ashish Sabharwal,
2008,
Handbook of Knowledge Representation.
Carla P. Gomes,
2006,
ISAIM.
Ashish Sabharwal,
Bistra N. Dilkina,
Carla P. Gomes,
2007,
CP.
Carla P. Gomes,
2020,
AAMAS.
Carmel Domshlak,
Bart Selman,
Ramón Béjar,
2009,
IJCAI.
Ronan Le Bras,
Santosh K. Suram,
John M. Gregoire,
2016,
AAAI.
Bart Selman,
Willem Jan van Hoeve,
Carla P. Gomes,
2006,
AAAI Spring Symposium: Distributed Plan and Schedule Management.
Douglas R. Smith,
Stephen J. Westfold,
Carla P. Gomes,
1997,
Proceedings of the Thirtieth Hawaii International Conference on System Sciences.
Yunsong Guo,
Carla P. Gomes,
2009,
IJCAI.
Carla P. Gomes,
2001,
Knowl. Eng. Rev..
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2013
.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2015,
AAAI Workshop: Computational Sustainability.
Bart Selman,
Ashish Sabharwal,
Willem Jan van Hoeve,
2007,
AAAI.
Bart Selman,
Carla P. Gomes,
B. Selman,
1999,
Proceedings 11th International Conference on Tools with Artificial Intelligence.
Carla P. Gomes,
C. Gomes,
2010,
CPAIOR.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2011,
NIPS.
Bart Selman,
Stefano Ermon,
Zhiyuan Li,
2016,
NIPS.
Christian Bessiere,
Bart Selman,
Cèsar Fernández,
2004,
Constraints.
David B. Shmoys,
Rommel G. Regis,
Carla P. Gomes,
2002
.
Ronan Le Bras,
Marcelo Finger,
Carla P. Gomes,
2013,
SAT.
Carla P. Gomes,
C. Gomes,
2004
.
Bart Selman,
Henry A. Kautz,
Carla P. Gomes,
2000,
AAAI/IAAI.
Carlos Ansótegui,
Ramón Béjar,
Cèsar Fernández,
2011,
J. Heuristics.
Austin Tate,
Lyn C. Thomas,
Carla P. Gomes,
1994,
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94.
Ronan Le Bras,
Carla P. Gomes,
Andrew Perrault,
2012
.
Bart Selman,
Hubie Chen,
Carla P. Gomes,
2001,
CP.
Ashish Sabharwal,
Bistra N. Dilkina,
Carla P. Gomes,
2008,
ISAIM.
Stefano Ermon,
Ronan Le Bras,
Santosh K. Suram,
2014,
AAAI.
Carla P. Gomes,
Claire A. Montgomery,
David E. Calkin,
2011,
AAAI.
Stephen P. Ellner,
Zhao Lu,
Carla P. Gomes,
2011,
IJCAI.
Eric Eaton,
Brian Charles Williams,
Carla P. Gomes,
2014,
AI Mag..
Carla P. Gomes,
Bart Selman,
Dieqiao Feng,
2020,
IJCAI.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2013,
NIPS.
Bart Selman,
Henry A. Kautz,
Mark E. Stickel,
2001,
IJCAI.
Ronan Le Bras,
Carla P. Gomes,
Bart Selman,
2013,
IJCAI.
Di Chen,
Carla P. Gomes,
Yexiang Xue,
2018,
ICML.
Bart Selman,
Ashish Sabharwal,
Carla P. Gomes,
2021
.
Ashish Sabharwal,
Carla P. Gomes,
2021
.
Jon M. Conrad,
Ashish Sabharwal,
Carla P. Gomes,
2008
.
Ashish Sabharwal,
Carla P. Gomes,
Bistra Dilkina,
.
Carla P. Gomes,
2002
.
Ashish Sabharwal,
Carla P. Gomes,
Kiyan Ahmadizadeh,
2010
.
Toby Walsh,
Carla P. Gomes,
C. Gomes,
2001
.
Bart Selman,
Ronan Le Bras,
Carla P. Gomes,
2014
.
Theodoros Damoulas,
Carla P. Gomes,
Bistra Dilkina,
2011
.
Bart Selman,
Carla P. Gomes,
2005,
Nature.
Bart Selman,
Carla P. Gomes,
1997
.