Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Carla P. Gomes
@inproceedings{DBLP:conf/aaai/WangKGG24,
author = {Yingheng Wang and
Shufeng Kong and
John M. Gregoire and
Carla P. Gomes},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Conformal Crystal Graph Transformer with Robust Encoding of Periodic
Invariance},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {283--291},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i1.27781},
doi = {10.1609/AAAI.V38I1.27781},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WangKGG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GrimsonASBAPSFG24,
author = {Marc Grimson and
Rafael Almeida and
Qinru Shi and
Yiwei Bai and
Hector Angarita and
Felipe Siqueira Pacheco and
Rafael Schmitt and
Alexander Flecker and
Carla P. Gomes},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Scaling Up Pareto Optimization for Tree Structures with Affine Transformations:
Evaluating Hybrid Floating Solar-Hydropower Systems in the Amazon},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {22067--22075},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i20.30210},
doi = {10.1609/AAAI.V38I20.30210},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GrimsonASBAPSFG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-18012,
author = {Lingkai Kong and
Yuanqi Du and
Wenhao Mu and
Kirill Neklyudov and
Valentin De Bortol and
Haorui Wang and
Dongxia Wu and
Aaron Ferber and
Yi{-}An Ma and
Carla P. Gomes and
Chao Zhang},
title = {Diffusion Models as Constrained Samplers for Optimization with Unknown
Constraints},
journal = {CoRR},
volume = {abs/2402.18012},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.18012},
doi = {10.48550/ARXIV.2402.18012},
eprinttype = {arXiv},
eprint = {2402.18012},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-18012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-20212,
author = {Yimeng Min and
Carla P. Gomes},
title = {On Size and Hardness Generalization in Unsupervised Learning for the
Travelling Salesman Problem},
journal = {CoRR},
volume = {abs/2403.20212},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.20212},
doi = {10.48550/ARXIV.2403.20212},
eprinttype = {arXiv},
eprint = {2403.20212},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-20212.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/RolnickDKKLSRMJ23,
author = {David Rolnick and
Priya L. Donti and
Lynn H. Kaack and
Kelly Kochanski and
Alexandre Lacoste and
Kris Sankaran and
Andrew Slavin Ross and
Nikola Milojevic{-}Dupont and
Natasha Jaques and
Anna Waldman{-}Brown and
Alexandra Sasha Luccioni and
Tegan Maharaj and
Evan D. Sherwin and
S. Karthik Mukkavilli and
Konrad P. Kording and
Carla P. Gomes and
Andrew Y. Ng and
Demis Hassabis and
John C. Platt and
Felix Creutzig and
Jennifer T. Chayes and
Yoshua Bengio},
title = {Tackling Climate Change with Machine Learning},
journal = {{ACM} Comput. Surv.},
volume = {55},
number = {2},
pages = {42:1--42:96},
year = {2023},
url = {https://doi.org/10.1145/3485128},
doi = {10.1145/3485128},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/RolnickDKKLSRMJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/WangFD0HLCLKDAB23,
author = {Hanchen Wang and
Tianfan Fu and
Yuanqi Du and
Wenhao Gao and
Kexin Huang and
Ziming Liu and
Payal Chandak and
Shengchao Liu and
Peter Van Katwyk and
Andreea Deac and
Anima Anandkumar and
Karianne Bergen and
Carla P. Gomes and
Shirley Ho and
Pushmeet Kohli and
Joan Lasenby and
Jure Leskovec and
Tie{-}Yan Liu and
Arjun Manrai and
Debora S. Marks and
Bharath Ramsundar and
Le Song and
Jimeng Sun and
Jian Tang and
Petar Velickovic and
Max Welling and
Linfeng Zhang and
Connor W. Coley and
Yoshua Bengio and
Marinka Zitnik},
title = {Scientific discovery in the age of artificial intelligence},
journal = {Nat.},
volume = {620},
number = {7972},
pages = {47--60},
year = {2023},
url = {https://doi.org/10.1038/s41586-023-06221-2},
doi = {10.1038/S41586-023-06221-2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nature/WangFD0HLCLKDAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Li0WGX23,
author = {Jinzhao Li and
Daniel Fink and
Christopher Wood and
Carla P. Gomes and
Yexiang Xue},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Provable Optimization of Quantal Response Leader-Follower Games with
Exponentially Large Action Spaces},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {756--765},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598709},
doi = {10.5555/3545946.3598709},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/Li0WGX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MirkaGGG23,
author = {Renee Mirka and
Laura Greenstreet and
Marc Grimson and
Carla P. Gomes},
editor = {Roland H. C. Yap},
title = {A New Approach to Finding 2 x n Partially Spatially Balanced Latin
Rectangles (Short Paper)},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {47:1--47:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.47},
doi = {10.4230/LIPICS.CP.2023.47},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MirkaGGG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BaiSGFG23,
author = {Yiwei Bai and
Qinru Shi and
Marc Grimson and
Alexander Flecker and
Carla P. Gomes},
editor = {Andr{\'{e}} A. Cir{\'{e}}},
title = {Efficiently Approximating High-Dimensional Pareto Frontiers for Tree-Structured
Networks Using Expansion and Compression},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 20th International Conference, {CPAIOR} 2023,
Nice, France, May 29 - June 1, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13884},
pages = {1--17},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33271-5\_1},
doi = {10.1007/978-3-031-33271-5\_1},
timestamp = {Wed, 31 May 2023 14:56:54 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BaiSGFG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Gomes23,
author = {Carla Pedro Gomes},
editor = {Sara Silva and
Lu{\'{\i}}s Paquete},
title = {{AI} for Scientific Discovery and a Sustainable Future},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2023, Lisbon, Portugal, July 15-19, 2023},
pages = {2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583131.3603396},
doi = {10.1145/3583131.3603396},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/Gomes23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/0004DGS23,
author = {Dieqiao Feng and
Yuanqi Du and
Carla P. Gomes and
Bart Selman},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {Weighted Sampling without Replacement for Deep Top-k Classification},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {9910--9920},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/feng23a.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/0004DGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/MinCKGDTG23,
author = {Yimeng Min and
Ming{-}Chiang Chang and
Shufeng Kong and
John M. Gregoire and
R. Bruce van Dover and
Michael O. Thompson and
Carla P. Gomes},
title = {Physically Informed Graph-Based Deep Reasoning Net for Efficient Combinatorial
Phase Mapping},
booktitle = {International Conference on Machine Learning and Applications, {ICMLA}
2023, Jacksonville, FL, USA, December 15-17, 2023},
pages = {392--399},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICMLA58977.2023.00061},
doi = {10.1109/ICMLA58977.2023.00061},
timestamp = {Tue, 02 Apr 2024 21:06:13 +0200},
biburl = {https://dblp.org/rec/conf/icmla/MinCKGDTG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KongLG23,
author = {Shufeng Kong and
Caihua Liu and
Carla P. Gomes},
editor = {Michael Sioutis and
Zhiguo Long and
Jae Hee Lee and
Mehul Bhatt},
title = {{IPGPT:} Solving Integer Programming Problems with Sequence to Contrastive
Multi-Label Learning},
booktitle = {Proceedings of the 2nd International Workshop on Spatio-Temporal Reasoning
and Learning {(STRL} 2023) co-located with the 32nd International
Joint Conference on Artificial Intelligence {(IJCAI} 2023), Macao,
S.A.R., August 21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3475},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3475/invited1.pdf},
timestamp = {Tue, 05 Sep 2023 17:08:45 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KongLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/DuDWFWJGM23,
author = {Weitao Du and
Yuanqi Du and
Limei Wang and
Dieqiao Feng and
Guifeng Wang and
Shuiwang Ji and
Carla P. Gomes and
Zhi{-}Ming Ma},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {A new perspective on building efficient and expressive 3D equivariant
graph neural networks},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/d212c6c26603c0eb3c9a6b6432386a1f-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/DuDWFWJGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/DuWHL0XDGG23,
author = {Yuanqi Du and
Yingheng Wang and
Yining Huang and
Jianan Canal Li and
Yanqiao Zhu and
Tian Xie and
Chenru Duan and
John M. Gregoire and
Carla Pedro Gomes},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {M\({}^{\mbox{2}}\)Hub: Unlocking the Potential of Machine Learning
for Materials Discovery},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/f43380ca3f86cd989f3269583c3c8b55-Abstract-Datasets\_and\_Benchmarks.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/DuWHL0XDGG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/MinBG23,
author = {Yimeng Min and
Yiwei Bai and
Carla P. Gomes},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Unsupervised Learning for Solving the Travelling Salesman Problem},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/93b8618a9061f8a55825c13ecf28392b-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/MinBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/Gomes23,
author = {Carla P. Gomes},
title = {Keynote: {AI} for Scientific Discovery and a Sustainable Future},
booktitle = {{IEEE} International Conference on Pervasive Computing and Communications,
PerCom 2023, Atlanta, GA, USA, March 13-17, 2023},
pages = {1},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PERCOM56429.2023.10099237},
doi = {10.1109/PERCOM56429.2023.10099237},
timestamp = {Mon, 24 Apr 2023 18:33:23 +0200},
biburl = {https://dblp.org/rec/conf/percom/Gomes23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-01486,
author = {Junwen Bai and
Yuanqi Du and
Yingheng Wang and
Shufeng Kong and
John M. Gregoire and
Carla Gomes},
title = {Xtal2DoS: Attention-based Crystal to Sequence Learning for Density
of States Prediction},
journal = {CoRR},
volume = {abs/2302.01486},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.01486},
doi = {10.48550/ARXIV.2302.01486},
eprinttype = {arXiv},
eprint = {2302.01486},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01486.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-10538,
author = {Yimeng Min and
Yiwei Bai and
Carla P. Gomes},
title = {Unsupervised Learning for Solving the Travelling Salesman Problem},
journal = {CoRR},
volume = {abs/2303.10538},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.10538},
doi = {10.48550/ARXIV.2303.10538},
eprinttype = {arXiv},
eprint = {2303.10538},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-10538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-04757,
author = {Weitao Du and
Yuanqi Du and
Limei Wang and
Dieqiao Feng and
Guifeng Wang and
Shuiwang Ji and
Carla Gomes and
Zhi{-}Ming Ma},
title = {A new perspective on building efficient and expressive 3D equivariant
graph neural networks},
journal = {CoRR},
volume = {abs/2304.04757},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.04757},
doi = {10.48550/ARXIV.2304.04757},
eprinttype = {arXiv},
eprint = {2304.04757},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-04757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05378,
author = {Yuanqi Du and
Yingheng Wang and
Yining Huang and
Jianan Canal Li and
Yanqiao Zhu and
Tian Xie and
Chenru Duan and
John M. Gregoire and
Carla P. Gomes},
title = {M\({}^{\mbox{2}}\)Hub: Unlocking the Potential of Machine Learning
for Materials Discovery},
journal = {CoRR},
volume = {abs/2307.05378},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05378},
doi = {10.48550/ARXIV.2307.05378},
eprinttype = {arXiv},
eprint = {2307.05378},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05378.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07522,
author = {Hector Zenil and
Jesper Tegn{\'{e}}r and
Felipe S. Abrah{\~{a}}o and
Alexander Lavin and
Vipin Kumar and
Jeremy G. Frey and
Adrian Weller and
Larisa N. Soldatova and
Alan R. Bundy and
Nicholas R. Jennings and
Koichi Takahashi and
Lawrence Hunter and
Saso Dzeroski and
Andrew Briggs and
Frederick D. Gregory and
Carla P. Gomes and
Christopher K. I. Williams and
Jon Rowe and
James A. Evans and
Hiroaki Kitano and
Joshua B. Tenenbaum and
Ross D. King},
title = {The Future of Fundamental Science Led by Generative Closed-Loop Artificial
Intelligence},
journal = {CoRR},
volume = {abs/2307.07522},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07522},
doi = {10.48550/ARXIV.2307.07522},
eprinttype = {arXiv},
eprint = {2307.07522},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-07897,
author = {Ming{-}Chiang Chang and
Sebastian Ament and
Maximilian Amsler and
Duncan R. Sutherland and
Lan Zhou and
John M. Gregoire and
Carla P. Gomes and
R. Bruce van Dover and
Michael O. Thompson},
title = {Probabilistic Phase Labeling and Lattice Refinement for Autonomous
Material Research},
journal = {CoRR},
volume = {abs/2308.07897},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.07897},
doi = {10.48550/ARXIV.2308.07897},
eprinttype = {arXiv},
eprint = {2308.07897},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-07897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/PerezAGB22,
author = {Guillaume Perez and
Sebastian Ament and
Carla P. Gomes and
Michel Barlaud},
title = {Efficient projection algorithms onto the weighted \emph{{\(\mathscr{l}\)}}\({}_{\mbox{1}}\)
ball},
journal = {Artif. Intell.},
volume = {306},
pages = {103683},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103683},
doi = {10.1016/J.ARTINT.2022.103683},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/PerezAGB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0002BLOG22,
author = {Joshua Fan and
Junwen Bai and
Zhiyun Li and
Ariel Ortiz{-}Bobea and
Carla P. Gomes},
title = {A {GNN-RNN} Approach for Harnessing Geospatial and Temporal Information:
Application to Crop Yield Prediction},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {11873--11881},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i11.21444},
doi = {10.1609/AAAI.V36I11.21444},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0002BLOG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/RyanAGD22,
author = {John Paul Ryan and
Sebastian E. Ament and
Carla P. Gomes and
Anil Damle},
editor = {Gustau Camps{-}Valls and
Francisco J. R. Ruiz and
Isabel Valera},
title = {The Fast Kernel Transform},
booktitle = {International Conference on Artificial Intelligence and Statistics,
{AISTATS} 2022, 28-30 March 2022, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {151},
pages = {11669--11690},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v151/ryan22a.html},
timestamp = {Sat, 30 Sep 2023 09:34:08 +0200},
biburl = {https://dblp.org/rec/conf/aistats/RyanAGD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/AmentG22,
author = {Sebastian Ament and
Carla P. Gomes},
title = {Generalized Matching Pursuits for the Sparse Optimization of Separable
Objectives},
booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing,
{ICASSP} 2022, Virtual and Singapore, 23-27 May 2022},
pages = {5553--5557},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICASSP43922.2022.9747510},
doi = {10.1109/ICASSP43922.2022.9747510},
timestamp = {Tue, 07 Jun 2022 17:34:47 +0200},
biburl = {https://dblp.org/rec/conf/icassp/AmentG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/BjorckGW22,
author = {Johan Bjorck and
Carla P. Gomes and
Kilian Q. Weinberger},
title = {Is High Variance Unavoidable in RL? {A} Case Study in Continuous Control},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=9xhgmsNVHu},
timestamp = {Sat, 20 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/BjorckGW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/AmentG22,
author = {Sebastian E. Ament and
Carla P. Gomes},
editor = {Kamalika Chaudhuri and
Stefanie Jegelka and
Le Song and
Csaba Szepesv{\'{a}}ri and
Gang Niu and
Sivan Sabato},
title = {Scalable First-Order Bayesian Optimization via Structured Automatic
Differentiation},
booktitle = {International Conference on Machine Learning, {ICML} 2022, 17-23 July
2022, Baltimore, Maryland, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {162},
pages = {500--516},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v162/ament22a.html},
timestamp = {Tue, 12 Jul 2022 17:36:52 +0200},
biburl = {https://dblp.org/rec/conf/icml/AmentG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/BaiKG22,
author = {Junwen Bai and
Shufeng Kong and
Carla P. Gomes},
editor = {Kamalika Chaudhuri and
Stefanie Jegelka and
Le Song and
Csaba Szepesv{\'{a}}ri and
Gang Niu and
Sivan Sabato},
title = {Gaussian Mixture Variational Autoencoder with Contrastive Learning
for Multi-Label Classification},
booktitle = {International Conference on Machine Learning, {ICML} 2022, 17-23 July
2022, Baltimore, Maryland, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {162},
pages = {1383--1398},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v162/bai22c.html},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/BaiKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/00020WSG22,
author = {Joshua Fan and
Di Chen and
Jiaming Wen and
Ying Sun and
Carla P. Gomes},
editor = {Luc De Raedt},
title = {Monitoring Vegetation From Space at Extremely Fine Resolutions via
Coarsely-Supervised Smooth U-Net},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5066--5072},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/703},
doi = {10.24963/IJCAI.2022/703},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/00020WSG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/FengGS22,
author = {Dieqiao Feng and
Carla P. Gomes and
Bart Selman},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Left Heavy Tails and the Effectiveness of the Policy and Value Networks
in DNN-based best-first search for Sokoban Planning},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/eb7295a8bc613b375726659c2ecd6f14-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/FengGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08366,
author = {Sebastian Ament and
Carla P. Gomes},
title = {Scalable First-Order Bayesian Optimization via Structured Automatic
Differentiation},
journal = {CoRR},
volume = {abs/2206.08366},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08366},
doi = {10.48550/ARXIV.2206.08366},
eprinttype = {arXiv},
eprint = {2206.08366},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-14298,
author = {Dieqiao Feng and
Carla P. Gomes and
Bart Selman},
title = {Left Heavy Tails and the Effectiveness of the Policy and Value Networks
in DNN-based best-first search for Sokoban Planning},
journal = {CoRR},
volume = {abs/2206.14298},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.14298},
doi = {10.48550/ARXIV.2206.14298},
eprinttype = {arXiv},
eprint = {2206.14298},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-14298.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-08022,
author = {Joshua Fan and
Di Chen and
Jiaming Wen and
Ying Sun and
Carla P. Gomes},
title = {Monitoring Vegetation From Space at Extremely Fine Resolutions via
Coarsely-Supervised Smooth U-Net},
journal = {CoRR},
volume = {abs/2207.08022},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.08022},
doi = {10.48550/ARXIV.2207.08022},
eprinttype = {arXiv},
eprint = {2207.08022},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-08022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-09608,
author = {Dieqiao Feng and
Carla P. Gomes and
Bart Selman},
title = {Graph Value Iteration},
journal = {CoRR},
volume = {abs/2209.09608},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.09608},
doi = {10.48550/ARXIV.2209.09608},
eprinttype = {arXiv},
eprint = {2209.09608},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-09608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-13695,
author = {Arne Schneuing and
Yuanqi Du and
Charles Harris and
Arian R. Jamasb and
Ilia Igashov and
Weitao Du and
Tom L. Blundell and
Pietro Li{\'{o}} and
Carla Gomes and
Max Welling and
Michael M. Bronstein and
Bruno E. Correia},
title = {Structure-based Drug Design with Equivariant Diffusion Models},
journal = {CoRR},
volume = {abs/2210.13695},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.13695},
doi = {10.48550/ARXIV.2210.13695},
eprinttype = {arXiv},
eprint = {2210.13695},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-13695.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/natmi/ChenBAZGZSDGG21,
author = {Di Chen and
Yiwei Bai and
Sebastian Ament and
Wenting Zhao and
Dan Guevarra and
Lan Zhou and
Bart Selman and
R. Bruce van Dover and
John M. Gregoire and
Carla P. Gomes},
title = {Automating crystal-structure phase mapping by combining deep learning
with constraint reasoning},
journal = {Nat. Mach. Intell.},
volume = {3},
number = {9},
pages = {812--822},
year = {2021},
url = {https://doi.org/10.1038/s42256-021-00384-1},
doi = {10.1038/S42256-021-00384-1},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/natmi/ChenBAZGZSDGG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BjorckKWG21,
author = {Johan Bjorck and
Anmol Kabra and
Kilian Q. Weinberger and
Carla P. Gomes},
title = {Characterizing the Loss Landscape in Non-Negative Matrix Factorization},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6768--6776},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i8.16836},
doi = {10.1609/AAAI.V35I8.16836},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BjorckKWG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BjorckWG21,
author = {Johan Bjorck and
Kilian Q. Weinberger and
Carla P. Gomes},
title = {Understanding Decoupled and Early Weight Decay},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6777--6785},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i8.16837},
doi = {10.1609/AAAI.V35I8.16837},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BjorckWG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BjorckSBDFG21,
author = {Johan Bjorck and
Qinru Shi and
Carrie Brown{-}Lima and
Jennifer Dean and
Angela Fuller and
Carla P. Gomes},
title = {Learning Augmented Methods for Matching: Improving Invasive Species
Management and Urban Mobility},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {14702--14710},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i17.17727},
doi = {10.1609/AAAI.V35I17.17727},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BjorckSBDFG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BjorckRSBDFG21,
author = {Johan Bjorck and
Brendan H. Rappazzo and
Qinru Shi and
Carrie Brown{-}Lima and
Jennifer Dean and
Angela Fuller and
Carla P. Gomes},
title = {Accelerating Ecological Sciences from Above: Spatial Contrastive Learning
for Remote Sensing},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {14711--14720},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i17.17728},
doi = {10.1609/AAAI.V35I17.17728},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BjorckRSBDFG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0002KBFG21,
author = {Wenting Zhao and
Shufeng Kong and
Junwen Bai and
Daniel Fink and
Carla P. Gomes},
title = {{HOT-VAE:} Learning High-Order Label Correlation for Multi-Label Classification
via Attention-Based Variational Autoencoders},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {15016--15024},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i17.17762},
doi = {10.1609/AAAI.V35I17.17762},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0002KBFG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RappazzoEGADHG21,
author = {Brendan H. Rappazzo and
Morgan E. Eisenlord and
Olivia J. Graham and
Lillian R. Aoki and
Phoebe D. Dawkins and
Drew Harvell and
Carla P. Gomes},
title = {EeLISA: Combating Global Warming Through the Rapid Analysis of Eelgrass
Wasting Disease},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {15156--15165},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i17.17779},
doi = {10.1609/AAAI.V35I17.17779},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RappazzoEGADHG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BaiCG21,
author = {Yiwei Bai and
Di Chen and
Carla P. Gomes},
editor = {Laurent D. Michel},
title = {CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial
Games},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {17:1--17:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.17},
doi = {10.4230/LIPICS.CP.2021.17},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BaiCG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/AmentG21,
author = {Sebastian Ament and
Carla P. Gomes},
title = {On the Optimality of Backward Regression: Sparse Recovery and Subset
Selection},
booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing,
{ICASSP} 2021, Toronto, ON, Canada, June 6-11, 2021},
pages = {5599--5603},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICASSP39728.2021.9415082},
doi = {10.1109/ICASSP39728.2021.9415082},
timestamp = {Wed, 14 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/AmentG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/AmentG21,
author = {Sebastian E. Ament and
Carla P. Gomes},
editor = {Marina Meila and
Tong Zhang},
title = {Sparse Bayesian Learning via Stepwise Regression},
booktitle = {Proceedings of the 38th International Conference on Machine Learning,
{ICML} 2021, 18-24 July 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {264--274},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/ament21a.html},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/AmentG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/BjorckCSGW21,
author = {Johan Bj{\"{o}}rck and
Xiangyu Chen and
Christopher De Sa and
Carla P. Gomes and
Kilian Q. Weinberger},
editor = {Marina Meila and
Tong Zhang},
title = {Low-Precision Reinforcement Learning: Running Soft Actor-Critic in
Half Precision},
booktitle = {Proceedings of the 38th International Conference on Machine Learning,
{ICML} 2021, 18-24 July 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {980--991},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/bjorck21a.html},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/BjorckCSGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BjorckGW21,
author = {Johan Bjorck and
Carla P. Gomes and
Kilian Q. Weinberger},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Towards Deeper Deep Reinforcement Learning with Spectral Normalization},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {8242--8255},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/4588e674d3f0faf985047d4c3f13ed0d-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/BjorckGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BaiWG21,
author = {Junwen Bai and
Weiran Wang and
Carla P. Gomes},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Contrastively Disentangled Sequential Variational Autoencoder},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {10105--10118},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/53c5b2affa12eed84dfec9bfd83550b1-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/BaiWG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/Gomes21,
author = {Carla P. Gomes},
title = {Keynote 2 - Computational Sustainability: Computing for a Better World
and a Sustainable Future},
booktitle = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2021,
Irvine, CA, USA, August 23-27, 2021},
pages = {25--26},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SMARTCOMP52413.2021.00010},
doi = {10.1109/SMARTCOMP52413.2021.00010},
timestamp = {Tue, 12 Oct 2021 18:03:31 +0200},
biburl = {https://dblp.org/rec/conf/smartcomp/Gomes21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GomesS21,
author = {Carla P. Gomes and
Ashish Sabharwal},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Exploiting Runtime Variation in Complete Solvers},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {463--480},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200994},
doi = {10.3233/FAIA200994},
timestamp = {Fri, 06 May 2022 08:03:54 +0200},
biburl = {https://dblp.org/rec/series/faia/GomesS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GomesSS21,
author = {Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Model Counting},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {993--1014},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201009},
doi = {10.3233/FAIA201009},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/GomesSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-07385,
author = {Sebastian Ament and
Maximilian Amsler and
Duncan R. Sutherland and
Ming{-}Chiang Chang and
Dan Guevarra and
Aine B. Connolly and
John M. Gregoire and
Michael O. Thompson and
Carla P. Gomes and
R. Bruce van Dover},
title = {Autonomous synthesis of metastable materials},
journal = {CoRR},
volume = {abs/2101.07385},
year = {2021},
url = {https://arxiv.org/abs/2101.07385},
eprinttype = {arXiv},
eprint = {2101.07385},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-03002,
author = {Yiwei Bai and
Wenting Zhao and
Carla P. Gomes},
title = {Zero Training Overhead Portfolios for Learning to Solve Combinatorial
Problems},
journal = {CoRR},
volume = {abs/2102.03002},
year = {2021},
url = {https://arxiv.org/abs/2102.03002},
eprinttype = {arXiv},
eprint = {2102.03002},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-03002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-08427,
author = {Wenting Zhao and
Carla P. Gomes},
title = {Evaluating Multi-label Classifiers with Noisy Labels},
journal = {CoRR},
volume = {abs/2102.08427},
year = {2021},
url = {https://arxiv.org/abs/2102.08427},
eprinttype = {arXiv},
eprint = {2102.08427},
timestamp = {Mon, 22 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-08427.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-13565,
author = {Johan Bjorck and
Xiangyu Chen and
Christopher De Sa and
Carla P. Gomes and
Kilian Q. Weinberger},
title = {Low-Precision Reinforcement Learning},
journal = {CoRR},
volume = {abs/2102.13565},
year = {2021},
url = {https://arxiv.org/abs/2102.13565},
eprinttype = {arXiv},
eprint = {2102.13565},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-13565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-06375,
author = {Wenting Zhao and
Shufeng Kong and
Junwen Bai and
Daniel Fink and
Carla P. Gomes},
title = {{HOT-VAE:} Learning High-Order Label Correlation for Multi-Label Classification
via Attention-Based Variational Autoencoders},
journal = {CoRR},
volume = {abs/2103.06375},
year = {2021},
url = {https://arxiv.org/abs/2103.06375},
eprinttype = {arXiv},
eprint = {2103.06375},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-06375.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01151,
author = {Johan Bjorck and
Carla P. Gomes and
Kilian Q. Weinberger},
title = {Towards Deeper Deep Reinforcement Learning},
journal = {CoRR},
volume = {abs/2106.01151},
year = {2021},
url = {https://arxiv.org/abs/2106.01151},
eprinttype = {arXiv},
eprint = {2106.01151},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01151.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-02225,
author = {Shufeng Kong and
Dan Guevarra and
Carla P. Gomes and
John M. Gregoire},
title = {Materials Representation and Transfer Learning for Multi-Property
Prediction},
journal = {CoRR},
volume = {abs/2106.02225},
year = {2021},
url = {https://arxiv.org/abs/2106.02225},
eprinttype = {arXiv},
eprint = {2106.02225},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-02225.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-03235,
author = {Sebastian Ament and
Carla P. Gomes},
title = {On the Optimality of Backward Regression: Sparse Recovery and Subset
Selection},
journal = {CoRR},
volume = {abs/2106.03235},
year = {2021},
url = {https://arxiv.org/abs/2106.03235},
eprinttype = {arXiv},
eprint = {2106.03235},
timestamp = {Wed, 14 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-03235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-04487,
author = {John Paul Ryan and
Sebastian Ament and
Carla P. Gomes and
Anil Damle},
title = {The Fast Kernel Transform},
journal = {CoRR},
volume = {abs/2106.04487},
year = {2021},
url = {https://arxiv.org/abs/2106.04487},
eprinttype = {arXiv},
eprint = {2106.04487},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-04487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-06095,
author = {Sebastian Ament and
Carla P. Gomes},
title = {Sparse Bayesian Learning via Stepwise Regression},
journal = {CoRR},
volume = {abs/2106.06095},
year = {2021},
url = {https://arxiv.org/abs/2106.06095},
eprinttype = {arXiv},
eprint = {2106.06095},
timestamp = {Wed, 14 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-06095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-09523,
author = {Di Chen and
Yiwei Bai and
Sebastian Ament and
Wenting Zhao and
Dan Guevarra and
Lan Zhou and
Bart Selman and
R. Bruce van Dover and
John M. Gregoire and
Carla P. Gomes},
title = {Automating Crystal-Structure Phase Mapping: Combining Deep Learning
with Constraint Reasoning},
journal = {CoRR},
volume = {abs/2108.09523},
year = {2021},
url = {https://arxiv.org/abs/2108.09523},
eprinttype = {arXiv},
eprint = {2108.09523},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-09523.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-00898,
author = {Dieqiao Feng and
Carla P. Gomes and
Bart Selman},
title = {A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning
Instances},
journal = {CoRR},
volume = {abs/2110.00898},
year = {2021},
url = {https://arxiv.org/abs/2110.00898},
eprinttype = {arXiv},
eprint = {2110.00898},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-00898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11222,
author = {Johan Bjorck and
Carla P. Gomes and
Kilian Q. Weinberger},
title = {Is High Variance Unavoidable in RL? {A} Case Study in Continuous Control},
journal = {CoRR},
volume = {abs/2110.11222},
year = {2021},
url = {https://arxiv.org/abs/2110.11222},
eprinttype = {arXiv},
eprint = {2110.11222},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-12091,
author = {Junwen Bai and
Weiran Wang and
Carla P. Gomes},
title = {Contrastively Disentangled Sequential Variational Autoencoder},
journal = {CoRR},
volume = {abs/2110.12091},
year = {2021},
url = {https://arxiv.org/abs/2110.12091},
eprinttype = {arXiv},
eprint = {2110.12091},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-08900,
author = {Joshua Fan and
Junwen Bai and
Zhiyun Li and
Ariel Ortiz{-}Bobea and
Carla P. Gomes},
title = {A {GNN-RNN} Approach for Harnessing Geospatial and Temporal Information:
Application to Crop Yield Prediction},
journal = {CoRR},
volume = {abs/2111.08900},
year = {2021},
url = {https://arxiv.org/abs/2111.08900},
eprinttype = {arXiv},
eprint = {2111.08900},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-08900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-00976,
author = {Junwen Bai and
Shufeng Kong and
Carla P. Gomes},
title = {Gaussian Mixture Variational Autoencoder with Contrastive Learning
for Multi-Label Classification},
journal = {CoRR},
volume = {abs/2112.00976},
year = {2021},
url = {https://arxiv.org/abs/2112.00976},
eprinttype = {arXiv},
eprint = {2112.00976},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-00976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-01088,
author = {Guillaume Perez and
Sebastian Ament and
Carla P. Gomes and
Arnaud Lallouet},
title = {Constrained Machine Learning: The Bagel Framework},
journal = {CoRR},
volume = {abs/2112.01088},
year = {2021},
url = {https://arxiv.org/abs/2112.01088},
eprinttype = {arXiv},
eprint = {2112.01088},
timestamp = {Tue, 07 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-01088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Gomes20,
author = {Carla P. Gomes},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {{AI} for Advancing Scientific Discovery for a Sustainable Future},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {1},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3398763},
doi = {10.5555/3398761.3398763},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/Gomes20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ChenBZAGG20,
author = {Di Chen and
Yiwei Bai and
Wenting Zhao and
Sebastian Ament and
John M. Gregoire and
Carla P. Gomes},
title = {Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint
Reasoning},
booktitle = {Proceedings of the 37th International Conference on Machine Learning,
{ICML} 2020, 13-18 July 2020, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {119},
pages = {1500--1509},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v119/chen20a.html},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/ChenBZAGG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FengGS20,
author = {Dieqiao Feng and
Carla P. Gomes and
Bart Selman},
editor = {Christian Bessiere},
title = {Solving Hard {AI} Planning Instances Using Curriculum-Driven Deep
Reinforcement Learning},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {2198--2205},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/304},
doi = {10.24963/IJCAI.2020/304},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FengGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaiKG20,
author = {Junwen Bai and
Shufeng Kong and
Carla P. Gomes},
editor = {Christian Bessiere},
title = {Disentangled Variational Autoencoder based Multi-Label Classification
with Covariance-Aware Multivariate Probit Model},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4313--4321},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/595},
doi = {10.24963/IJCAI.2020/595},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaiKG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KongB0CASPMG20,
author = {Shufeng Kong and
Junwen Bai and
Jae Hee Lee and
Di Chen and
Andrew Allyn and
Michelle Stuart and
Malin Pinsky and
Katherine Mills and
Carla P. Gomes},
editor = {Christian Bessiere},
title = {Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application
to Multiple Species Abundance Estimation},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4375--4381},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/603},
doi = {10.24963/IJCAI.2020/603},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KongB0CASPMG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChenZCG20,
author = {Di Chen and
Yada Zhu and
Xiaodong Cui and
Carla P. Gomes},
editor = {Christian Bessiere},
title = {Task-Based Learning via Task-Oriented Prediction Network with Applications
in Finance},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4476--4482},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/617},
doi = {10.24963/IJCAI.2020/617},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ChenZCG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/FengGS20,
author = {Dieqiao Feng and
Carla P. Gomes and
Bart Selman},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning
Instances},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/2051bd70fc110a2208bdbd4a743e7f79-Abstract.html},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/FengGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-02689,
author = {Dieqiao Feng and
Carla P. Gomes and
Bart Selman},
title = {Solving Hard {AI} Planning Instances Using Curriculum-Driven Deep
Reinforcement Learning},
journal = {CoRR},
volume = {abs/2006.02689},
year = {2020},
url = {https://arxiv.org/abs/2006.02689},
eprinttype = {arXiv},
eprint = {2006.02689},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-02689.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06126,
author = {Junwen Bai and
Shufeng Kong and
Carla P. Gomes},
title = {Disentangled Variational Autoencoder based Multi-Label Classification
with Covariance-Aware Multivariate Probit Model},
journal = {CoRR},
volume = {abs/2007.06126},
year = {2020},
url = {https://arxiv.org/abs/2007.06126},
eprinttype = {arXiv},
eprint = {2007.06126},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-02980,
author = {Guillaume Perez and
Sebastian Ament and
Carla P. Gomes and
Michel Barlaud},
title = {Efficient Projection Algorithms onto the Weighted l1 Ball},
journal = {CoRR},
volume = {abs/2009.02980},
year = {2020},
url = {https://arxiv.org/abs/2009.02980},
eprinttype = {arXiv},
eprint = {2009.02980},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-02980.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-16040,
author = {Shufeng Kong and
Junwen Bai and
Jae Hee Lee and
Di Chen and
Andrew Allyn and
Michelle Stuart and
Malin Pinsky and
Katherine Mills and
Carla P. Gomes},
title = {Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application
to Multiple Species Abundance Estimation},
journal = {CoRR},
volume = {abs/2010.16040},
year = {2020},
url = {https://arxiv.org/abs/2010.16040},
eprinttype = {arXiv},
eprint = {2010.16040},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13841,
author = {Johan Bjorck and
Kilian Q. Weinberger and
Carla P. Gomes},
title = {Understanding Decoupled and Early Weight Decay},
journal = {CoRR},
volume = {abs/2012.13841},
year = {2020},
url = {https://arxiv.org/abs/2012.13841},
eprinttype = {arXiv},
eprint = {2012.13841},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13841.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GilPBBBBCEGHHHK19,
author = {Yolanda Gil and
Suzanne A. Pierce and
Hassan A. Babaie and
Arindam Banerjee and
Kirk D. Borne and
Gary S. Bust and
Michelle Cheatham and
Imme Ebert{-}Uphoff and
Carla P. Gomes and
Mary C. Hill and
John D. Horel and
Leslie Hsu and
Jim Kinter and
Craig A. Knoblock and
David M. Krum and
Vipin Kumar and
Pierre F. J. Lermusiaux and
Yan Liu and
Chris North and
Victor Pankratius and
Shanan Peters and
Beth Plale and
Allen Pope and
Sai Ravela and
Juan Restrepo and
Aaron J. Ridley and
Hanan Samet and
Shashi Shekhar},
title = {Intelligent systems for geosciences: an essential research agenda},
journal = {Commun. {ACM}},
volume = {62},
number = {1},
pages = {76--84},
year = {2019},
url = {https://doi.org/10.1145/3192335},
doi = {10.1145/3192335},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GilPBBBBCEGHHHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GomesDBCDEFFFFF19,
author = {Carla P. Gomes and
Thomas G. Dietterich and
Christopher Barrett and
Jon Conrad and
Bistra Dilkina and
Stefano Ermon and
Fei Fang and
Andrew Farnsworth and
Alan Fern and
Xiaoli Z. Fern and
Daniel Fink and
Douglas H. Fisher and
Alexander Flecker and
Daniel Freund and
Angela Fuller and
John M. Gregoire and
John E. Hopcroft and
Steve Kelling and
J. Zico Kolter and
Warren B. Powell and
Nicole D. Sintov and
John S. Selker and
Bart Selman and
Daniel Sheldon and
David B. Shmoys and
Milind Tambe and
Weng{-}Keen Wong and
Christopher Wood and
Xiaojian Wu and
Yexiang Xue and
Amulya Yadav and
Abdul{-}Aziz Yakubu and
Mary Lou Zeeman},
title = {Computational sustainability: computing for a better world and a sustainable
future},
journal = {Commun. {ACM}},
volume = {62},
number = {9},
pages = {56--65},
year = {2019},
url = {https://doi.org/10.1145/3339399},
doi = {10.1145/3339399},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GomesDBCDEFFFFF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BjorckRCBWG19,
author = {Johan Bjorck and
Brendan H. Rappazzo and
Di Chen and
Richard Bernstein and
Peter H. Wrege and
Carla P. Gomes},
title = {Automatic Detection and Compression for Passive Acoustic Monitoring
of the African Forest Elephant},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {476--484},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.3301476},
doi = {10.1609/AAAI.V33I01.3301476},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BjorckRCBWG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChenG19,
author = {Di Chen and
Carla P. Gomes},
title = {Bias Reduction via End-to-End Shift Learning: Application to Citizen
Science},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {493--500},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.3301493},
doi = {10.1609/AAAI.V33I01.3301493},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/ChenG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dev/KabraXG19,
author = {Anmol Kabra and
Yexiang Xue and
Carla P. Gomes},
editor = {Jay Chen and
Jennifer Mankoff and
Carla P. Gomes},
title = {CPU-accelerated principal-agent game for scalable citizen science},
booktitle = {Proceedings of the Conference on Computing {\&} Sustainable Societies,
{COMPASS} 2019, Accra, Ghana, July 3-5, 2019},
pages = {165--173},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314344.3332495},
doi = {10.1145/3314344.3332495},
timestamp = {Wed, 03 Feb 2021 17:53:30 +0100},
biburl = {https://dblp.org/rec/conf/dev/KabraXG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Gomes19,
author = {Carla P. Gomes},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Computational Sustainability},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial
Intelligence, {ICAART} 2019, Volume 1, Prague, Czech Republic, February
19-21, 2019},
pages = {9},
publisher = {SciTePress},
year = {2019},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Gomes19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/BaiLYXGG19,
author = {Junwen Bai and
Zihang Lai and
Runzhe Yang and
Yexiang Xue and
John M. Gregoire and
Carla P. Gomes},
title = {Imitation Refinement for X-ray Diffraction Signal Processing},
booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing,
{ICASSP} 2019, Brighton, United Kingdom, May 12-17, 2019},
pages = {3337--3341},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICASSP.2019.8683723},
doi = {10.1109/ICASSP.2019.8683723},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/BaiLYXGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dev/2019,
editor = {Jay Chen and
Jennifer Mankoff and
Carla P. Gomes},
title = {Proceedings of the Conference on Computing {\&} Sustainable Societies,
{COMPASS} 2019, Accra, Ghana, July 3-5, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314344},
doi = {10.1145/3314344},
isbn = {978-1-4503-6714-1},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dev/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05601,
author = {Sebastian Ament and
John M. Gregoire and
Carla P. Gomes},
title = {Exponentially-Modified Gaussian Mixture Model: Applications in Spectroscopy},
journal = {CoRR},
volume = {abs/1902.05601},
year = {2019},
url = {http://arxiv.org/abs/1902.05601},
eprinttype = {arXiv},
eprint = {1902.05601},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05601.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09069,
author = {Johan Bjorck and
Brendan Rappazzo and
Di Chen and
Richard Bernstein and
Peter H. Wrege and
Carla P. Gomes},
title = {Automatic Detection and Compression for Passive Acoustic Monitoring
of the African Forest Elephant},
journal = {CoRR},
volume = {abs/1902.09069},
year = {2019},
url = {http://arxiv.org/abs/1902.09069},
eprinttype = {arXiv},
eprint = {1902.09069},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00855,
author = {Di Chen and
Yiwei Bai and
Wenting Zhao and
Sebastian Ament and
John M. Gregoire and
Carla P. Gomes},
title = {Deep Reasoning Networks: Thinking Fast and Slow},
journal = {CoRR},
volume = {abs/1906.00855},
year = {2019},
url = {http://arxiv.org/abs/1906.00855},
eprinttype = {arXiv},
eprint = {1906.00855},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05433,
author = {David Rolnick and
Priya L. Donti and
Lynn H. Kaack and
Kelly Kochanski and
Alexandre Lacoste and
Kris Sankaran and
Andrew Slavin Ross and
Nikola Milojevic{-}Dupont and
Natasha Jaques and
Anna Waldman{-}Brown and
Alexandra Luccioni and
Tegan Maharaj and
Evan D. Sherwin and
S. Karthik Mukkavilli and
Konrad P. K{\"{o}}rding and
Carla P. Gomes and
Andrew Y. Ng and
Demis Hassabis and
John C. Platt and
Felix Creutzig and
Jennifer T. Chayes and
Yoshua Bengio},
title = {Tackling Climate Change with Machine Learning},
journal = {CoRR},
volume = {abs/1906.05433},
year = {2019},
url = {http://arxiv.org/abs/1906.05433},
eprinttype = {arXiv},
eprint = {1906.05433},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-05433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-09357,
author = {Di Chen and
Yada Zhu and
Xiaodong Cui and
Carla P. Gomes},
title = {Task-Based Learning via Task-Oriented Prediction Network},
journal = {CoRR},
volume = {abs/1910.09357},
year = {2019},
url = {http://arxiv.org/abs/1910.09357},
eprinttype = {arXiv},
eprint = {1910.09357},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-09357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BaiXBBRBSDGG18,
author = {Junwen Bai and
Yexiang Xue and
Johan Bjorck and
Ronan Le Bras and
Brendan Rappazzo and
Richard Bernstein and
Santosh K. Suram and
Robert Bruce van Dover and
John M. Gregoire and
Carla P. Gomes},
title = {Phase Mapper: Accelerating Materials Discovery with {AI}},
journal = {{AI} Mag.},
volume = {39},
number = {1},
pages = {15--26},
year = {2018},
url = {https://doi.org/10.1609/aimag.v39i1.2785},
doi = {10.1609/AIMAG.V39I1.2785},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/BaiXBBRBSDGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BjorckBWXWG18,
author = {Johan Bjorck and
Yiwei Bai and
Xiaojian Wu and
Yexiang Xue and
Mark C. Whitmore and
Carla P. Gomes},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol
in Predator-Prey Networks},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {748--756},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11340},
doi = {10.1609/AAAI.V32I1.11340},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BjorckBWXWG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TangXCG18,
author = {Luming Tang and
Yexiang Xue and
Di Chen and
Carla P. Gomes},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Multi-Entity Dependence Learning With Rich Context via Conditional
Variational Auto-Encoder},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {824--832},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11335},
doi = {10.1609/AAAI.V32I1.11335},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TangXCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WuGSXGASSFG18,
author = {Xiaojian Wu and
Jonathan Gomes{-}Selman and
Qinru Shi and
Yexiang Xue and
Roosevelt Garc{\'{\i}}a{-}Villacorta and
Elizabeth Anderson and
Suresh Sethi and
Scott Steinschneider and
Alexander Flecker and
Carla P. Gomes},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement
in the Amazon Basin},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {849--859},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11347},
doi = {10.1609/AAAI.V32I1.11347},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/WuGSXGASSFG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PerezRG18,
author = {Guillaume Perez and
Brendan Rappazzo and
Carla P. Gomes},
editor = {John N. Hooker},
title = {Extending the Capacity of 1 / f Noise Generation},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {601--610},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_39},
doi = {10.1007/978-3-319-98334-9\_39},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/PerezRG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BaiAPGG18,
author = {Junwen Bai and
Sebastian Ament and
Guillaume Perez and
John M. Gregoire and
Carla P. Gomes},
editor = {Willem Jan van Hoeve},
title = {An Efficient Relaxed Projection Method for Constrained Non-negative
Matrix Factorization with Application to the Phase-Mapping Problem
in Materials Science},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 15th International Conference, {CPAIOR} 2018,
Delft, The Netherlands, June 26-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10848},
pages = {52--62},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93031-2\_4},
doi = {10.1007/978-3-319-93031-2\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BaiAPGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Gomes-SelmanSXG18,
author = {Jonathan Michael Gomes Selman and
Qinru Shi and
Yexiang Xue and
Roosevelt Garc{\'{\i}}a{-}Villacorta and
Alexander S. Flecker and
Carla P. Gomes},
editor = {Willem Jan van Hoeve},
title = {Boosting Efficiency for Computing the Pareto Frontier on Tree Structured
Networks},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 15th International Conference, {CPAIOR} 2018,
Delft, The Netherlands, June 26-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10848},
pages = {263--279},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93031-2\_19},
doi = {10.1007/978-3-319-93031-2\_19},
timestamp = {Fri, 15 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/Gomes-SelmanSXG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dev/ShiGGSFG18,
author = {Qinru Shi and
Jonathan Michael Gomes Selman and
Roosevelt Garc{\'{\i}}a{-}Villacorta and
Suresh Sethi and
Alexander S. Flecker and
Carla P. Gomes},
editor = {Ellen W. Zegura},
title = {Efficiently Optimizing for Dendritic Connectivity on Tree-Structured
Networks in a Multi-Objective Framework},
booktitle = {Proceedings of the 1st {ACM} {SIGCAS} Conference on Computing and
Sustainable Societies, {COMPASS} 2018, Menlo Park and San Jose, CA,
USA, June 20-22, 2018},
pages = {26:1--26:8},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209811.3209878},
doi = {10.1145/3209811.3209878},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dev/ShiGGSFG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ChenXG18,
author = {Di Chen and
Yexiang Xue and
Carla P. Gomes},
editor = {Jennifer G. Dy and
Andreas Krause},
title = {End-to-End Learning for the Deep Multivariate Probit Model},
booktitle = {Proceedings of the 35th International Conference on Machine Learning,
{ICML} 2018, Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July
10-15, 2018},
series = {Proceedings of Machine Learning Research},
volume = {80},
pages = {931--940},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v80/chen18o.html},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/ChenXG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BjorckGSW18,
author = {Johan Bjorck and
Carla P. Gomes and
Bart Selman and
Kilian Q. Weinberger},
editor = {Samy Bengio and
Hanna M. Wallach and
Hugo Larochelle and
Kristen Grauman and
Nicol{\`{o}} Cesa{-}Bianchi and
Roman Garnett},
title = {Understanding Batch Normalization},
booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
on Neural Information Processing Systems 2018, NeurIPS 2018, December
3-8, 2018, Montr{\'{e}}al, Canada},
pages = {7705--7716},
year = {2018},
url = {https://proceedings.neurips.cc/paper/2018/hash/36072923bfc3cf47745d704feb489480-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/BjorckGSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-08591,
author = {Di Chen and
Yexiang Xue and
Carla P. Gomes},
title = {End-to-End Learning for the Deep Multivariate Probit Model},
journal = {CoRR},
volume = {abs/1803.08591},
year = {2018},
url = {http://arxiv.org/abs/1803.08591},
eprinttype = {arXiv},
eprint = {1803.08591},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-08591.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08698,
author = {Junwen Bai and
Runzhe Yang and
Yexiang Xue and
John M. Gregoire and
Carla P. Gomes},
title = {Imitation Refinement},
journal = {CoRR},
volume = {abs/1805.08698},
year = {2018},
url = {http://arxiv.org/abs/1805.08698},
eprinttype = {arXiv},
eprint = {1805.08698},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08698.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-02375,
author = {Johan Bjorck and
Carla P. Gomes and
Bart Selman},
title = {Understanding Batch Normalization},
journal = {CoRR},
volume = {abs/1806.02375},
year = {2018},
url = {http://arxiv.org/abs/1806.02375},
eprinttype = {arXiv},
eprint = {1806.02375},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-02375.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-00458,
author = {Di Chen and
Carla P. Gomes},
title = {Bias Reduction via End-to-End Shift Learning: Application to Citizen
Science},
journal = {CoRR},
volume = {abs/1811.00458},
year = {2018},
url = {http://arxiv.org/abs/1811.00458},
eprinttype = {arXiv},
eprint = {1811.00458},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-00458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XueWMDFRG17,
author = {Yexiang Xue and
XiaoJian Wu and
Dana Morin and
Bistra Dilkina and
Angela Fuller and
J. Andrew Royle and
Carla P. Gomes},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture
Information},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {4552--4558},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11175},
doi = {10.1609/AAAI.V31I1.11175},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/XueWMDFRG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XueBBRBBLSDGG17,
author = {Yexiang Xue and
Junwen Bai and
Ronan Le Bras and
Brendan Rappazzo and
Richard Bernstein and
Johan Bjorck and
Liane Longpre and
Santosh K. Suram and
Robert Bruce van Dover and
John M. Gregoire and
Carla P. Gomes},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Phase-Mapper: An {AI} Platform to Accelerate High Throughput Materials
Discovery},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {4635--4643},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.19087},
doi = {10.1609/AAAI.V31I1.19087},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/XueBBRBBLSDGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DiazBG17,
author = {Mateo D{\'{\i}}az and
Ronan Le Bras and
Carla P. Gomes},
editor = {Domenico Salvagnin and
Michele Lombardi},
title = {In Search of Balance: The Challenge of Generating Balanced Latin Rectangles},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
5-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10335},
pages = {68--76},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59776-8\_6},
doi = {10.1007/978-3-319-59776-8\_6},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/DiazBG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BaiBXSGG17,
author = {Junwen Bai and
Johan Bjorck and
Yexiang Xue and
Santosh K. Suram and
John M. Gregoire and
Carla P. Gomes},
editor = {Domenico Salvagnin and
Michele Lombardi},
title = {Relaxation Methods for Constrained Matrix Factorization Problems:
Solving the Phase Mapping Problem in Materials Discovery},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
5-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10335},
pages = {104--112},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59776-8\_9},
doi = {10.1007/978-3-319-59776-8\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BaiBXSGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip6-3/Gomes17,
author = {Carla P. Gomes},
title = {Keynotes: Computational sustainability},
booktitle = {2017 Sustainable Internet and {ICT} for Sustainability, SustainIT
2017, Funchal, Portugal, December 6-7, 2017},
pages = {1--2},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.23919/SustainIT.2017.8379790},
doi = {10.23919/SUSTAINIT.2017.8379790},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip6-3/Gomes17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChenXFCG17,
author = {Di Chen and
Yexiang Xue and
Daniel Fink and
Shuo Chen and
Carla P. Gomes},
editor = {Carles Sierra},
title = {Deep Multi-species Embedding},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {3639--3646},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/509},
doi = {10.24963/IJCAI.2017/509},
timestamp = {Sun, 27 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChenXFCG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WuXSG17,
author = {Xiaojian Wu and
Yexiang Xue and
Bart Selman and
Carla P. Gomes},
editor = {Carles Sierra},
title = {XOR-Sampling for Network Design with Correlated Stochastic Events},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4640--4647},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/647},
doi = {10.24963/IJCAI.2017/647},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WuXSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WuXSG17,
author = {Xiaojian Wu and
Yexiang Xue and
Bart Selman and
Carla P. Gomes},
title = {XOR-Sampling for Network Design with Correlated Stochastic Events},
journal = {CoRR},
volume = {abs/1705.08218},
year = {2017},
url = {http://arxiv.org/abs/1705.08218},
eprinttype = {arXiv},
eprint = {1705.08218},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WuXSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05612,
author = {Luming Tang and
Yexiang Xue and
Di Chen and
Carla P. Gomes},
title = {Multi-Entity Dependence Learning with Rich Context via Conditional
Variational Auto-encoder},
journal = {CoRR},
volume = {abs/1709.05612},
year = {2017},
url = {http://arxiv.org/abs/1709.05612},
eprinttype = {arXiv},
eprint = {1709.05612},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06800,
author = {Johan Bjorck and
Yiwei Bai and
Xiaojian Wu and
Yexiang Xue and
Mark C. Whitmore and
Carla P. Gomes},
title = {Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol
in Predator-Prey Network},
journal = {CoRR},
volume = {abs/1711.06800},
year = {2017},
url = {http://arxiv.org/abs/1711.06800},
eprinttype = {arXiv},
eprint = {1711.06800},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06800.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/XueDFWG16,
author = {Yexiang Xue and
Ian Davies and
Daniel Fink and
Christopher Wood and
Carla P. Gomes},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Avicaching: {A} Two Stage Game for Bias Reduction in Citizen Science},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {776--785},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937038},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/XueDFWG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/XueDFWG16,
author = {Yexiang Xue and
Ian Davies and
Daniel Fink and
Christopher Wood and
Carla P. Gomes},
editor = {Michel Rueher},
title = {Behavior Identification in Two-Stage Games for Incentivizing Citizen
Science Exploration},
booktitle = {Principles and Practice of Constraint Programming - 22nd International
Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {701--717},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_44},
doi = {10.1007/978-3-319-44953-1\_44},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/XueDFWG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/XueEBGS16,
author = {Yexiang Xue and
Stefano Ermon and
Ronan Le Bras and
Carla P. Gomes and
Bart Selman},
editor = {Maria{-}Florina Balcan and
Kilian Q. Weinberger},
title = {Variable Elimination in the Fourier Domain},
booktitle = {Proceedings of the 33nd International Conference on Machine Learning,
{ICML} 2016, New York City, NY, USA, June 19-24, 2016},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {48},
pages = {285--294},
publisher = {JMLR.org},
year = {2016},
url = {http://proceedings.mlr.press/v48/xue16.html},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/XueEBGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/XueLEGS16,
author = {Yexiang Xue and
Zhiyuan Li and
Stefano Ermon and
Carla P. Gomes and
Bart Selman},
editor = {Daniel D. Lee and
Masashi Sugiyama and
Ulrike von Luxburg and
Isabelle Guyon and
Roman Garnett},
title = {Solving Marginal {MAP} Problems with {NP} Oracles and Parity Constraints},
booktitle = {Advances in Neural Information Processing Systems 29: Annual Conference
on Neural Information Processing Systems 2016, December 5-10, 2016,
Barcelona, Spain},
pages = {1127--1135},
year = {2016},
url = {https://proceedings.neurips.cc/paper/2016/hash/a532400ed62e772b9dc0b86f46e583ff-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/XueLEGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenXCFG16,
author = {Di Chen and
Yexiang Xue and
Shuo Chen and
Daniel Fink and
Carla P. Gomes},
title = {Deep Multi-Species Embedding},
journal = {CoRR},
volume = {abs/1609.09353},
year = {2016},
url = {http://arxiv.org/abs/1609.09353},
eprinttype = {arXiv},
eprint = {1609.09353},
timestamp = {Sun, 27 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenXCFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XueBBRBBLSDGG16,
author = {Yexiang Xue and
Junwen Bai and
Ronan Le Bras and
Brendan Rappazzo and
Richard Bernstein and
Johan Bjorck and
Liane Longpre and
Santosh K. Suram and
Robert Bruce van Dover and
John M. Gregoire and
Carla P. Gomes},
title = {Phase-Mapper: An {AI} Platform to Accelerate High Throughput Materials
Discovery},
journal = {CoRR},
volume = {abs/1610.00689},
year = {2016},
url = {http://arxiv.org/abs/1610.00689},
eprinttype = {arXiv},
eprint = {1610.00689},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/XueBBRBBLSDGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XueLEGS16,
author = {Yexiang Xue and
Zhiyuan Li and
Stefano Ermon and
Carla P. Gomes and
Bart Selman},
title = {Solving Marginal {MAP} Problems with {NP} Oracles and Parity Constraints},
journal = {CoRR},
volume = {abs/1610.02591},
year = {2016},
url = {http://arxiv.org/abs/1610.02591},
eprinttype = {arXiv},
eprint = {1610.02591},
timestamp = {Mon, 25 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/XueLEGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ErmonBSGGSD15,
author = {Stefano Ermon and
Ronan Le Bras and
Santosh K. Suram and
John M. Gregoire and
Carla P. Gomes and
Bart Selman and
Robert Bruce van Dover},
editor = {Blai Bonet and
Sven Koenig},
title = {Pattern Decomposition with Complex Combinatorial Constraints: Application
to Materials Discovery},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {636--643},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9233},
doi = {10.1609/AAAI.V29I1.9233},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ErmonBSGGSD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ErmonXTDBDCDMBG15,
author = {Stefano Ermon and
Yexiang Xue and
Russell Toth and
Bistra Dilkina and
Richard Bernstein and
Theodoros Damoulas and
Patrick E. Clark and
Steve DeGloria and
Andrew Mude and
Christopher Barrett and
Carla P. Gomes},
editor = {Blai Bonet and
Sven Koenig},
title = {Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal
Preferences with Application to Migratory Pastoralism in East Africa},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {644--650},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9248},
doi = {10.1609/AAAI.V29I1.9248},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ErmonXTDBDCDMBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XueEGS15,
author = {Yexiang Xue and
Stefano Ermon and
Carla P. Gomes and
Bart Selman},
editor = {Bistra Dilkina and
Stefano Ermon and
Rebecca A. Hutchinson and
Daniel Sheldon},
title = {Uncovering Hidden Structure through Parallel Problem Decomposition
for the Set Basis Problem},
booktitle = {Computational Sustainability, Papers from the 2015 {AAAI} Workshop,
Austin, Texas, USA, January 26, 2015},
series = {{AAAI} Technical Report},
volume = {{WS-15-06}},
publisher = {{AAAI} Press},
year = {2015},
url = {http://aaai.org/ocs/index.php/WS/AAAIW15/paper/view/10080},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/XueEGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/XueEGS15,
author = {Yexiang Xue and
Stefano Ermon and
Carla P. Gomes and
Bart Selman},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Uncovering Hidden Structure through Parallel Problem Decomposition
for the Set Basis Problem: Application to Materials Discovery},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {146--155},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/028},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/XueEGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XueELGS15,
author = {Yexiang Xue and
Stefano Ermon and
Ronan Le Bras and
Carla P. Gomes and
Bart Selman},
title = {Variable Elimination in Fourier Domain},
journal = {CoRR},
volume = {abs/1508.04032},
year = {2015},
url = {http://arxiv.org/abs/1508.04032},
eprinttype = {arXiv},
eprint = {1508.04032},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/XueELGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/EatonGW14,
author = {Eric Eaton and
Carla P. Gomes and
Brian Charles Williams},
title = {Computational Sustainability},
journal = {{AI} Mag.},
volume = {35},
number = {2},
pages = {3--7},
year = {2014},
url = {https://doi.org/10.1609/aimag.v35i2.2525},
doi = {10.1609/AIMAG.V35I2.2525},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/EatonGW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/FinkDBSHGK14,
author = {Daniel Fink and
Theodoros Damoulas and
Nicholas E. Bruns and
Frank A. La Sorte and
Wesley M. Hochachka and
Carla P. Gomes and
Steve Kelling},
title = {Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species
Distribution Models},
journal = {{AI} Mag.},
volume = {35},
number = {2},
pages = {19--30},
year = {2014},
url = {https://doi.org/10.1609/aimag.v35i2.2533},
doi = {10.1609/AIMAG.V35I2.2533},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/FinkDBSHGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/EatonGW14a,
author = {Eric Eaton and
Carla P. Gomes and
Brian Charles Williams},
title = {Computational Sustainability: Editorial Introduction to the Summer
and Fall Issues},
journal = {{AI} Mag.},
volume = {35},
number = {3},
pages = {3--7},
year = {2014},
url = {https://doi.org/10.1609/aimag.v35i3.2561},
doi = {10.1609/AIMAG.V35I3.2561},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/EatonGW14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DilkinaGS14,
author = {Bistra Dilkina and
Carla P. Gomes and
Ashish Sabharwal},
title = {Tradeoffs in the complexity of backdoors to satisfiability: dynamic
sub-solvers and learning during search},
journal = {Ann. Math. Artif. Intell.},
volume = {70},
number = {4},
pages = {399--431},
year = {2014},
url = {https://doi.org/10.1007/s10472-014-9407-9},
doi = {10.1007/S10472-014-9407-9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DilkinaGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrasBGSGSD14,
author = {Ronan Le Bras and
Richard Bernstein and
John M. Gregoire and
Santosh K. Suram and
Carla P. Gomes and
Bart Selman and
R. Bruce van Dover},
editor = {Carla E. Brodley and
Peter Stone},
title = {Challenges in Materials Discovery - Synthetic Generator and Real Datasets},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {438--443},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8770},
doi = {10.1609/AAAI.V28I1.8770},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrasBGSGSD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ErmonGSS14,
author = {Stefano Ermon and
Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
editor = {Carla E. Brodley and
Peter Stone},
title = {Designing Fast Absorbing Markov Chains},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {849--855},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8843},
doi = {10.1609/AAAI.V28I1.8843},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ErmonGSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XueEGS14,
author = {Yexiang Xue and
Stefano Ermon and
Carla P. Gomes and
Bart Selman},
editor = {Carla E. Brodley and
Peter Stone},
title = {Uncovering Hidden Structure through Parallel Problem Decomposition},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {3144--3145},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9093},
doi = {10.1609/AAAI.V28I1.9093},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/XueEGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BrasGS14,
author = {Ronan Le Bras and
Carla P. Gomes and
Bart Selman},
editor = {Barry O'Sullivan},
title = {On the Erd{\H{o}}s Discrepancy Problem},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {440--448},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_33},
doi = {10.1007/978-3-319-10428-7\_33},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BrasGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcomp/BrasXBGS14,
author = {Ronan Le Bras and
Yexiang Xue and
Richard Bernstein and
Carla P. Gomes and
Bart Selman},
editor = {Jeffrey P. Bigham and
David C. Parkes},
title = {A Human Computation Framework for Boosting Combinatorial Solvers},
booktitle = {Proceedings of the Seconf {AAAI} Conference on Human Computation and
Crowdsourcing, {HCOMP} 2014, November 2-4, 2014, Pittsburgh, Pennsylvania,
{USA}},
pages = {121--132},
publisher = {{AAAI}},
year = {2014},
url = {https://doi.org/10.1609/hcomp.v2i1.13155},
doi = {10.1609/HCOMP.V2I1.13155},
timestamp = {Tue, 05 Sep 2023 11:10:11 +0200},
biburl = {https://dblp.org/rec/conf/hcomp/BrasXBGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ErmonGSS14,
author = {Stefano Ermon and
Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
title = {Low-density Parity Constraints for Hashing-Based Discrete Integration},
booktitle = {Proceedings of the 31th International Conference on Machine Learning,
{ICML} 2014, Beijing, China, 21-26 June 2014},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {32},
pages = {271--279},
publisher = {JMLR.org},
year = {2014},
url = {http://proceedings.mlr.press/v32/ermon14.html},
timestamp = {Wed, 29 May 2019 08:41:45 +0200},
biburl = {https://dblp.org/rec/conf/icml/ErmonGSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/DamoulasHBGA14,
author = {Theodoros Damoulas and
Jin He and
Richard Bernstein and
Carla P. Gomes and
Anish Arora},
title = {String Kernels for Complex Time-Series: Counting Targets from Sensed
Movement},
booktitle = {22nd International Conference on Pattern Recognition, {ICPR} 2014,
Stockholm, Sweden, August 24-28, 2014},
pages = {4429--4434},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICPR.2014.758},
doi = {10.1109/ICPR.2014.758},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpr/DamoulasHBGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrasGS14,
author = {Ronan Le Bras and
Carla P. Gomes and
Bart Selman},
title = {On the Erdos Discrepancy Problem},
journal = {CoRR},
volume = {abs/1407.2510},
year = {2014},
url = {http://arxiv.org/abs/1407.2510},
eprinttype = {arXiv},
eprint = {1407.2510},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BrasGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ErmonBSGGSD14,
author = {Stefano Ermon and
Ronan Le Bras and
Santosh K. Suram and
John M. Gregoire and
Carla P. Gomes and
Bart Selman and
Robert Bruce van Dover},
title = {Pattern Decomposition with Complex Combinatorial Constraints: Application
to Materials Discovery},
journal = {CoRR},
volume = {abs/1411.7441},
year = {2014},
url = {http://arxiv.org/abs/1411.7441},
eprinttype = {arXiv},
eprint = {1411.7441},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ErmonBSGGSD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/KellingGFLWYDG13,
author = {Steve Kelling and
Jeff Gerbracht and
Daniel Fink and
Carl Lagoze and
Weng{-}Keen Wong and
Jun Yu and
Theodoros Damoulas and
Carla P. Gomes},
title = {A Human/Computer Learning Network to Improve Biodiversity Conservation
and Research},
journal = {{AI} Mag.},
volume = {34},
number = {1},
pages = {10--20},
year = {2013},
url = {https://doi.org/10.1609/aimag.v34i1.2431},
doi = {10.1609/AIMAG.V34I1.2431},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/KellingGFLWYDG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/ErmonXGS13,
author = {Stefano Ermon and
Yexiang Xue and
Carla P. Gomes and
Bart Selman},
title = {Learning policies for battery usage optimization in electric vehicles},
journal = {Mach. Learn.},
volume = {92},
number = {1},
pages = {177--194},
year = {2013},
url = {https://doi.org/10.1007/s10994-013-5378-z},
doi = {10.1007/S10994-013-5378-Z},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/ErmonXGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrasDXGMSM13,
author = {Ronan LeBras and
Bistra Dilkina and
Yexiang Xue and
Carla P. Gomes and
Kevin S. McKelvey and
Michael K. Schwartz and
Claire A. Montgomery},
editor = {Marie desJardins and
Michael L. Littman},
title = {Robust Network Design For Multispecies Conservation},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {1305--1312},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8491},
doi = {10.1609/AAAI.V27I1.8491},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrasDXGMSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DilkinaLLXGSSMSM13,
author = {Bistra Dilkina and
Katherine J. Lai and
Ronan LeBras and
Yexiang Xue and
Carla P. Gomes and
Ashish Sabharwal and
Jordan Suter and
Kevin S. McKelvey and
Michael K. Schwartz and
Claire A. Montgomery},
editor = {Marie desJardins and
Michael L. Littman},
title = {Large Landscape Conservation - Synthetic and Real-World Datasets},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {1369--1372},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8489},
doi = {10.1609/AAAI.V27I1.8489},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DilkinaLLXGSSMSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcomp/XueDDFGK13,
author = {Yexiang Xue and
Bistra Dilkina and
Theodoros Damoulas and
Daniel Fink and
Carla P. Gomes and
Steve Kelling},
editor = {Bj{\"{o}}rn Hartman and
Eric Horvitz},
title = {Improving Your Chances: Boosting Citizen Science Discovery},
booktitle = {Proceedings of the First {AAAI} Conference on Human Computation and
Crowdsourcing, {HCOMP} 2013, November 7-9, 2013, Palm Springs, CA,
{USA}},
pages = {198--206},
publisher = {{AAAI}},
year = {2013},
url = {https://doi.org/10.1609/hcomp.v1i1.13070},
doi = {10.1609/HCOMP.V1I1.13070},
timestamp = {Tue, 05 Sep 2023 11:10:11 +0200},
biburl = {https://dblp.org/rec/conf/hcomp/XueDDFGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ErmonGSS13,
author = {Stefano Ermon and
Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
title = {Taming the Curse of Dimensionality: Discrete Integration by Hashing
and Optimization},
booktitle = {Proceedings of the 30th International Conference on Machine Learning,
{ICML} 2013, Atlanta, GA, USA, 16-21 June 2013},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {28},
pages = {334--342},
publisher = {JMLR.org},
year = {2013},
url = {http://proceedings.mlr.press/v28/ermon13.html},
timestamp = {Wed, 29 May 2019 08:41:45 +0200},
biburl = {https://dblp.org/rec/conf/icml/ErmonGSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeBrasGS13,
author = {Ronan LeBras and
Carla P. Gomes and
Bart Selman},
editor = {Francesca Rossi},
title = {Double-Wheel Graphs Are Graceful},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {587--593},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6973},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LeBrasGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeBrasBGSD13,
author = {Ronan LeBras and
Richard Bernstein and
Carla P. Gomes and
Bart Selman and
R. Bruce van Dover},
editor = {Francesca Rossi},
title = {Crowdsourcing Backdoor Identification for Combinatorial Optimization},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {2840--2847},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6993},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LeBrasBGSD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ErmonGSS13,
author = {Stefano Ermon and
Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
editor = {Christopher J. C. Burges and
L{\'{e}}on Bottou and
Zoubin Ghahramani and
Kilian Q. Weinberger},
title = {Embed and Project: Discrete Sampling with Universal Hashing},
booktitle = {Advances in Neural Information Processing Systems 26: 27th Annual
Conference on Neural Information Processing Systems 2013. Proceedings
of a meeting held December 5-8, 2013, Lake Tahoe, Nevada, United States},
pages = {2085--2093},
year = {2013},
url = {https://proceedings.neurips.cc/paper/2013/hash/6d70cb65d15211726dcce4c0e971e21c-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/ErmonGSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FingerLGS13,
author = {Marcelo Finger and
Ronan LeBras and
Carla P. Gomes and
Bart Selman},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Solutions for Hard and Soft Constraints Using Optimized Probabilistic
Satisfiability},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {233--249},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_18},
doi = {10.1007/978-3-642-39071-5\_18},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/FingerLGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/ErmonGSS13,
author = {Stefano Ermon and
Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
editor = {Ann E. Nicholson and
Padhraic Smyth},
title = {Optimization With Parity Constraints: From Binary Codes to Discrete
Integration},
booktitle = {Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial
Intelligence, {UAI} 2013, Bellevue, WA, USA, August 11-15, 2013},
publisher = {{AUAI} Press},
year = {2013},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2381\&\#38;proceeding\_id=29},
timestamp = {Fri, 16 Jul 2021 16:15:58 +0200},
biburl = {https://dblp.org/rec/conf/uai/ErmonGSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2013,
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38171-3},
doi = {10.1007/978-3-642-38171-3},
isbn = {978-3-642-38170-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2279,
author = {Eric Horvitz and
Yongshao Ruan and
Carla P. Gomes and
Henry A. Kautz and
Bart Selman and
David Maxwell Chickering},
title = {A Bayesian Approach to Tackling Hard Computational Problems},
journal = {CoRR},
volume = {abs/1301.2279},
year = {2013},
url = {http://arxiv.org/abs/1301.2279},
eprinttype = {arXiv},
eprint = {1301.2279},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-2279.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-1541,
author = {Carla P. Gomes and
Bart Selman},
title = {Algorithm Portfolio Design: Theory vs. Practice},
journal = {CoRR},
volume = {abs/1302.1541},
year = {2013},
url = {http://arxiv.org/abs/1302.1541},
eprinttype = {arXiv},
eprint = {1302.1541},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-1541.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6677,
author = {Stefano Ermon and
Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
title = {Taming the Curse of Dimensionality: Discrete Integration by Hashing
and Optimization},
journal = {CoRR},
volume = {abs/1302.6677},
year = {2013},
url = {http://arxiv.org/abs/1302.6677},
eprinttype = {arXiv},
eprint = {1302.6677},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ErmonGSS13,
author = {Stefano Ermon and
Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
title = {Optimization With Parity Constraints: From Binary Codes to Discrete
Integration},
journal = {CoRR},
volume = {abs/1309.6827},
year = {2013},
url = {http://arxiv.org/abs/1309.6827},
eprinttype = {arXiv},
eprint = {1309.6827},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ErmonGSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeBrasGS12,
author = {Ronan LeBras and
Carla P. Gomes and
Bart Selman},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {From Streamlined Combinatorial Search to Efficient Constructive Procedures},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {499--506},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8147},
doi = {10.1609/AAAI.V26I1.8147},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeBrasGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/ErmonGSV12,
author = {Stefano Ermon and
Carla P. Gomes and
Bart Selman and
Alexander Vladimirsky},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Probabilistic planning with non-linear utility functions and worst-case
guarantees},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {965--972},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2343835},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/ErmonGSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eaai/FisherDE012,
author = {Douglas H. Fisher and
Bistra Dilkina and
Eric Eaton and
Carla Gomes},
title = {Incorporating Computational Sustainability into {AI} Education through
a Freely-Available, Collectively-Composed Supplementary Lab Text},
booktitle = {Third Symposium on Education Advances in Artificial Intelligence,
{EAAI} 2012, Toronto, ON, Canada, July 22-26, 2012},
pages = {2369--2370},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i3.18953},
doi = {10.1609/AAAI.V26I3.18953},
timestamp = {Thu, 14 Sep 2023 15:28:38 +0200},
biburl = {https://dblp.org/rec/conf/eaai/FisherDE012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iaai/KellingGFLWYDG12,
author = {Steve Kelling and
Jeff Gerbracht and
Daniel Fink and
Carl Lagoze and
Weng{-}Keen Wong and
Jun Yu and
Theodoros Damoulas and
Carla P. Gomes},
editor = {Markus P. J. Fromherz and
Hector Mu{\~{n}}oz{-}Avila},
title = {eBird: {A} Human/Computer Learning Network for Biodiversity Conservation
and Research},
booktitle = {Proceedings of the Twenty-Fourth Conference on Innovative Applications
of Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada},
pages = {2229--2236},
publisher = {{AAAI}},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i2.18963},
doi = {10.1609/AAAI.V26I2.18963},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iaai/KellingGFLWYDG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ErmonGSS12,
author = {Stefano Ermon and
Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
editor = {Peter L. Bartlett and
Fernando C. N. Pereira and
Christopher J. C. Burges and
L{\'{e}}on Bottou and
Kilian Q. Weinberger},
title = {Density Propagation and Improved Bounds on the Partition Function},
booktitle = {Advances in Neural Information Processing Systems 25: 26th Annual
Conference on Neural Information Processing Systems 2012. Proceedings
of a meeting held December 3-6, 2012, Lake Tahoe, Nevada, United States},
pages = {2771--2779},
year = {2012},
url = {https://proceedings.neurips.cc/paper/2012/hash/e00406144c1e7e35240afed70f34166a-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/ErmonGSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/ErmonXGS12,
author = {Stefano Ermon and
Yexiang Xue and
Carla P. Gomes and
Bart Selman},
editor = {Peter A. Flach and
Tijl De Bie and
Nello Cristianini},
title = {Learning Policies for Battery Usage Optimization in Electric Vehicles},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2012, Bristol, UK, September 24-28, 2012. Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7524},
pages = {195--210},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33486-3\_13},
doi = {10.1007/978-3-642-33486-3\_13},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/ErmonXGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ErmonLGSD12,
author = {Stefano Ermon and
Ronan LeBras and
Carla P. Gomes and
Bart Selman and
R. Bruce van Dover},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {SMT-Aided Combinatorial Materials Discovery},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {172--185},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_14},
doi = {10.1007/978-3-642-31612-8\_14},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/ErmonLGSD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/ErmonGS12,
author = {Stefano Ermon and
Carla P. Gomes and
Bart Selman},
editor = {Nando de Freitas and
Kevin P. Murphy},
title = {Uniform Solution Sampling Using a Constraint Solver As an Oracle},
booktitle = {Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial
Intelligence, Catalina Island, CA, USA, August 14-18, 2012},
pages = {255--264},
publisher = {{AUAI} Press},
year = {2012},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2288\&\#38;proceeding\_id=28},
timestamp = {Mon, 23 Nov 2020 08:36:48 +0100},
biburl = {https://dblp.org/rec/conf/uai/ErmonGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-3478,
author = {Stefano Ermon and
Jon Conrad and
Carla P. Gomes and
Bart Selman},
title = {Playing games against nature: optimal policies for renewable resource
allocation},
journal = {CoRR},
volume = {abs/1203.3478},
year = {2012},
url = {http://arxiv.org/abs/1203.3478},
eprinttype = {arXiv},
eprint = {1203.3478},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-3478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-3514,
author = {Daniel Sheldon and
Bistra Dilkina and
Adam N. Elmachtoub and
Ryan Finseth and
Ashish Sabharwal and
Jon Conrad and
Carla P. Gomes and
David B. Shmoys and
William Allen and
Ole Amundsen and
William Vaughan},
title = {Maximizing the Spread of Cascades Using Network Design},
journal = {CoRR},
volume = {abs/1203.3514},
year = {2012},
url = {http://arxiv.org/abs/1203.3514},
eprinttype = {arXiv},
eprint = {1203.3514},
timestamp = {Wed, 24 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-3514.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-4861,
author = {Stefano Ermon and
Carla P. Gomes and
Bart Selman},
title = {Uniform Solution Sampling Using a Constraint Solver As an Oracle},
journal = {CoRR},
volume = {abs/1210.4861},
year = {2012},
url = {http://arxiv.org/abs/1210.4861},
eprinttype = {arXiv},
eprint = {1210.4861},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-4861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/AnsoteguiBFGM11,
author = {Carlos Ans{\'{o}}tegui and
Ram{\'{o}}n B{\'{e}}jar and
C{\`{e}}sar Fern{\'{a}}ndez and
Carla P. Gomes and
Carles Mateu},
title = {Generating highly balanced sudoku problems as hard problems},
journal = {J. Heuristics},
volume = {17},
number = {5},
pages = {589--614},
year = {2011},
url = {https://doi.org/10.1007/s10732-010-9146-y},
doi = {10.1007/S10732-010-9146-Y},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/heuristics/AnsoteguiBFGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/GomesY11,
author = {Carla P. Gomes and
Qiang Yang},
title = {Introduction to special issue on computational sustainability},
journal = {{ACM} Trans. Intell. Syst. Technol.},
volume = {2},
number = {4},
pages = {31:1--31:2},
year = {2011},
url = {https://doi.org/10.1145/1989734.1989735},
doi = {10.1145/1989734.1989735},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tist/GomesY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LaiGSMCM11,
author = {Katherine J. Lai and
Carla P. Gomes and
Michael K. Schwartz and
Kevin S. McKelvey and
David E. Calkin and
Claire A. Montgomery},
editor = {Wolfram Burgard and
Dan Roth},
title = {The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple
Species},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {1357--1364},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7809},
doi = {10.1609/AAAI.V25I1.7809},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LaiGSMCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ErmonGS11,
author = {Stefano Ermon and
Carla P. Gomes and
Bart Selman},
editor = {Liz Sonenberg and
Peter Stone and
Kagan Tumer and
Pinar Yolum},
title = {A message passing approach to multiagent gaussian inference for dynamic
processes},
booktitle = {10th International Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
pages = {1277--1278},
publisher = {{IFAAMAS}},
year = {2011},
url = {http://portal.acm.org/citation.cfm?id=2034524\&\#38;CFID=69154334\&\#38;CFTOKEN=45298625},
timestamp = {Fri, 18 Nov 2011 09:09:28 +0100},
biburl = {https://dblp.org/rec/conf/atal/ErmonGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeBrasDGSGD11,
author = {Ronan LeBras and
Theodoros Damoulas and
John M. Gregoire and
Ashish Sabharwal and
Carla P. Gomes and
R. Bruce van Dover},
editor = {Jimmy Ho{-}Man Lee},
title = {Constraint Reasoning and Kernel Clustering for Pattern Decomposition
with Scaling},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {508--522},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_39},
doi = {10.1007/978-3-642-23786-7\_39},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/LeBrasDGSGD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DilkinaLG11,
author = {Bistra Dilkina and
Katherine J. Lai and
Carla P. Gomes},
editor = {Tobias Achterberg and
J. Christopher Beck},
title = {Upgrading Shortest Paths in Networks},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems - 8th International Conference,
{CPAIOR} 2011, Berlin, Germany, May 23-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6697},
pages = {76--91},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21311-3\_9},
doi = {10.1007/978-3-642-21311-3\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/DilkinaLG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/Gomes11,
author = {Carla P. Gomes},
editor = {Jo{\~{a}}o Gama and
Elizabeth Bradley and
Jaakko Hollm{\'{e}}n},
title = {Computational Sustainability},
booktitle = {Advances in Intelligent Data Analysis {X} - 10th International Symposium,
{IDA} 2011, Porto, Portugal, October 29-31, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7014},
pages = {8},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24800-9\_2},
doi = {10.1007/978-3-642-24800-9\_2},
timestamp = {Mon, 30 Nov 2020 08:47:24 +0100},
biburl = {https://dblp.org/rec/conf/ida/Gomes11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ErmonCGS11,
author = {Stefano Ermon and
Jon Conrad and
Carla P. Gomes and
Bart Selman},
editor = {Toby Walsh},
title = {Risk-Sensitive Policies for Sustainable Renewable Resource Allocation},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1942--1948},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-325},
doi = {10.5591/978-1-57735-516-8/IJCAI11-325},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ErmonCGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TeoseAOSLEGG11,
author = {Maarika Teose and
Kiyan Ahmadizadeh and
Eoin O'Mahony and
Rebecca L. Smith and
Zhao Lu and
Stephen P. Ellner and
Carla P. Gomes and
Yrj{\"{o}} T. Gr{\"{o}}hn},
editor = {Toby Walsh},
title = {Embedding System Dynamics in Agent Based Models for Complex Adaptive
Systems},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2531--2538},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-421},
doi = {10.5591/978-1-57735-516-8/IJCAI11-421},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/TeoseAOSLEGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ErmonGS11,
author = {Stefano Ermon and
Carla P. Gomes and
Bart Selman},
editor = {Toby Walsh},
title = {A Flat Histogram Method for Computing the Density of States of Combinatorial
Problems},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2608--2613},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-434},
doi = {10.5591/978-1-57735-516-8/IJCAI11-434},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ErmonGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ErmonGSS11,
author = {Stefano Ermon and
Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
editor = {John Shawe{-}Taylor and
Richard S. Zemel and
Peter L. Bartlett and
Fernando C. N. Pereira and
Kilian Q. Weinberger},
title = {Accelerated Adaptive Markov Chain for Partition Function Computation},
booktitle = {Advances in Neural Information Processing Systems 24: 25th Annual
Conference on Neural Information Processing Systems 2011. Proceedings
of a meeting held 12-14 December 2011, Granada, Spain},
pages = {2744--2752},
year = {2011},
url = {https://proceedings.neurips.cc/paper/2011/hash/7fb8ceb3bd59c7956b1df66729296a4c-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/ErmonGSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ErmonGS10,
author = {Stefano Ermon and
Carla P. Gomes and
Bart Selman},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Collaborative multiagent Gaussian inference in a dynamic environment
using belief propagation},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {1419--1420},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838411},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/ErmonGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ErmonGS10,
author = {Stefano Ermon and
Carla P. Gomes and
Bart Selman},
editor = {David Cohen},
title = {Computing the Density of States of Boolean Formulas},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {38--52},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_6},
doi = {10.1007/978-3-642-15396-9\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ErmonGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AhmadizadehDGS10,
author = {Kiyan Ahmadizadeh and
Bistra Dilkina and
Carla P. Gomes and
Ashish Sabharwal},
editor = {David Cohen},
title = {An Empirical Study of Optimization for Maximizing Diffusion in Networks},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {514--521},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_41},
doi = {10.1007/978-3-642-15396-9\_41},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AhmadizadehDGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Gomes10,
author = {Carla P. Gomes},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {Challenges for {CPAIOR} in Computational Sustainability},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 7th International Conference,
{CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {3--4},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_2},
doi = {10.1007/978-3-642-13520-0\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/Gomes10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DilkinaG10,
author = {Bistra Dilkina and
Carla P. Gomes},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {Solving Connected Subgraph Problems in Wildlife Conservation},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 7th International Conference,
{CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {102--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_14},
doi = {10.1007/978-3-642-13520-0\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/DilkinaG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/DamoulasHFLG10,
author = {Theodoros Damoulas and
Samuel Henry and
Andrew Farnsworth and
Michael Lanzone and
Carla P. Gomes},
editor = {Sorin Draghici and
Taghi M. Khoshgoftaar and
Vasile Palade and
Witold Pedrycz and
M. Arif Wani and
Xingquan Zhu},
title = {Bayesian Classification of Flight Calls with a Novel Dynamic Time
Warping Kernel},
booktitle = {The Ninth International Conference on Machine Learning and Applications,
{ICMLA} 2010, Washington, DC, USA, 12-14 December 2010},
pages = {424--429},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICMLA.2010.69},
doi = {10.1109/ICMLA.2010.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmla/DamoulasHFLG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/ErmonCGS10,
author = {Stefano Ermon and
Jon Conrad and
Carla P. Gomes and
Bart Selman},
editor = {Peter Gr{\"{u}}nwald and
Peter Spirtes},
title = {Playing games against nature: optimal policies for renewable resource
allocation},
booktitle = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty
in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010},
pages = {168--176},
publisher = {{AUAI} Press},
year = {2010},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2092\&\#38;proceeding\_id=26},
timestamp = {Wed, 03 Feb 2021 11:09:25 +0100},
biburl = {https://dblp.org/rec/conf/uai/ErmonCGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/SheldonDEFSCGSAAV10,
author = {Daniel Sheldon and
Bistra Dilkina and
Adam N. Elmachtoub and
Ryan Finseth and
Ashish Sabharwal and
Jon Conrad and
Carla P. Gomes and
David B. Shmoys and
William Allen and
Ole Amundsen and
William Vaughan},
editor = {Peter Gr{\"{u}}nwald and
Peter Spirtes},
title = {Maximizing the Spread of Cascades Using Network Design},
booktitle = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty
in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010},
pages = {517--526},
publisher = {{AUAI} Press},
year = {2010},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2122\&\#38;proceeding\_id=26},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/SheldonDEFSCGSAAV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/CarvalhoCG09,
author = {Alda Carvalho and
Nuno Crato and
Carla P. Gomes},
title = {A generative power-law search tree model},
journal = {Comput. Oper. Res.},
volume = {36},
number = {8},
pages = {2376--2386},
year = {2009},
url = {https://doi.org/10.1016/j.cor.2008.08.017},
doi = {10.1016/J.COR.2008.08.017},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/CarvalhoCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Gomes09,
author = {Carla P. Gomes},
editor = {Ian P. Gent},
title = {Challenges for Constraint Reasoning and Optimization in Computational
Sustainability},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {2--4},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_2},
doi = {10.1007/978-3-642-04244-7\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Gomes09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DilkinaGMSS09,
author = {Bistra Dilkina and
Carla P. Gomes and
Yuri Malitsky and
Ashish Sabharwal and
Meinolf Sellmann},
editor = {Willem Jan van Hoeve and
John N. Hooker},
title = {Backdoors to Combinatorial Optimization: Feasibility and Optimality},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 6th International Conference,
{CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5547},
pages = {56--70},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01929-6\_6},
doi = {10.1007/978-3-642-01929-6\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/DilkinaGMSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KrocSGS09,
author = {Lukas Kroc and
Ashish Sabharwal and
Carla P. Gomes and
Bart Selman},
editor = {Craig Boutilier},
title = {Integrating Systematic and Local Search Paradigms: {A} New Strategy
for MaxSAT},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {544--551},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/097.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KrocSGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GuoG09,
author = {Yunsong Guo and
Carla P. Gomes},
editor = {Craig Boutilier},
title = {Learning Optimal Subsets with Implicit User Preferences},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {1052--1057},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/178.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GuoG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GuoG09a,
author = {Yunsong Guo and
Carla P. Gomes},
editor = {Craig Boutilier},
title = {Ranking Structured Documents: {A} Large Margin Based Approach for
Patent Prior Art Search},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {1058--1064},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/179.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GuoG09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/DilkinaGS09,
author = {Bistra Dilkina and
Carla P. Gomes and
Ashish Sabharwal},
editor = {Oliver Kullmann},
title = {Backdoors in the Context of Learning},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
International Conference, {SAT} 2009, Swansea, UK, June 30 - July
3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5584},
pages = {73--79},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_9},
doi = {10.1007/978-3-642-02777-2\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/DilkinaGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GomesS09,
author = {Carla P. Gomes and
Ashish Sabharwal},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Exploiting Runtime Variation in Complete Solvers},
booktitle = {Handbook of Satisfiability},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
pages = {271--288},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-58603-929-5-271},
doi = {10.3233/978-1-58603-929-5-271},
timestamp = {Fri, 06 May 2022 08:00:40 +0200},
biburl = {https://dblp.org/rec/series/faia/GomesS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GomesSS09,
author = {Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Model Counting},
booktitle = {Handbook of Satisfiability},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
pages = {633--654},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-58603-929-5-633},
doi = {10.3233/978-1-58603-929-5-633},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/GomesSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GomesHS08,
author = {Carla P. Gomes and
Willem Jan van Hoeve and
Ashish Sabharwal},
editor = {Laurent Perron and
Michael A. Trick},
title = {Connections in Networks: {A} Hybrid Approach},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 5th International Conference,
{CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {303--307},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_27},
doi = {10.1007/978-3-540-68155-7\_27},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/GomesHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/DilkinaGS08,
author = {Bistra Dilkina and
Carla P. Gomes and
Ashish Sabharwal},
title = {Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification,
and Preprocessing},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
year = {2008},
url = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008\_0068\_52aac45cbd48da479711d1c960b7be35.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/DilkinaGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2008,
editor = {Dieter Fox and
Carla P. Gomes},
title = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
publisher = {{AAAI} Press},
year = {2008},
isbn = {978-1-57735-368-3},
timestamp = {Fri, 15 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/GomesKSS08,
author = {Carla P. Gomes and
Henry A. Kautz and
Ashish Sabharwal and
Bart Selman},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Satisfiability Solvers},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {89--134},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03002-7},
doi = {10.1016/S1574-6526(07)03002-7},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/GomesKSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BejarMCFG07,
author = {Ram{\'{o}}n B{\'{e}}jar and
Felip Many{\`{a}} and
Alba Cabiscol and
C{\`{e}}sar Fern{\'{a}}ndez and
Carla P. Gomes},
title = {Regular-SAT: {A} many-valued approach to solving combinatorial problems},
journal = {Discret. Appl. Math.},
volume = {155},
number = {12},
pages = {1613--1626},
year = {2007},
url = {https://doi.org/10.1016/j.dam.2005.10.020},
doi = {10.1016/J.DAM.2005.10.020},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/BejarMCFG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HoffmannGS07,
author = {J{\"{o}}rg Hoffmann and
Carla P. Gomes and
Bart Selman},
title = {Structure and Problem Hardness: Goal Asymmetry and {DPLL} Proofs in
SAT-Based Planning},
journal = {Log. Methods Comput. Sci.},
volume = {3},
number = {1},
year = {2007},
url = {https://doi.org/10.2168/LMCS-3(1:6)2007},
doi = {10.2168/LMCS-3(1:6)2007},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/HoffmannGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DilkinaGS07,
author = {Bistra Dilkina and
Carla P. Gomes and
Ashish Sabharwal},
title = {The Impact of Network Topology on Pure Nash Equilibria in Graphical
Games},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {42--49},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-007.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DilkinaGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GomesHSS07,
author = {Carla P. Gomes and
Willem Jan van Hoeve and
Ashish Sabharwal and
Bart Selman},
title = {Counting {CSP} Solutions Using Generalized {XOR} Constraints},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {204--209},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-031.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GomesHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HoeveGSL07,
author = {Willem Jan van Hoeve and
Carla P. Gomes and
Bart Selman and
Michele Lombardi},
title = {Optimal Multi-Agent Scheduling with Constraint Programming},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {1813--1818},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-291.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HoeveGSL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DilkinaGS07,
author = {Bistra Dilkina and
Carla P. Gomes and
Ashish Sabharwal},
editor = {Christian Bessiere},
title = {Tradeoffs in the Complexity of Backdoor Detection},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {256--270},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_20},
doi = {10.1007/978-3-540-74970-7\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DilkinaGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ConradGHSS07,
author = {Jon Conrad and
Carla P. Gomes and
Willem Jan van Hoeve and
Ashish Sabharwal and
Jordan Suter},
editor = {Pascal Van Hentenryck and
Laurence A. Wolsey},
title = {Connections in Networks: Hardness of Feasibility Versus Optimality},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 4th International Conference,
{CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4510},
pages = {16--28},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72397-4\_2},
doi = {10.1007/978-3-540-72397-4\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/ConradGHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HoffmannGSK07,
author = {J{\"{o}}rg Hoffmann and
Carla P. Gomes and
Bart Selman and
Henry A. Kautz},
editor = {Manuela M. Veloso},
title = {{SAT} Encodings of State-Space Reachability Problems in Numeric Domains},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1918--1923},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/309.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HoffmannGSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GomesHSS07,
author = {Carla P. Gomes and
J{\"{o}}rg Hoffmann and
Ashish Sabharwal and
Bart Selman},
editor = {Manuela M. Veloso},
title = {From Sampling to Model Counting},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {2293--2299},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/369.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GomesHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GomesHSS07,
author = {Carla P. Gomes and
J{\"{o}}rg Hoffmann and
Ashish Sabharwal and
Bart Selman},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {Short XORs for Model Counting: From Theory to Practice},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {100--106},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_13},
doi = {10.1007/978-3-540-72788-0\_13},
timestamp = {Mon, 24 Feb 2020 19:23:27 +0100},
biburl = {https://dblp.org/rec/conf/sat/GomesHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GomesHSS07,
author = {Carla P. Gomes and
J{\"{o}}rg Hoffmann and
Ashish Sabharwal and
Bart Selman},
editor = {Ruzica Piskac and
Frank van Harmelen and
Ning Zhong},
title = {Sampling and Soundness: Can We Have Both?},
booktitle = {Proceedings of the First International Workshop Workshop "New
forms of reasoning for the Semantic Web: scalable, tolerant and dynamic",
co-located with {ISWC} 2007 and {ASWC} 2007, Busan, Korea, November
11th, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {291},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-291/paper09.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:07 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GomesHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701184,
author = {J{\"{o}}rg Hoffmann and
Carla P. Gomes and
Bart Selman},
title = {Structure and Problem Hardness: Goal Asymmetry and {DPLL} Proofs in
SAT-Based Planning},
journal = {CoRR},
volume = {abs/cs/0701184},
year = {2007},
url = {http://arxiv.org/abs/cs/0701184},
eprinttype = {arXiv},
eprint = {cs/0701184},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0701184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiBFGM06,
author = {Carlos Ans{\'{o}}tegui and
Ram{\'{o}}n B{\'{e}}jar and
C{\`{e}}sar Fern{\'{a}}ndez and
Carla P. Gomes and
Carles Mateu},
title = {The Impact of Balancing on Problem Hardness in a Highly Structured
Domain},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {10--15},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-002.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AnsoteguiBFGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GomesSS06,
author = {Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
title = {Model Counting: {A} New Strategy for Obtaining Good Bounds},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {54--61},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-009.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GomesSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GomesHS06,
author = {Carla P. Gomes and
Willem Jan van Hoeve and
Bart Selman},
title = {Constraint Programming for Distributed Planning and Scheduling},
booktitle = {Distributed Plan and Schedule Management, Papers from the 2006 {AAAI}
Spring Symposium, Technical Report SS-06-04, Stanford, California,
USA, March 27-29, 2006},
pages = {157--158},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-04-024.php},
timestamp = {Sat, 18 Feb 2012 12:29:46 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/GomesHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HoffmannGS06,
author = {J{\"{o}}rg Hoffmann and
Carla P. Gomes and
Bart Selman},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {Structure and Problem Hardness: Goal Asymmetry and {DPLL} Proofs in
SAT-Based Planning},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {284--293},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-029.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/HoffmannGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GomesHL06,
author = {Carla P. Gomes and
Willem Jan van Hoeve and
Lucian Leahu},
editor = {J. Christopher Beck and
Barbara M. Smith},
title = {The Power of Semidefinite Programming Relaxations for {MAX-SAT}},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, Third International Conference,
{CPAIOR} 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3990},
pages = {104--118},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757375\_10},
doi = {10.1007/11757375\_10},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/GomesHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Gomes06,
author = {Carla P. Gomes},
title = {Adventures in Randomized Computational Methods},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
AI{\&}Math 2006, Fort Lauderdale, Florida, USA, January 4-6, 2006},
year = {2006},
url = {http://anytime.cs.umass.edu/aimath06/proceedings/K02.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Gomes06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/GomesSS06,
author = {Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
editor = {Bernhard Sch{\"{o}}lkopf and
John C. Platt and
Thomas Hofmann},
title = {Near-Uniform Sampling of Combinatorial Spaces Using {XOR} Constraints},
booktitle = {Advances in Neural Information Processing Systems 19, Proceedings
of the Twentieth Annual Conference on Neural Information Processing
Systems, Vancouver, British Columbia, Canada, December 4-7, 2006},
pages = {481--488},
publisher = {{MIT} Press},
year = {2006},
url = {https://proceedings.neurips.cc/paper/2006/hash/4110a1994471c595f7583ef1b74ba4cb-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/GomesSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SabharwalAGHS06,
author = {Ashish Sabharwal and
Carlos Ans{\'{o}}tegui and
Carla P. Gomes and
Justin W. Hart and
Bart Selman},
editor = {Armin Biere and
Carla P. Gomes},
title = {{QBF} Modeling: Exploiting Player Symmetry for Simplicity and Efficiency},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
pages = {382--395},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948\_35},
doi = {10.1007/11814948\_35},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/SabharwalAGHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2006,
editor = {Armin Biere and
Carla P. Gomes},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948},
doi = {10.1007/11814948},
isbn = {3-540-37206-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/GomesW06,
author = {Carla P. Gomes and
Toby Walsh},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Randomness and Structure},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {639--664},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80022-2},
doi = {10.1016/S1574-6526(06)80022-2},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/reference/fai/GomesW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BejarDFGKSV05,
author = {Ram{\'{o}}n B{\'{e}}jar and
Carmel Domshlak and
C{\`{e}}sar Fern{\'{a}}ndez and
Carla P. Gomes and
Bhaskar Krishnamachari and
Bart Selman and
Magda Valls},
title = {Sensor networks and distributed {CSP:} communication, computation
and complexity},
journal = {Artif. Intell.},
volume = {161},
number = {1-2},
pages = {117--147},
year = {2005},
url = {https://doi.org/10.1016/j.artint.2004.09.002},
doi = {10.1016/J.ARTINT.2004.09.002},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BejarDFGKSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GomesFSB05,
author = {Carla P. Gomes and
C{\`{e}}sar Fern{\'{a}}ndez and
Bart Selman and
Christian Bessi{\`{e}}re},
title = {Statistical Regimes Across Constrainedness Regions},
journal = {Constraints An Int. J.},
volume = {10},
number = {4},
pages = {317--337},
year = {2005},
url = {https://doi.org/10.1007/s10601-005-2807-z},
doi = {10.1007/S10601-005-2807-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/GomesFSB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiGS05,
author = {Carlos Ans{\'{o}}tegui and
Carla P. Gomes and
Bart Selman},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {The Achilles' Heel of {QBF}},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {275--281},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-044.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AnsoteguiGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeahuG05,
author = {Lucian Leahu and
Carla P. Gomes},
editor = {Peter van Beek},
title = {{LP} as a Global Search Heuristic Across Different Constrainedness
Regions},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {853},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_91},
doi = {10.1007/11564751\_91},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeahuG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SmithGF05,
author = {Casey Smith and
Carla P. Gomes and
C{\`{e}}sar Fern{\'{a}}ndez},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Streamlining Local Search for Spatially Balanced Latin Squares},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1539--1540},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/post-0460.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SmithGF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/GomesS04,
author = {Carla P. Gomes and
David B. Shmoys},
title = {Approximations and Randomization to Boost {CSP} Techniques},
journal = {Ann. Oper. Res.},
volume = {130},
number = {1-4},
pages = {117--141},
year = {2004},
url = {https://doi.org/10.1023/B:ANOR.0000032572.32788.da},
doi = {10.1023/B:ANOR.0000032572.32788.DA},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/GomesS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/orl/GomesRS04,
author = {Carla P. Gomes and
Rommel G. Regis and
David B. Shmoys},
title = {An improved approximation algorithm for the partial Latin square extension
problem},
journal = {Oper. Res. Lett.},
volume = {32},
number = {5},
pages = {479--484},
year = {2004},
url = {https://doi.org/10.1016/j.orl.2003.09.007},
doi = {10.1016/J.ORL.2003.09.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/orl/GomesRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GomesFSB04,
author = {Carla P. Gomes and
C{\`{e}}sar Fern{\'{a}}ndez and
Bart Selman and
Christian Bessiere},
editor = {Mark Wallace},
title = {Statistical Regimes Across Constrainedness Regions},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {32--46},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_6},
doi = {10.1007/978-3-540-30201-8\_6},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/GomesFSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GomesS04,
author = {Carla P. Gomes and
Meinolf Sellmann},
editor = {Mark Wallace},
title = {Streamlined Constraint Reasoning},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {274--289},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_22},
doi = {10.1007/978-3-540-30201-8\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GomesS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeahuG04,
author = {Lucian Leahu and
Carla P. Gomes},
editor = {Mark Wallace},
title = {Quality of LP-Based Approximations for Highly Combinatorial Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {377--392},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_29},
doi = {10.1007/978-3-540-30201-8\_29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeahuG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ReginG04,
author = {Jean{-}Charles R{\'{e}}gin and
Carla P. Gomes},
editor = {Mark Wallace},
title = {The Cardinality Matrix Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {572--587},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_42},
doi = {10.1007/978-3-540-30201-8\_42},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ReginG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GomesSEE04,
author = {Carla P. Gomes and
Meinolf Sellmann and
Cindy van Es and
Harold van Es},
editor = {Jean{-}Charles R{\'{e}}gin and
Michel Rueher},
title = {The Challenge of Generating Spatially Balanced Scientific Experiment
Designs},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, First International Conference,
{CPAIOR} 2004, Nice, France, April 20-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3011},
pages = {387--394},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24664-0\_28},
doi = {10.1007/978-3-540-24664-0\_28},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/GomesSEE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aepia/ManyaG03,
author = {Felip Many{\`{a}} and
Carla P. Gomes},
title = {T{\'{e}}cnicas de resoluci{\'{o}}n de problemas de satisfacci{\'{o}}n
de restricciones},
journal = {Inteligencia Artif.},
volume = {7},
number = {19},
pages = {169--180},
year = {2003},
url = {http://journal.iberamia.org/index.php/ia/article/view/362/article\%20\%281\%29.pdf},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aepia/ManyaG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WilliamsGS03,
author = {Ryan Williams and
Carla P. Gomes and
Bart Selman},
editor = {Georg Gottlob and
Toby Walsh},
title = {Backdoors To Typical Case Complexity},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1173--1178},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/168.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WilliamsGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BejarDFGSV03,
author = {Ram{\'{o}}n B{\'{e}}jar and
Carmel Domshlak and
C{\`{e}}sar Fern{\'{a}}ndez and
Carla P. Gomes and
Bart Selman and
Magda Valls},
editor = {Georg Gottlob and
Toby Walsh},
title = {Grid-based SensorDCSP},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1359--1361},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/198.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BejarDFGSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/GomesRS03,
author = {Carla P. Gomes and
Rommel G. Regis and
David B. Shmoys},
title = {An improved approximation algorithm for the partial latin square extension
problem},
booktitle = {Proceedings of the Fourteenth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, January 12-14, 2003, Baltimore, Maryland, {USA}},
pages = {832--833},
publisher = {{ACM/SIAM}},
year = {2003},
url = {http://dl.acm.org/citation.cfm?id=644108.644247},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soda/GomesRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BellCCGSTW02,
author = {Benjamin Bell and
Lola Ca{\~{n}}amero and
Silvia Coradeschi and
Carla P. Gomes and
Alessandro Saffiotti and
Costas Tsatsoulis and
Toby Walsh},
title = {{AAAI} 2002 Fall Symposium Series Reports},
journal = {{AI} Mag.},
volume = {23},
number = {2},
pages = {91--94},
year = {2002},
url = {https://doi.org/10.1609/aimag.v23i2.1644},
doi = {10.1609/AIMAG.V23I2.1644},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/BellCCGSTW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BlakeHHFSBMGPMKBSKPBdJDDRSGWGHIWAGL02,
author = {M. Brian Blake and
Karen Zita Haigh and
Henry Hexmoor and
Rino Falcone and
Leen{-}Kiat Soh and
Chitta Baral and
Sheila A. McIlraith and
Piotr J. Gmytrasiewicz and
Simon Parsons and
Rainer Malaka and
Antonio Kr{\"{u}}ger and
Paolo Bouquet and
Bill Smart and
Koichi Kurumantani and
Adam Pease and
Michael Brenner and
Marie desJardins and
Ulrich Junker and
James P. Delgrande and
Jon Doyle and
Francesca Rossi and
Torsten Schaub and
Carla P. Gomes and
Toby Walsh and
Haipeng Guo and
Eric Horvitz and
Nancy Ide and
Christopher A. Welty and
Frank D. Anger and
Hans W. Guesgen and
G{\'{e}}rard Ligozat},
title = {{AAAI} 2002 Workshops},
journal = {{AI} Mag.},
volume = {23},
number = {4},
pages = {113--121},
year = {2002},
url = {https://doi.org/10.1609/aimag.v23i4.1678},
doi = {10.1609/AIMAG.V23I4.1678},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/BlakeHHFSBMGPMKBSKPBdJDDRSGWGHIWAGL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzHRGS02,
author = {Henry A. Kautz and
Eric Horvitz and
Yongshao Ruan and
Carla P. Gomes and
Bart Selman},
editor = {Rina Dechter and
Michael J. Kearns and
Richard S. Sutton},
title = {Dynamic Restart Policies},
booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
and Fourteenth Conference on Innovative Applications of Artificial
Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
pages = {674--681},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002},
url = {http://www.aaai.org/Library/AAAI/2002/aaai02-101.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzHRGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FernandezBKG02,
author = {C{\`{e}}sar Fern{\'{a}}ndez and
Ram{\'{o}}n B{\'{e}}jar and
Bhaskar Krishnamachari and
Carla P. Gomes},
editor = {Pascal Van Hentenryck},
title = {Communication and Computation in Distributed {CSP} Algorithms},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {664--679},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_44},
doi = {10.1007/3-540-46135-3\_44},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/FernandezBKG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GomesS01,
author = {Carla P. Gomes and
Bart Selman},
title = {Algorithm portfolios},
journal = {Artif. Intell.},
volume = {126},
number = {1-2},
pages = {43--62},
year = {2001},
url = {https://doi.org/10.1016/S0004-3702(00)00081-3},
doi = {10.1016/S0004-3702(00)00081-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GomesS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/LesperanceWBBNWAFGJHGGHSKMDGMBM01,
author = {Yves Lesp{\'{e}}rance and
Gerd Wagner and
William P. Birmingham and
Kurt D. Bollacker and
Alexander Nareyek and
J. Paul Walser and
David W. Aha and
Timothy W. Finin and
Benjamin N. Grosof and
Nathalie Japkowicz and
Robert Holte and
Lise Getoor and
Carla P. Gomes and
Holger H. Hoos and
Alan C. Schultz and
Miroslav Kubat and
Tom M. Mitchell and
J{\"{o}}rg Denzinger and
Yolanda Gil and
Karen L. Myers and
Claudio Bettini and
Angelo Montanari},
title = {{AAAI} 2000 Workshop Reports},
journal = {{AI} Mag.},
volume = {22},
number = {1},
pages = {127--136},
year = {2001},
url = {https://doi.org/10.1609/aimag.v22i1.1552},
doi = {10.1609/AIMAG.V22I1.1552},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/LesperanceWBBNWAFGJHGGHSKMDGMBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KautzRAGSS01,
author = {Henry A. Kautz and
Yongshao Ruan and
Dimitris Achlioptas and
Carla P. Gomes and
Bart Selman and
Mark E. Stickel},
title = {Balance and Filtering in Structured Satisfiable Problems (Preliminary
Report)},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {2--18},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00310-5},
doi = {10.1016/S1571-0653(04)00310-5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/KautzRAGSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/HorvitzRGKSC01,
author = {Eric Horvitz and
Yongshao Ruan and
Carla P. Gomes and
Henry A. Kautz and
Bart Selman and
David Maxwell Chickering},
title = {A Bayesian Approach to Tackling Hard Computational Problems (Preliminary
Report)},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {376--391},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00335-X},
doi = {10.1016/S1571-0653(04)00335-X},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/HorvitzRGKSC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/BejarCFMG01,
author = {Ram{\'{o}}n B{\'{e}}jar and
Alba Cabiscol and
C{\`{e}}sar Fern{\'{a}}ndez and
Felip Many{\`{a}} and
Carla P. Gomes},
title = {Extending the Reach of {SAT} with Many-Valued Logics},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {392--407},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00336-1},
doi = {10.1016/S1571-0653(04)00336-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/BejarCFMG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/Gomes01,
author = {Carla P. Gomes},
title = {On the intersection of {AI} and {OR}},
journal = {Knowl. Eng. Rev.},
volume = {16},
number = {1},
pages = {1--4},
year = {2001},
url = {https://doi.org/10.1017/S0269888901000066},
doi = {10.1017/S0269888901000066},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/Gomes01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BejarCFMG01,
author = {Ram{\'{o}}n B{\'{e}}jar and
Alba Cabiscol and
C{\`{e}}sar Fern{\'{a}}ndez and
Felip Many{\`{a}} and
Carla P. Gomes},
editor = {Toby Walsh},
title = {Capturing Structure with Satisfiability},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {137--152},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_10},
doi = {10.1007/3-540-45578-7\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BejarCFMG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChenGS01,
author = {Hubie Chen and
Carla P. Gomes and
Bart Selman},
editor = {Toby Walsh},
title = {Formal Models of Heavy-Tailed Behavior in Combinatorial Search},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {408--421},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_28},
doi = {10.1007/3-540-45578-7\_28},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChenGS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KautzRAGSS01,
author = {Henry A. Kautz and
Yongshao Ruan and
Dimitris Achlioptas and
Carla P. Gomes and
Bart Selman and
Mark E. Stickel},
editor = {Bernhard Nebel},
title = {Balance and Filtering in Structured Satisfiable Problems},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {351--358},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KautzRAGSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HorvitzRGKSC01,
author = {Eric Horvitz and
Yongshao Ruan and
Carla P. Gomes and
Henry A. Kautz and
Bart Selman and
David Maxwell Chickering},
editor = {Jack S. Breese and
Daphne Koller},
title = {A Bayesian Approach to Tackling Hard Computational Problems},
booktitle = {{UAI} '01: Proceedings of the 17th Conference in Uncertainty in Artificial
Intelligence, University of Washington, Seattle, Washington, USA,
August 2-5, 2001},
pages = {235--244},
publisher = {Morgan Kaufmann},
year = {2001},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=105\&\#38;proceeding\_id=17},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/HorvitzRGKSC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/GomesS00,
author = {Carla P. Gomes and
Bart Selman},
title = {Hybrid Search Strategies for Heterogeneous Search Spaces},
journal = {Int. J. Artif. Intell. Tools},
volume = {9},
number = {1},
pages = {45--57},
year = {2000},
url = {https://doi.org/10.1142/S0218213000000057},
doi = {10.1142/S0218213000000057},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/GomesS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GomesSCK00,
author = {Carla P. Gomes and
Bart Selman and
Nuno Crato and
Henry A. Kautz},
title = {Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction
Problems},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {67--100},
year = {2000},
url = {https://doi.org/10.1023/A:1006314320276},
doi = {10.1023/A:1006314320276},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GomesSCK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AchlioptasGKS00,
author = {Dimitris Achlioptas and
Carla P. Gomes and
Henry A. Kautz and
Bart Selman},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Generating Satisfiable Problem Instances},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {256--261},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-039.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AchlioptasGKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Gomes00,
author = {Carla P. Gomes},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Structure, Duality, and Randomization: Common Themes in {AI} and {OR}},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {1152--1158},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-210.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Gomes00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GomesS99,
author = {Carla P. Gomes and
Bart Selman},
title = {On the Fine Structure of Large Search Spaces},
booktitle = {11th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} '99, Chicago, Illinois, USA, November 8-10, 1999},
pages = {197--201},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/TAI.1999.809786},
doi = {10.1109/TAI.1999.809786},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GomesS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GomesS99a,
author = {Carla P. Gomes and
Bart Selman},
title = {Search Strategies for Hybrid Search Spaces},
booktitle = {11th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} '99, Chicago, Illinois, USA, November 8-10, 1999},
pages = {359--364},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/TAI.1999.809823},
doi = {10.1109/TAI.1999.809823},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GomesS99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GomesSK98,
author = {Carla P. Gomes and
Bart Selman and
Henry A. Kautz},
editor = {Jack Mostow and
Chuck Rich},
title = {Boosting Combinatorial Search Through Randomization},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {431--437},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-061.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GomesSK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GomesSMT98,
author = {Carla P. Gomes and
Bart Selman and
Ken McAloon and
Carol Tretkoff},
editor = {Reid G. Simmons and
Manuela M. Veloso and
Stephen F. Smith},
title = {Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles
for Solving Hard Scheduling Problems},
booktitle = {Proceedings of the Fourth International Conference on Artificial Intelligence
Planning Systems, Pittsburgh, Pennsylvania, USA, 1998},
pages = {208--213},
publisher = {{AAAI}},
year = {1998},
url = {http://www.aaai.org/Library/AIPS/1998/aips98-025.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/GomesSMT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GomesS97,
author = {Carla P. Gomes and
Bart Selman},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {Problem Structure in the Presence of Perturbations},
booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
and Ninth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
{USA}},
pages = {221--226},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-035.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GomesS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GomesSC97,
author = {Carla P. Gomes and
Bart Selman and
Nuno Crato},
editor = {Gert Smolka},
title = {Heavy-Tailed Distributions in Combinatorial Search},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
pages = {121--135},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017434},
doi = {10.1007/BFB0017434},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GomesSC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GomesSW97,
author = {Carla P. Gomes and
Douglas R. Smith and
Stephen J. Westfold},
title = {A Transformational Approach Applied to Outage Management of Nuclear
Power Plants},
booktitle = {30th Annual Hawaii International Conference on System Sciences (HICSS-30),
7-10 January 1997, Maui, Hawaii, {USA}},
pages = {658--667},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HICSS.1997.663229},
doi = {10.1109/HICSS.1997.663229},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/GomesSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/GomesS97,
author = {Carla P. Gomes and
Bart Selman},
editor = {Dan Geiger and
Prakash P. Shenoy},
title = {Algorithm Portfolio Design: Theory vs. Practice},
booktitle = {{UAI} '97: Proceedings of the Thirteenth Conference on Uncertainty
in Artificial Intelligence, Brown University, Providence, Rhode Island,
USA, August 1-3, 1997},
pages = {190--197},
publisher = {Morgan Kaufmann},
year = {1997},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=311\&\#38;proceeding\_id=13},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/GomesS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/GomesH96,
author = {Carla P. Gomes and
Julie Hsu},
title = {{ABA:} An Assignment Based Algorithm for Resource Allocation},
journal = {{SIGART} Bull.},
volume = {7},
number = {1},
pages = {2--8},
year = {1996},
url = {https://doi.org/10.1145/230062.230063},
doi = {10.1145/230062.230063},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/GomesH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GomesSW96,
author = {Carla P. Gomes and
Douglas R. Smith and
Stephen J. Westfold},
title = {Synthesis of schedulers for planned shutdowns of power plants},
booktitle = {Proceedings of the 11th Knowledge-Based Software Engineering Conference,
{KBSE} 1996, Syracuse, NY, USA, September 25-28, 1996},
pages = {12--20},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/KBSE.1996.552819},
doi = {10.1109/KBSE.1996.552819},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GomesSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GomesTT94,
author = {Carla P. Gomes and
Austin Tate and
Lyn C. Thomas},
title = {A Distributed Scheduling Framework},
booktitle = {Sixth International Conference on Tools with Artificial Intelligence,
{ICTAI} '94, New Orleans, Louisiana, USA, November 6-9, 1994},
pages = {49--55},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/TAI.1994.346514},
doi = {10.1109/TAI.1994.346514},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GomesTT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-11 20:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
