Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bart Selman
@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}
}
@article{DBLP:journals/corr/abs-2301-11857,
author = {Niko A. Grupen and
Michael Hanlon and
Alexis Hao and
Daniel D. Lee and
Bart Selman},
title = {Policy-Value Alignment and Robustness in Search-based Multi-Agent
Learning},
journal = {CoRR},
volume = {abs/2301.11857},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11857},
doi = {10.48550/ARXIV.2301.11857},
eprinttype = {arXiv},
eprint = {2301.11857},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11857.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scirobotics/BarreirosXPITCH22,
author = {Jose A. Barreiros and
Artemis Xu and
Sofya Pugach and
Narahari Iyengar and
Graeme Troxell and
Alexander Cornwell and
Samantha Hong and
Bart Selman and
Robert F. Shepherd},
title = {Haptic perception using optoelectronic robotic flesh for embodied
artificially intelligent agents},
journal = {Sci. Robotics},
volume = {7},
number = {67},
year = {2022},
url = {https://doi.org/10.1126/scirobotics.abi6745},
doi = {10.1126/SCIROBOTICS.ABI6745},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scirobotics/BarreirosXPITCH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GrupenSL22,
author = {Niko A. Grupen and
Bart Selman and
Daniel D. Lee},
title = {Cooperative Multi-Agent Fairness and Equivariant Policies},
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 = {9350--9359},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21166},
doi = {10.1609/AAAI.V36I9.21166},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GrupenSL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GrupenLS22,
author = {Niko A. Grupen and
Daniel D. Lee and
Bart Selman},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Multi-Agent Curricula and Emergent Implicit Signaling},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {553--561},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p553.pdf},
doi = {10.5555/3535850.3535913},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/GrupenLS22.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-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-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/aim/SellmannS21,
author = {Meinolf Sellmann and
Bart Selman},
title = {Zeitenwende - Turn of Eras},
journal = {{AI} Mag.},
volume = {42},
number = {1},
pages = {3--5},
year = {2021},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/7480},
doi = {10.1002/J.2371-9621.2021.TB00004.X},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/SellmannS21.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}
}
@incollection{DBLP:series/faia/KautzSS21,
author = {Henry A. Kautz and
Ashish Sabharwal and
Bart Selman},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Incomplete Algorithms},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {213--232},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200989},
doi = {10.3233/FAIA200989},
timestamp = {Fri, 06 May 2022 08:03:54 +0200},
biburl = {https://dblp.org/rec/series/faia/KautzSS21.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-2106-05727,
author = {Niko A. Grupen and
Bart Selman and
Daniel D. Lee},
title = {Fairness for Cooperative Multi-Agent Learning with Equivariant Policies},
journal = {CoRR},
volume = {abs/2106.05727},
year = {2021},
url = {https://arxiv.org/abs/2106.05727},
eprinttype = {arXiv},
eprint = {2106.05727},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-05727.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-11156,
author = {Niko A. Grupen and
Daniel D. Lee and
Bart Selman},
title = {Curriculum-Driven Multi-Agent Learning and the Role of Implicit Communication
in Teamwork},
journal = {CoRR},
volume = {abs/2106.11156},
year = {2021},
url = {https://arxiv.org/abs/2106.11156},
eprinttype = {arXiv},
eprint = {2106.11156},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11156.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00127,
author = {Xiaodong Xin and
Kun He and
Jialu Bao and
Bart Selman and
John E. Hopcroft},
title = {Structure Amplification on Multi-layer Stochastic Block Models},
journal = {CoRR},
volume = {abs/2108.00127},
year = {2021},
url = {https://arxiv.org/abs/2108.00127},
eprinttype = {arXiv},
eprint = {2108.00127},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00127.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}
}
@inproceedings{DBLP:conf/icaart/Selman20,
author = {Bart Selman},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {A 20-Year Roadmap for {AI} Research},
booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
Intelligence, {ICAART} 2020, Volume 1, Valletta, Malta, February 22-24,
2020},
pages = {9},
publisher = {{SCITEPRESS}},
year = {2020},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Selman20.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/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}
}
@inproceedings{DBLP:conf/tamc/Bao0XSH20,
author = {Jialu Bao and
Kun He and
Xiaodong Xin and
Bart Selman and
John E. Hopcroft},
editor = {Jianer Chen and
Qilong Feng and
Jinhui Xu},
title = {Hidden Community Detection on Two-Layer Stochastic Models: {A} Theoretical
Perspective},
booktitle = {Theory and Applications of Models of Computation, 16th International
Conference, {TAMC} 2020, Changsha, China, October 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12337},
pages = {365--376},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59267-7\_31},
doi = {10.1007/978-3-030-59267-7\_31},
timestamp = {Mon, 09 Nov 2020 10:35:17 +0100},
biburl = {https://dblp.org/rec/conf/tamc/Bao0XSH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-05919,
author = {Jialu Bao and
Kun He and
Xiaodong Xin and
Bart Selman and
John E. Hopcroft},
title = {Hidden Community Detection on Two-layer Stochastic Models: a Theoretical
Prospective},
journal = {CoRR},
volume = {abs/2001.05919},
year = {2020},
url = {https://arxiv.org/abs/2001.05919},
eprinttype = {arXiv},
eprint = {2001.05919},
timestamp = {Mon, 27 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-05919.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-2011-14890,
author = {Niko A. Grupen and
Daniel D. Lee and
Bart Selman},
title = {Low-Bandwidth Communication Emerges Naturally in Multi-Agent Learning
Systems},
journal = {CoRR},
volume = {abs/2011.14890},
year = {2020},
url = {https://arxiv.org/abs/2011.14890},
eprinttype = {arXiv},
eprint = {2011.14890},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14890.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}
}
@article{DBLP:journals/corr/abs-1908-02624,
author = {Yolanda Gil and
Bart Selman},
title = {A 20-Year Community Roadmap for Artificial Intelligence Research in
the {US}},
journal = {CoRR},
volume = {abs/1908.02624},
year = {2019},
url = {http://arxiv.org/abs/1908.02624},
eprinttype = {arXiv},
eprint = {1908.02624},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/WuZSSSS18,
author = {Chenxia Wu and
Jiemi Zhang and
Ozan Sener and
Bart Selman and
Silvio Savarese and
Ashutosh Saxena},
title = {Watch-n-Patch: Unsupervised Learning of Actions and Relations},
journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
volume = {40},
number = {2},
pages = {467--481},
year = {2018},
url = {https://doi.org/10.1109/TPAMI.2017.2679054},
doi = {10.1109/TPAMI.2017.2679054},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pami/WuZSSSS18.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-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}
}
@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 16:16:54 +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}
}
@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/icra/WuZSSS16,
author = {Chenxia Wu and
Jiemi Zhang and
Bart Selman and
Silvio Savarese and
Ashutosh Saxena},
editor = {Danica Kragic and
Antonio Bicchi and
Alessandro De Luca},
title = {Watch-Bot: Unsupervised learning for reminding humans of forgotten
actions},
booktitle = {2016 {IEEE} International Conference on Robotics and Automation, {ICRA}
2016, Stockholm, Sweden, May 16-21, 2016},
pages = {2479--2486},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICRA.2016.7487401},
doi = {10.1109/ICRA.2016.7487401},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/WuZSSS16.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}
}
@incollection{DBLP:books/sp/16/LovelandSS16,
author = {Donald W. Loveland and
Ashish Sabharwal and
Bart Selman},
editor = {Eugenio G. Omodeo and
Alberto Policriti},
title = {{DPLL:} The Core of Modern Satisfiability Solvers},
booktitle = {Martin Davis on Computability, Computational Logic, and Mathematical
Foundations},
series = {Outstanding Contributions to Logic},
volume = {10},
pages = {315--335},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41842-1\_12},
doi = {10.1007/978-3-319-41842-1\_12},
timestamp = {Fri, 28 Dec 2018 18:08:32 +0100},
biburl = {https://dblp.org/rec/books/sp/16/LovelandSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WuZSSSS16,
author = {Chenxia Wu and
Jiemi Zhang and
Ozan Sener and
Bart Selman and
Silvio Savarese and
Ashutosh Saxena},
title = {Watch-n-Patch: Unsupervised Learning of Actions and Relations},
journal = {CoRR},
volume = {abs/1603.03541},
year = {2016},
url = {http://arxiv.org/abs/1603.03541},
eprinttype = {arXiv},
eprint = {1603.03541},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WuZSSSS16.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}
}
@article{DBLP:journals/aim/RussellDHSRHLSG15,
author = {Stuart Russell and
Tom Dietterich and
Eric Horvitz and
Bart Selman and
Francesca Rossi and
Demis Hassabis and
Shane Legg and
Mustafa Suleyman and
Dileep George and
D. Scott Phoenix},
title = {Letter to the Editor: Research Priorities for Robust and Beneficial
Artificial Intelligence: An Open Letter},
journal = {{AI} Mag.},
volume = {36},
number = {4},
pages = {3--4},
year = {2015},
url = {https://doi.org/10.1609/aimag.v36i4.2621},
doi = {10.1609/AIMAG.V36I4.2621},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/RussellDHSRHLSG15.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/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/corr/WuZSSS15,
author = {Chenxia Wu and
Jiemi Zhang and
Bart Selman and
Silvio Savarese and
Ashutosh Saxena},
title = {Watch-Bot: Unsupervised Learning for Reminding Humans of Forgotten
Actions},
journal = {CoRR},
volume = {abs/1512.04208},
year = {2015},
url = {http://arxiv.org/abs/1512.04208},
eprinttype = {arXiv},
eprint = {1512.04208},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WuZSSS15.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/iros/SungSS14,
author = {Jaeyong Sung and
Bart Selman and
Ashutosh Saxena},
title = {Synthesizing manipulation sequences for under-specified tasks using
unrolled Markov Random Fields},
booktitle = {2014 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2014, Chicago, IL, USA, September 14-18, 2014},
pages = {2970--2977},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IROS.2014.6942972},
doi = {10.1109/IROS.2014.6942972},
timestamp = {Tue, 05 Sep 2023 15:07:47 +0200},
biburl = {https://dblp.org/rec/conf/iros/SungSS14.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/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/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}
}
@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/SungSS13,
author = {Jaeyong Sung and
Bart Selman and
Ashutosh Saxena},
title = {Learning Sequences of Controllers for Complex Manipulation Tasks},
journal = {CoRR},
volume = {abs/1306.5707},
year = {2013},
url = {http://arxiv.org/abs/1306.5707},
eprinttype = {arXiv},
eprint = {1306.5707},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SungSS13.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/icra/SungPSS12,
author = {Jaeyong Sung and
Colin Ponce and
Bart Selman and
Ashutosh Saxena},
title = {Unstructured human activity detection from {RGBD} images},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
pages = {842--849},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICRA.2012.6224591},
doi = {10.1109/ICRA.2012.6224591},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/SungPSS12.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}
}
@proceedings{DBLP:conf/aaai/2012,
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
publisher = {{AAAI} Press},
year = {2012},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/307},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2012.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-4011,
author = {Raghuram Ramanujan and
Ashish Sabharwal and
Bart Selman},
title = {Understanding Sampling Style Adversarial Search Methods},
journal = {CoRR},
volume = {abs/1203.4011},
year = {2012},
url = {http://arxiv.org/abs/1203.4011},
eprinttype = {arXiv},
eprint = {1203.4011},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-4011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-5273,
author = {Lukas Kroc and
Ashish Sabharwal and
Bart Selman},
title = {Survey Propagation Revisited},
journal = {CoRR},
volume = {abs/1206.5273},
year = {2012},
url = {http://arxiv.org/abs/1206.5273},
eprinttype = {arXiv},
eprint = {1206.5273},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-5273.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/ai/SabharwalS11,
author = {Ashish Sabharwal and
Bart Selman},
title = {S. Russell, P. Norvig, Artificial Intelligence: {A} Modern Approach,
Third Edition},
journal = {Artif. Intell.},
volume = {175},
number = {5-6},
pages = {935--937},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2011.01.005},
doi = {10.1016/J.ARTINT.2011.01.005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SabharwalS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/KrocSS11,
author = {Lukas Kroc and
Ashish Sabharwal and
Bart Selman},
title = {Leveraging belief propagation, backtrack search, and statistics for
model counting},
journal = {Ann. Oper. Res.},
volume = {184},
number = {1},
pages = {209--231},
year = {2011},
url = {https://doi.org/10.1007/s10479-009-0680-7},
doi = {10.1007/S10479-009-0680-7},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/KrocSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SungPSS11,
author = {Jaeyong Sung and
Colin Ponce and
Bart Selman and
Ashutosh Saxena},
title = {Human Activity Detection from {RGBD} Images},
booktitle = {Plan, Activity, and Intent Recognition, Papers from the 2011 {AAAI}
Workshop, San Francisco, California, USA, August 07, 2011},
series = {{AAAI} Technical Report},
volume = {{WS-11-16}},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/4000},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SungPSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PrevitiRSS11,
author = {Alessandro Previti and
Raghuram Ramanujan and
Marco Schaerf and
Bart Selman},
editor = {Roberto Pirrone and
Filippo Sorbello},
title = {Monte-Carlo Style {UCT} Search for Boolean Satisfiability},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth
International Conference of the Italian Association for Artificial
Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6934},
pages = {177--188},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23954-0\_18},
doi = {10.1007/978-3-642-23954-0\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/PrevitiRSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/RamanujanS11,
author = {Raghuram Ramanujan and
Bart Selman},
editor = {Fahiem Bacchus and
Carmel Domshlak and
Stefan Edelkamp and
Malte Helmert},
title = {Trade-Offs in Sampling-Based Adversarial Planning},
booktitle = {Proceedings of the 21st International Conference on Automated Planning
and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2708},
timestamp = {Tue, 28 Jun 2011 14:20:04 +0200},
biburl = {https://dblp.org/rec/conf/aips/RamanujanS11.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/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/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/sat/PrevitiRSS11,
author = {Alessandro Previti and
Raghuram Ramanujan and
Marco Schaerf and
Bart Selman},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {Applying {UCT} to Boolean Satisfiability},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6695},
pages = {373--374},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_35},
doi = {10.1007/978-3-642-21581-0\_35},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/PrevitiRSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0169,
author = {Jaeyong Sung and
Colin Ponce and
Bart Selman and
Ashutosh Saxena},
title = {Human Activity Detection from {RGBD} Images},
journal = {CoRR},
volume = {abs/1107.0169},
year = {2011},
url = {http://arxiv.org/abs/1107.0169},
eprinttype = {arXiv},
eprint = {1107.0169},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BattitiSS10,
author = {Roberto Battiti and
Bart Selman and
Thomas St{\"{u}}tzle},
title = {Special issue on learning and intelligent optimization},
journal = {Ann. Math. Artif. Intell.},
volume = {60},
number = {1-2},
pages = {1--2},
year = {2010},
url = {https://doi.org/10.1007/s10472-011-9232-3},
doi = {10.1007/S10472-011-9232-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BattitiSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KrocSS10,
author = {Lukas Kroc and
Ashish Sabharwal and
Bart Selman},
title = {Approximate Inference for Clusters in Solution Spaces},
booktitle = {Abstraction, Reformulation, and Approximation, Papers from the 2010
{AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
series = {{AAAI} Technical Report},
volume = {{WS-10-08}},
publisher = {{AAAI}},
year = {2010},
url = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2066},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KrocSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/RamanujanSS10,
author = {Raghuram Ramanujan and
Ashish Sabharwal and
Bart Selman},
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {On Adversarial Search Spaces and Sampling-Based Planning},
booktitle = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
pages = {242--245},
publisher = {{AAAI}},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1458},
timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
biburl = {https://dblp.org/rec/conf/aips/RamanujanSS10.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/sat/KrocSS10,
author = {Lukas Kroc and
Ashish Sabharwal and
Bart Selman},
editor = {Ofer Strichman and
Stefan Szeider},
title = {An Empirical Study of Optimal Noise and Runtime Distributions in Local
Search},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6175},
pages = {346--351},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_31},
doi = {10.1007/978-3-642-14186-7\_31},
timestamp = {Sat, 19 Oct 2019 20:28:15 +0200},
biburl = {https://dblp.org/rec/conf/sat/KrocSS10.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/RamanujanSS10,
author = {Raghuram Ramanujan and
Ashish Sabharwal and
Bart Selman},
editor = {Peter Gr{\"{u}}nwald and
Peter Spirtes},
title = {Understanding Sampling Style Adversarial Search Methods},
booktitle = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty
in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010},
pages = {474--483},
publisher = {{AUAI} Press},
year = {2010},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2160\&\#38;proceeding\_id=26},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/RamanujanSS10.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/sac/KrocSS09,
author = {Lukas Kroc and
Ashish Sabharwal and
Bart Selman},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Message-passing and local heuristics as decimation strategies for
satisfiability},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1408--1414},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529596},
doi = {10.1145/1529282.1529596},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/KrocSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KrocSS09,
author = {Lukas Kroc and
Ashish Sabharwal and
Bart Selman},
editor = {Oliver Kullmann},
title = {Relaxed {DPLL} Search for MaxSAT},
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 = {447--452},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_41},
doi = {10.1007/978-3-642-02777-2\_41},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/KrocSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/KautzSS09,
author = {Henry A. Kautz and
Ashish Sabharwal and
Bart Selman},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Incomplete Algorithms},
booktitle = {Handbook of Satisfiability},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
pages = {185--203},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-58603-929-5-185},
doi = {10.3233/978-1-58603-929-5-185},
timestamp = {Fri, 06 May 2022 08:00:40 +0200},
biburl = {https://dblp.org/rec/series/faia/KautzSS09.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/KrocSS08,
author = {Lukas Kroc and
Ashish Sabharwal and
Bart Selman},
editor = {Laurent Perron and
Michael A. Trick},
title = {Leveraging Belief Propagation, Backtrack Search, and Statistics for
Model Counting},
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 = {127--141},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_12},
doi = {10.1007/978-3-540-68155-7\_12},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/KrocSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/KrocSS08,
author = {Lukas Kroc and
Bart Selman and
Ashish Sabharwal},
title = {Leveraging Belief Propagation, Backtrack Search, and Statistics for
Model Counting},
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\_0052\_3da5c1fd0ca49eef3e503ba9723e3c3b.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/KrocSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/KrocSS08,
author = {Lukas Kroc and
Ashish Sabharwal and
Bart Selman},
editor = {Daphne Koller and
Dale Schuurmans and
Yoshua Bengio and
L{\'{e}}on Bottou},
title = {Counting Solution Clusters in Graph Coloring Problems Using Belief
Propagation},
booktitle = {Advances in Neural Information Processing Systems 21, Proceedings
of the Twenty-Second Annual Conference on Neural Information Processing
Systems, Vancouver, British Columbia, Canada, December 8-11, 2008},
pages = {873--880},
publisher = {Curran Associates, Inc.},
year = {2008},
url = {https://proceedings.neurips.cc/paper/2008/hash/0dbb3fb9a5cd1d5f8a9075b5bb8070aa-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/KrocSS08.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/KautzS07,
author = {Henry A. Kautz and
Bart Selman},
title = {The state of {SAT}},
journal = {Discret. Appl. Math.},
volume = {155},
number = {12},
pages = {1514--1524},
year = {2007},
url = {https://doi.org/10.1016/j.dam.2006.10.004},
doi = {10.1016/J.DAM.2006.10.004},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/KautzS07.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}
}
@article{DBLP:journals/sigecom/VetsikasS07,
author = {Ioannis A. Vetsikas and
Bart Selman},
title = {Bayes-Nash equilibria for \emph{m}th price auctions with multiple
closing times},
journal = {SIGecom Exch.},
volume = {6},
number = {2},
pages = {27--36},
year = {2007},
url = {https://doi.org/10.1145/1228621.1228624},
doi = {10.1145/1228621.1228624},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigecom/VetsikasS07.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/ictai/GuoS07,
author = {Yunsong Guo and
Bart Selman},
title = {ExOpaque: {A} Framework to Explain Opaque Machine Learning Models
Using Inductive Logic Programming},
booktitle = {19th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 2},
pages = {226--229},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICTAI.2007.140},
doi = {10.1109/ICTAI.2007.140},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GuoS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VetsikasJS07,
author = {Ioannis A. Vetsikas and
Nicholas R. Jennings and
Bart Selman},
editor = {Manuela M. Veloso},
title = {Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1543--1550},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/249.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/VetsikasJS07.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 01:00:00 +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}
}
@inproceedings{DBLP:conf/uai/KrocSS07,
author = {Lukas Kroc and
Ashish Sabharwal and
Bart Selman},
editor = {Ronald Parr and
Linda C. van der Gaag},
title = {Survey Propagation Revisited},
booktitle = {{UAI} 2007, Proceedings of the Twenty-Third Conference on Uncertainty
in Artificial Intelligence, Vancouver, BC, Canada, July 19-22, 2007},
pages = {217--226},
publisher = {{AUAI} Press},
year = {2007},
url = {https://dl.acm.org/doi/10.5555/3020488.3020515},
doi = {10.5555/3020488.3020515},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uai/KrocSS07.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/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 09:10:47 +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/ilp/Selman06,
author = {Bart Selman},
editor = {Stephen H. Muggleton and
Ram{\'{o}}n P. Otero and
Alireza Tamaddoni{-}Nezhad},
title = {Integration of Learning and Reasoning Techniques},
booktitle = {Inductive Logic Programming, 16th International Conference, {ILP}
2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4455},
pages = {25},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-73847-3\_4},
doi = {10.1007/978-3-540-73847-3\_4},
timestamp = {Sat, 30 Apr 2022 12:43:31 +0200},
biburl = {https://dblp.org/rec/conf/ilp/Selman06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/InterianCSW06,
author = {Yannet Interian and
Gabriel Corvera and
Bart Selman and
Ryan Williams},
title = {Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs},
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/P51.pdf},
timestamp = {Tue, 08 Feb 2022 09:27:30 +0100},
biburl = {https://dblp.org/rec/conf/isaim/InterianCSW06.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}
}
@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}
}
@article{DBLP:journals/jar/BoufkhadDIS05,
author = {Yacine Boufkhad and
Olivier Dubois and
Yannet Interian and
Bart Selman},
title = {Regular Random \emph{k}-SAT: Properties of Balanced Formulas},
journal = {J. Autom. Reason.},
volume = {35},
number = {1-3},
pages = {181--200},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9012-z},
doi = {10.1007/S10817-005-9012-Z},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BoufkhadDIS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMicec/VetsikasS05,
author = {Ioannis A. Vetsikas and
Bart Selman},
editor = {Qi Li and
Ting{-}Peng Liang},
title = {Autonomous trading agent design in the presence of tradeoffs},
booktitle = {Proceedings of the 7th International Conference on Electronic Commerce,
{ICEC} 2005, Xi'an, China, August 15-17, 2005},
series = {{ACM} International Conference Proceeding Series},
volume = {113},
pages = {293--299},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1089551.1089607},
doi = {10.1145/1089551.1089607},
timestamp = {Tue, 06 Apr 2021 12:12:56 +0200},
biburl = {https://dblp.org/rec/conf/ACMicec/VetsikasS05.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/sat/WeiS05,
author = {Wei Wei and
Bart Selman},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {A New Approach to Model Counting},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {324--339},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_24},
doi = {10.1007/11499107\_24},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/WeiS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WeiES04,
author = {Wei Wei and
Jordan Erenrich and
Bart Selman},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {Towards Efficient Sampling: Exploiting Random Walk Strategies},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {670--676},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-106.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WeiES04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/VetsikasS04,
author = {Ioannis A. Vetsikas and
Bart Selman},
title = {A Methodology and Equilibria for the Design Tradeoffs of Autonomous
Trading Agents},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {1286--1287},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10245},
doi = {10.1109/AAMAS.2004.10245},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/VetsikasS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Selman04,
author = {Bart Selman},
editor = {Mark Wallace},
title = {Algorithmic Adventures at the Interface of Computer Science, Statistical
Physics, and Combinatorics},
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 = {9--12},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_3},
doi = {10.1007/978-3-540-30201-8\_3},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/Selman04.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, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GomesFSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JiaMS04,
author = {Haixia Jia and
Cristopher Moore and
Bart Selman},
title = {From Spin Glasses to Hard Satisfiable Formulas},
booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
Online Proceedings},
year = {2004},
url = {http://www.satisfiability.org/SAT04/programme/12.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/JiaMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JiaMS04a,
author = {Haixia Jia and
Cristopher Moore and
Bart Selman},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {From Spin Glasses to Hard Satisfiable Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {199--210},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_16},
doi = {10.1007/11527695\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/JiaMS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/VetsikasS03,
author = {Ioannis A. Vetsikas and
Bart Selman},
title = {A principled study of the design tradeoffs for autonomous trading
agents},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {473--480},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860651},
doi = {10.1145/860575.860651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/VetsikasS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KautzS03,
author = {Henry A. Kautz and
Bart Selman},
editor = {Francesca Rossi},
title = {Ten Challenges Redux: Recent Progress in Propositional Reasoning and
Search},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {1--18},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_1},
doi = {10.1007/978-3-540-45193-8\_1},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/KautzS03.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/ijcai/ErenrichS03,
author = {Jordan Erenrich and
Bart Selman},
editor = {Georg Gottlob and
Toby Walsh},
title = {Sampling Combinatorial Spaces Using Biased Random Walks},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1376--1380},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/206.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ErenrichS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/HopcroftKKS03,
author = {John E. Hopcroft and
Omar Khan and
Brian Kulis and
Bart Selman},
editor = {Lise Getoor and
Ted E. Senator and
Pedro M. Domingos and
Christos Faloutsos},
title = {Natural communities in large linked networks},
booktitle = {Proceedings of the Ninth {ACM} {SIGKDD} International Conference on
Knowledge Discovery and Data Mining, Washington, DC, USA, August 24
- 27, 2003},
pages = {541--546},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/956750.956816},
doi = {10.1145/956750.956816},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/HopcroftKKS03.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/WeiS02,
author = {Wei Wei and
Bart Selman},
editor = {Pascal Van Hentenryck},
title = {Accelerating Random Walks},
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 = {216--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_15},
doi = {10.1007/3-540-46135-3\_15},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/WeiS02.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/endm/KautzS01,
author = {Henry A. Kautz and
Bart Selman},
title = {Preface: Volume 9},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {1},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00309-9},
doi = {10.1016/S1571-0653(04)00309-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/KautzS01.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/tcs/DuboisMSZ01,
author = {Olivier Dubois and
R{\'{e}}mi Monasson and
Bart Selman and
Riccardo Zecchina},
title = {Editorial},
journal = {Theor. Comput. Sci.},
volume = {265},
number = {1-2},
pages = {1},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(01)00133-5},
doi = {10.1016/S0304-3975(01)00133-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DuboisMSZ01.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 = {Tue, 14 May 2019 10:00:45 +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/aim/LongKSBGKBHRAWSF00,
author = {Derek Long and
Henry A. Kautz and
Bart Selman and
Blai Bonet and
Hector Geffner and
Jana Koehler and
Michael Brenner and
J{\"{o}}rg Hoffmann and
Frank Rittinger and
Corin R. Anderson and
Daniel S. Weld and
David E. Smith and
Maria Fox},
title = {The {AIPS-98} Planning Competition},
journal = {{AI} Mag.},
volume = {21},
number = {2},
pages = {13--33},
year = {2000},
url = {https://doi.org/10.1609/aimag.v21i2.1505},
doi = {10.1609/AIMAG.V21I2.1505},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/LongKSBGKBHRAWSF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Selman00,
author = {Bart Selman},
title = {Compute-intensive methods in artificial intelligence},
journal = {Ann. Math. Artif. Intell.},
volume = {28},
number = {1-4},
pages = {35--38},
year = {2000},
url = {https://doi.org/10.1023/A:1018943920174},
doi = {10.1023/A:1018943920174},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Selman00.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/cp/KrishnamachariXSW00,
author = {Bhaskar Krishnamachari and
Xi Xie and
Bart Selman and
Stephen B. Wicker},
editor = {Rina Dechter},
title = {Analysis of Random Noise and Random Walk Algorithms},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
International Conference, Singapore, September 18-21, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1894},
pages = {278--290},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45349-0\_21},
doi = {10.1007/3-540-45349-0\_21},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/KrishnamachariXSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/HuangSK00,
author = {Yi{-}Cheng Huang and
Bart Selman and
Henry A. Kautz},
editor = {Pat Langley},
title = {Learning Declarative Control Rules for Constraint-BAsed Planning},
booktitle = {Proceedings of the Seventeenth International Conference on Machine
Learning {(ICML} 2000), Stanford University, Stanford, CA, USA, June
29 - July 2, 2000},
pages = {415--422},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Sun, 21 Feb 2010 20:54:50 +0100},
biburl = {https://dblp.org/rec/conf/icml/HuangSK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Selman00,
author = {Bart Selman},
title = {Satisfiability Testing: Recent Developments and Challenge Problems},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {178},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855767},
doi = {10.1109/LICS.2000.855767},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Selman00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2000,
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/MonassonZKST99,
author = {R{\'{e}}mi Monasson and
Riccardo Zecchina and
Scott Kirkpatrick and
Bart Selman and
Lidror Troyansky},
title = {2+p-SAT: Relation of typical-case complexity to the nature of the
phase transition},
journal = {Random Struct. Algorithms},
volume = {15},
number = {3-4},
pages = {414--435},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1098-2418(199910/12)15:3/4\&\#60;414::AID-RSA10\&\#62;3.0.CO;2-G},
doi = {10.1002/(SICI)1098-2418(199910/12)15:3/4\&\#60;414::AID-RSA10\&\#62;3.0.CO;2-G},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsa/MonassonZKST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HuangSK99,
author = {Yi{-}Cheng Huang and
Bart Selman and
Henry A. Kautz},
editor = {Jim Hendler and
Devika Subramanian},
title = {Control Knowledge in Planning: Benefits and Tradeoffs},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {511--517},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-073.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HuangSK99.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/ijcai/KautzS99,
author = {Henry A. Kautz and
Bart Selman},
editor = {Thomas Dean},
title = {Unifying SAT-based and Graph-based Planning},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {318--325},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/047.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KautzS99.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/KautzS98,
author = {Henry A. Kautz and
Bart Selman},
editor = {Reid G. Simmons and
Manuela M. Veloso and
Stephen F. Smith},
title = {The Role of Domain-Specific Knowledge in the Planning as Satisfiability
Framework},
booktitle = {Proceedings of the Fourth International Conference on Artificial Intelligence
Planning Systems, Pittsburgh, Pennsylvania, USA, 1998},
pages = {181--189},
publisher = {{AAAI}},
year = {1998},
url = {http://www.aaai.org/Library/AIPS/1998/aips98-022.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/KautzS98.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}
}
@article{DBLP:journals/aim/KautzSS97,
author = {Henry A. Kautz and
Bart Selman and
Mehul A. Shah},
title = {The Hidden Web},
journal = {{AI} Mag.},
volume = {18},
number = {2},
pages = {27--36},
year = {1997},
url = {https://doi.org/10.1609/aimag.v18i2.1291},
doi = {10.1609/AIMAG.V18I2.1291},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/KautzSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KautzSS97,
author = {Henry A. Kautz and
Bart Selman and
Mehul A. Shah},
title = {Referral Web: Combining Social Networks and Collaborative Filtering},
journal = {Commun. {ACM}},
volume = {40},
number = {3},
pages = {63--65},
year = {1997},
url = {https://doi.org/10.1145/245108.245123},
doi = {10.1145/245108.245123},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KautzSS97.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/aaai/McAllesterSK97,
author = {David A. McAllester and
Bart Selman and
Henry A. Kautz},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {Evidence for Invariants in Local Search},
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 = {321--326},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-050.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McAllesterSK97.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/ijcai/SelmanKM97,
author = {Bart Selman and
Henry A. Kautz and
David A. McAllester},
title = {Ten Challenges in Propositional Reasoning and Search},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {50--54},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/008.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SelmanKM97.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/ai/SelmanML96,
author = {Bart Selman and
David G. Mitchell and
Hector J. Levesque},
title = {Generating Hard Satisfiability Problems},
journal = {Artif. Intell.},
volume = {81},
number = {1-2},
pages = {17--29},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(95)00045-3},
doi = {10.1016/0004-3702(95)00045-3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/SelmanML96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SelmanK96,
author = {Bart Selman and
Scott Kirkpatrick},
title = {Critical Behavior in the Computational Cost of Satisfiability Testing},
journal = {Artif. Intell.},
volume = {81},
number = {1-2},
pages = {273--295},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(95)00056-9},
doi = {10.1016/0004-3702(95)00056-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SelmanK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SelmanL96,
author = {Bart Selman and
Hector J. Levesque},
title = {Support Set Selection for Abductive and Default Reasoning},
journal = {Artif. Intell.},
volume = {82},
number = {1-2},
pages = {259--272},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(94)00069-7},
doi = {10.1016/0004-3702(94)00069-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SelmanL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Selman96,
author = {Bart Selman},
title = {Computational Challenges in Artificial Intelligence},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {10},
year = {1996},
url = {https://doi.org/10.1145/242224.242237},
doi = {10.1145/242224.242237},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Selman96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SelmanK96,
author = {Bart Selman and
Henry A. Kautz},
title = {Knowledge Compilation and Theory Approximation},
journal = {J. {ACM}},
volume = {43},
number = {2},
pages = {193--224},
year = {1996},
url = {https://doi.org/10.1145/226643.226644},
doi = {10.1145/226643.226644},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/SelmanK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzSM96,
author = {Henry A. Kautz and
Bart Selman and
Al Milewski},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Agent Amplified Communication},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
1},
pages = {3--9},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-001.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzSM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzS96,
author = {Henry A. Kautz and
Bart Selman},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Pushing the Envelope: Planning, Propositional Logic and Stochastic
Search},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
2},
pages = {1194--1201},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-177.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanBDHMN96,
author = {Bart Selman and
Rodney A. Brooks and
Thomas L. Dean and
Eric Horvitz and
Tom M. Mitchell and
Nils J. Nilsson},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Challenge Problems for Artificial Intelligence (Panel Statements)},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
2},
pages = {1340--1345},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-201.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanBDHMN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/KautzSJ96,
author = {Henry A. Kautz and
Bart Selman and
YueYen Jiang},
editor = {Ding{-}Zhu Du and
Jun Gu and
Panos M. Pardalos},
title = {A general stochastic approach to solving problems with hard and soft
constraints},
booktitle = {Satisfiability Problem: Theory and Applications, Proceedings of a
{DIMACS} Workshop, Piscataway, New Jersey, USA, March 11-13, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {35},
pages = {573--585},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/035/15},
doi = {10.1090/DIMACS/035/15},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/KautzSJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KautzMS96,
author = {Henry A. Kautz and
David A. McAllester and
Bart Selman},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Encoding Plans in Propositional Logic},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {374--384},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KautzMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KautzKS95,
author = {Henry A. Kautz and
Michael J. Kearns and
Bart Selman},
title = {Horn Approximations of Empirical Data},
journal = {Artif. Intell.},
volume = {74},
number = {1},
pages = {129--145},
year = {1995},
url = {https://doi.org/10.1016/0004-3702(94)00072-9},
doi = {10.1016/0004-3702(94)00072-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KautzKS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/OrdilleDGLS95,
author = {Joann J. Ordille and
Oswald Drobnik and
Michael R. Genesereth and
Y. Lashkari and
Bart Selman},
title = {Intelligent Agents in Distributed Systems (Panel)},
booktitle = {Proceedings of the 15th International Conference on Distributed Computing
Systems, Vancouver, British Columbia, Canada, May 30 - June 2, 1995},
pages = {342},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICDCS.1995.500037},
doi = {10.1109/ICDCS.1995.500037},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/OrdilleDGLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GogicKPS95,
author = {Goran Gogic and
Henry A. Kautz and
Christos H. Papadimitriou and
Bart Selman},
title = {The Comparative Linguistics of Knowledge Representation},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {862--869},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/111.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GogicKPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Selman95,
author = {Bart Selman},
title = {Stochastic Search and Phase Transitions: {AI} Meets Physics},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {998--1002},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/129.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Selman95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FreuderDGST95,
author = {Eugene C. Freuder and
Rina Dechter and
Matthew L. Ginsberg and
Bart Selman and
Edward P. K. Tsang},
title = {Systematic Versus Stochastic Constraint Satisfaction},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {2027--2032},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/128.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FreuderDGST95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KautzSC94,
author = {Henry A. Kautz and
Bart Selman and
Michael H. Coen},
title = {Bottom-Up Design of Software Agents},
journal = {Commun. {ACM}},
volume = {37},
number = {7},
pages = {143--146},
year = {1994},
url = {https://doi.org/10.1145/176789.176805},
doi = {10.1145/176789.176805},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KautzSC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzS94,
author = {Henry A. Kautz and
Bart Selman},
editor = {Barbara Hayes{-}Roth and
Richard E. Korf},
title = {An Empirical Evaluation of Knowledge Compilation by Theory Approximation},
booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
Seattle, WA, USA, July 31 - August 4, 1994, Volume 1},
pages = {155--161},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1994},
url = {http://www.aaai.org/Library/AAAI/1994/aaai94-024.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanKC94,
author = {Bart Selman and
Henry A. Kautz and
Bram Cohen},
editor = {Barbara Hayes{-}Roth and
Richard E. Korf},
title = {Noise Strategies for Improving Local Search},
booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
Seattle, WA, USA, July 31 - August 4, 1994, Volume 1},
pages = {337--343},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1994},
url = {http://www.aaai.org/Library/AAAI/1994/aaai94-051.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanKC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzSCKR94,
author = {Henry A. Kautz and
Bart Selman and
Michael H. Coen and
Steven P. Ketchpel and
Chris Ramming},
editor = {Barbara Hayes{-}Roth and
Richard E. Korf},
title = {An Experiment in the Design of Software Agents},
booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
Seattle, WA, USA, July 31 - August 4, 1994, Volume 1},
pages = {438--443},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1994},
url = {http://www.aaai.org/Library/AAAI/1994/aaai94-067.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzSCKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Selman94,
author = {Bart Selman},
editor = {Anthony G. Cohn},
title = {Domain-Specific Complexity Tradeoffs},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {416--420},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Selman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Selman94,
author = {Bart Selman},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Near-Optimal Plans, Tractability, and Reactivity},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {521--529},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/Selman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SelmanL93,
author = {Bart Selman and
Hector J. Levesque},
title = {The Complexity of Path-Based Defeasible Inheritance},
journal = {Artif. Intell.},
volume = {62},
number = {2},
pages = {303--339},
year = {1993},
url = {https://doi.org/10.1016/0004-3702(93)90081-L},
doi = {10.1016/0004-3702(93)90081-L},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SelmanL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzKS93,
author = {Henry A. Kautz and
Michael J. Kearns and
Bart Selman},
editor = {Richard Fikes and
Wendy G. Lehnert},
title = {Reasoning With Characteristic Models},
booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence.
Washington, DC, USA, July 11-15, 1993},
pages = {34--39},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1993},
url = {http://www.aaai.org/Library/AAAI/1993/aaai93-006.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanK93,
author = {Bart Selman and
Henry A. Kautz},
editor = {Richard Fikes and
Wendy G. Lehnert},
title = {An Empirical Study of Greedy Local Search for Satisfiability Testing},
booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence.
Washington, DC, USA, July 11-15, 1993},
pages = {46--51},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1993},
url = {http://www.aaai.org/Library/AAAI/1993/aaai93-008.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/SelmanKC93,
author = {Bart Selman and
Henry A. Kautz and
Bram Cohen},
editor = {David S. Johnson and
Michael A. Trick},
title = {Local search strategies for satisfiability testing},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {521--531},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/25},
doi = {10.1090/DIMACS/026/25},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/SelmanKC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Selman93,
author = {Bart Selman},
title = {Non-Systematic Search Methods for Model Finding},
booktitle = {Fifth International Conference on Tools with Artificial Intelligence,
{ICTAI} '93, Boston, Massachusetts, USA, November 8-11, 1993},
pages = {9},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/TAI.1993.633928},
doi = {10.1109/TAI.1993.633928},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/Selman93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SelmanK93,
author = {Bart Selman and
Henry A. Kautz},
editor = {Ruzena Bajcsy},
title = {Domain-Independent Extensions to {GSAT:} Solving Large Structured
Satisfiability Problems},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {290--295},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/041.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SelmanK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanLM92,
author = {Bart Selman and
Hector J. Levesque and
David G. Mitchell},
editor = {William R. Swartout},
title = {A New Method for Solving Hard Satisfiability Problems},
booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
San Jose, CA, USA, July 12-16, 1992},
pages = {440--446},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1992},
url = {http://www.aaai.org/Library/AAAI/1992/aaai92-068.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MitchellSL92,
author = {David G. Mitchell and
Bart Selman and
Hector J. Levesque},
editor = {William R. Swartout},
title = {Hard and Easy Distributions of {SAT} Problems},
booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
San Jose, CA, USA, July 12-16, 1992},
pages = {459--465},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1992},
url = {http://www.aaai.org/Library/AAAI/1992/aaai92-071.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MitchellSL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzS92,
author = {Henry A. Kautz and
Bart Selman},
editor = {William R. Swartout},
title = {Forming Concepts for Fast Inference},
booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
San Jose, CA, USA, July 12-16, 1992},
pages = {786--793},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1992},
url = {http://www.aaai.org/Library/AAAI/1992/aaai92-122.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KautzS92a,
author = {Henry A. Kautz and
Bart Selman},
editor = {Gerhard Lakemeyer and
Bernhard Nebel},
title = {Forming Concepts for Fast Inference},
booktitle = {Foundation of Knowledge Representation and Reasoning [the book grew
out of an {ECAI-92} workshop]},
series = {Lecture Notes in Computer Science},
volume = {810},
pages = {200--215},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-58107-3\_12},
doi = {10.1007/3-540-58107-3\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KautzS92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KautzS92,
author = {Henry A. Kautz and
Bart Selman},
editor = {Bernd Neumann},
title = {Planning as Satisfiability},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {359--363},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KautzS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Selman91,
author = {Bart Selman},
title = {Tractable default reasoning},
school = {University of Toronto, Canada},
year = {1991},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106698522306196},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Selman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KautzS91,
author = {Henry A. Kautz and
Bart Selman},
title = {Hard Problems for Simple Default Logics},
journal = {Artif. Intell.},
volume = {49},
number = {1-3},
pages = {243--279},
year = {1991},
url = {https://doi.org/10.1016/0004-3702(91)90011-8},
doi = {10.1016/0004-3702(91)90011-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KautzS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanK91,
author = {Bart Selman and
Henry A. Kautz},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Knowledge Compilation using Horn Approximations},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 2},
pages = {904--909},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-140.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/KautzS91,
author = {Henry A. Kautz and
Bart Selman},
editor = {Harold Boley and
Michael M. Richter},
title = {A General Framework for Knowledge Compilation},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {287--300},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013538},
doi = {10.1007/BFB0013538},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdk/KautzS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/91/SelmanL91,
author = {Bart Selman and
Hector J. Levesque},
editor = {John F. Sowa},
title = {The Tractability of Path-Based Inheritance},
booktitle = {Principles of Semantic Networks - Explorations in the Representation
of Knowledge},
series = {The Morgan Kaufmann Series in representation and reasoning},
pages = {283--297},
publisher = {Morgan Kaufmann},
year = {1991},
url = {https://doi.org/10.1016/B978-1-4832-0771-1.50016-3},
doi = {10.1016/B978-1-4832-0771-1.50016-3},
timestamp = {Fri, 17 Jul 2020 16:12:40 +0200},
biburl = {https://dblp.org/rec/books/el/91/SelmanL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SelmanK90,
author = {Bart Selman and
Henry A. Kautz},
title = {Model-Preference Default Theories},
journal = {Artif. Intell.},
volume = {45},
number = {3},
pages = {287--322},
year = {1990},
url = {https://doi.org/10.1016/0004-3702(90)90010-W},
doi = {10.1016/0004-3702(90)90010-W},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/SelmanK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanL90,
author = {Bart Selman and
Hector J. Levesque},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Abductive and Default Reasoning: {A} Computational Core},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {343--348},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-053.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/Selman89,
author = {Bart Selman},
title = {Connectionist systems for natural language understanding},
journal = {Artif. Intell. Rev.},
volume = {3},
number = {1},
pages = {23--31},
year = {1989},
url = {https://doi.org/10.1007/BF00139194},
doi = {10.1007/BF00139194},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/air/Selman89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SelmanL89,
author = {Bart Selman and
Hector J. Levesque},
editor = {N. S. Sridharan},
title = {The Tractability of Path-Based Inheritance},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {1140--1145},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/047.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SelmanL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KautzS89,
author = {Henry A. Kautz and
Bart Selman},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Hard Problems for Simple Default Logics},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {189--197},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/kr/KautzS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/SelmanK88,
author = {Bart Selman and
Henry A. Kautz},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {The Complexity of Model-Preference Default Theories},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {115--130},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_23},
doi = {10.1007/3-540-50701-9\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/SelmanK88.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-25 05:58 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:
