BibTeX records: Ashish Sabharwal

download as .bib file

@inproceedings{DBLP:conf/acl/KhotSC17,
  author    = {Tushar Khot and
               Ashish Sabharwal and
               Peter Clark},
  title     = {Answering Complex Questions Using Open Information Extraction},
  booktitle = {Proceedings of the 55th Annual Meeting of the Association for Computational
               Linguistics, {ACL} 2017, Vancouver, Canada, July 30 - August 4, Volume
               2: Short Papers},
  pages     = {311--316},
  year      = {2017},
  crossref  = {DBLP:conf/acl/2017-2},
  url       = {https://doi.org/10.18653/v1/P17-2049},
  doi       = {10.18653/v1/P17-2049},
  timestamp = {Fri, 04 Aug 2017 16:38:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/acl/KhotSC17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/conll/KhashabiKSR17,
  author    = {Daniel Khashabi and
               Tushar Khot and
               Ashish Sabharwal and
               Dan Roth},
  title     = {Learning What is Essential in Questions},
  booktitle = {Proceedings of the 21st Conference on Computational Natural Language
               Learning (CoNLL 2017), Vancouver, Canada, August 3-4, 2017},
  pages     = {80--89},
  year      = {2017},
  crossref  = {DBLP:conf/conll/2017},
  url       = {https://doi.org/10.18653/v1/K17-1010},
  doi       = {10.18653/v1/K17-1010},
  timestamp = {Wed, 09 Aug 2017 11:24:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/conll/KhashabiKSR17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uai/SabharwalS17,
  author    = {Ashish Sabharwal and
               Hanie Sedghi},
  title     = {How Good Are My Predictions? Efficiently Approximating Precision-Recall
               Curves for Massive Datasets},
  booktitle = {Proceedings of the Thirty-Third Conference on Uncertainty in Artificial
               Intelligence, {UAI} 2017, Sydney, Australia, August 11-15, 2017},
  year      = {2017},
  crossref  = {DBLP:conf/uai/2017},
  url       = {http://auai.org/uai2017/proceedings/papers/255.pdf},
  timestamp = {Mon, 13 Nov 2017 19:56:58 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/uai/SabharwalS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KhotSC17,
  author    = {Tushar Khot and
               Ashish Sabharwal and
               Peter Clark},
  title     = {Answering Complex Questions Using Open Information Extraction},
  journal   = {CoRR},
  volume    = {abs/1704.05572},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.05572},
  archivePrefix = {arXiv},
  eprint    = {1704.05572},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KhotSC17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SabharwalST16,
  author    = {Ashish Sabharwal and
               Horst Samulowitz and
               Gerald Tesauro},
  title     = {Selecting Near-Optimal Learners via Incremental Data Allocation},
  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA.}},
  pages     = {2007--2015},
  year      = {2016},
  crossref  = {DBLP:conf/aaai/2016},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12524},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/SabharwalST16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ClarkEKSTTK16,
  author    = {Peter Clark and
               Oren Etzioni and
               Tushar Khot and
               Ashish Sabharwal and
               Oyvind Tafjord and
               Peter D. Turney and
               Daniel Khashabi},
  title     = {Combining Retrieval, Statistics, and Inference to Answer Elementary
               Science Questions},
  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA.}},
  pages     = {2580--2586},
  year      = {2016},
  crossref  = {DBLP:conf/aaai/2016},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/11963},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/ClarkEKSTTK16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KimSE16,
  author    = {Carolyn Kim and
               Ashish Sabharwal and
               Stefano Ermon},
  title     = {Exact Sampling with Integer Linear Programs and Random Perturbations},
  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA.}},
  pages     = {3248--3254},
  year      = {2016},
  crossref  = {DBLP:conf/aaai/2016},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12105},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/KimSE16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhaoCSE16,
  author    = {Shengjia Zhao and
               Sorathan Chaturapruek and
               Ashish Sabharwal and
               Stefano Ermon},
  title     = {Closing the Gap Between Short and Long XORs for Model Counting},
  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA.}},
  pages     = {3322--3329},
  year      = {2016},
  crossref  = {DBLP:conf/aaai/2016},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12546},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/ZhaoCSE16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icml/AchimSE16,
  author    = {Tudor Achim and
               Ashish Sabharwal and
               Stefano Ermon},
  title     = {Beyond Parity Constraints: Fourier Analysis of Hash Functions for
               Inference},
  booktitle = {Proceedings of the 33nd International Conference on Machine Learning,
               {ICML} 2016, New York City, NY, USA, June 19-24, 2016},
  pages     = {2254--2262},
  year      = {2016},
  crossref  = {DBLP:conf/icml/2016},
  url       = {http://jmlr.org/proceedings/papers/v48/achim16.html},
  timestamp = {Tue, 12 Jul 2016 21:51:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icml/AchimSE16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KhashabiKSCER16,
  author    = {Daniel Khashabi and
               Tushar Khot and
               Ashish Sabharwal and
               Peter Clark and
               Oren Etzioni and
               Dan Roth},
  title     = {Question Answering via Integer Programming over Semi-Structured Knowledge},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {1145--1152},
  year      = {2016},
  crossref  = {DBLP:conf/ijcai/2016},
  url       = {http://www.ijcai.org/Abstract/16/166},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/KhashabiKSCER16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nips/ZhaoZSE16,
  author    = {Shengjia Zhao and
               Enze Zhou and
               Ashish Sabharwal and
               Stefano Ermon},
  title     = {Adaptive Concentration Inequalities for Sequential Decision Problems},
  booktitle = {Advances in Neural Information Processing Systems 29: Annual Conference
               on Neural Information Processing Systems 2016, December 5-10, 2016,
               Barcelona, Spain},
  pages     = {1343--1351},
  year      = {2016},
  crossref  = {DBLP:conf/nips/2016},
  url       = {http://papers.nips.cc/paper/6493-adaptive-concentration-inequalities-for-sequential-decision-problems},
  timestamp = {Fri, 03 Mar 2017 14:59:41 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/ZhaoZSE16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/SabharwalST16,
  author    = {Ashish Sabharwal and
               Horst Samulowitz and
               Gerald Tesauro},
  title     = {Selecting Near-Optimal Learners via Incremental Data Allocation},
  journal   = {CoRR},
  volume    = {abs/1601.00024},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.00024},
  archivePrefix = {arXiv},
  eprint    = {1601.00024},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/SabharwalST16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KhashabiKSCER16,
  author    = {Daniel Khashabi and
               Tushar Khot and
               Ashish Sabharwal and
               Peter Clark and
               Oren Etzioni and
               Dan Roth},
  title     = {Question Answering via Integer Programming over Semi-Structured Knowledge},
  journal   = {CoRR},
  volume    = {abs/1604.06076},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.06076},
  archivePrefix = {arXiv},
  eprint    = {1604.06076},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KhashabiKSCER16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/SedghiS16,
  author    = {Hanie Sedghi and
               Ashish Sabharwal},
  title     = {Knowledge Completion for Generics using Guided Tensor Factorization},
  journal   = {CoRR},
  volume    = {abs/1612.03871},
  year      = {2016},
  url       = {http://arxiv.org/abs/1612.03871},
  archivePrefix = {arXiv},
  eprint    = {1612.03871},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/SedghiS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tacl/Koncel-Kedziorski15,
  author    = {Rik Koncel{-}Kedziorski and
               Hannaneh Hajishirzi and
               Ashish Sabharwal and
               Oren Etzioni and
               Siena Dumas Ang},
  title     = {Parsing Algebraic Word Problems into Equations},
  journal   = {{TACL}},
  volume    = {3},
  pages     = {585--597},
  year      = {2015},
  url       = {https://tacl2013.cs.columbia.edu/ojs/index.php/tacl/article/view/692},
  timestamp = {Tue, 29 Dec 2015 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tacl/Koncel-Kedziorski15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KellSH15,
  author    = {Brian Kell and
               Ashish Sabharwal and
               Willem{-}Jan van Hoeve},
  title     = {BDD-Guided Clause Generation},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
               - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain,
               May 18-22, 2015, Proceedings},
  pages     = {215--230},
  year      = {2015},
  crossref  = {DBLP:conf/cpaior/2015},
  url       = {https://doi.org/10.1007/978-3-319-18008-3_15},
  doi       = {10.1007/978-3-319-18008-3_15},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/KellSH15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/KhotBGSCE15,
  author    = {Tushar Khot and
               Niranjan Balasubramanian and
               Eric Gribkoff and
               Ashish Sabharwal and
               Peter Clark and
               Oren Etzioni},
  title     = {Exploring Markov Logic Networks for Question Answering},
  booktitle = {Proceedings of the 2015 Conference on Empirical Methods in Natural
               Language Processing, {EMNLP} 2015, Lisbon, Portugal, September 17-21,
               2015},
  pages     = {685--694},
  year      = {2015},
  crossref  = {DBLP:conf/emnlp/2015},
  url       = {http://aclweb.org/anthology/D/D15/D15-1080.pdf},
  timestamp = {Wed, 14 Oct 2015 09:19:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/emnlp/KhotBGSCE15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KhotBGSCE15,
  author    = {Tushar Khot and
               Niranjan Balasubramanian and
               Eric Gribkoff and
               Ashish Sabharwal and
               Peter Clark and
               Oren Etzioni},
  title     = {Markov Logic Networks for Natural Language Question Answering},
  journal   = {CoRR},
  volume    = {abs/1507.03045},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.03045},
  archivePrefix = {arXiv},
  eprint    = {1507.03045},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KhotBGSCE15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/ZhaoCSE15,
  author    = {Shengjia Zhao and
               Sorathan Chaturapruek and
               Ashish Sabharwal and
               Stefano Ermon},
  title     = {Closing the Gap Between Short and Long XORs for Model Counting},
  journal   = {CoRR},
  volume    = {abs/1512.08863},
  year      = {2015},
  url       = {http://arxiv.org/abs/1512.08863},
  archivePrefix = {arXiv},
  eprint    = {1512.08863},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/ZhaoCSE15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/amai/DilkinaGS14,
  author    = {Bistra N. Dilkina and
               Carla P. Gomes and
               Ashish Sabharwal},
  title     = {Tradeoffs in the complexity of backdoors to satisfiability: dynamic
               sub-solvers and learning during search},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {70},
  number    = {4},
  pages     = {399--431},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10472-014-9407-9},
  doi       = {10.1007/s10472-014-9407-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/amai/DilkinaGS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ErmonGSS14,
  author    = {Stefano Ermon and
               Carla P. Gomes and
               Ashish Sabharwal and
               Bart Selman},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/aaai/2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8294},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/ErmonGSS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BeameS14,
  author    = {Paul Beame and
               Ashish Sabharwal},
  title     = {Non-Restarting {SAT} Solvers with Simple Preprocessing Can Efficiently
               Simulate Resolution},
  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  pages     = {2608--2615},
  year      = {2014},
  crossref  = {DBLP:conf/aaai/2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8397},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/BeameS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/SabharwalS14,
  author    = {Ashish Sabharwal and
               Horst Samulowitz},
  title     = {Insights into Parallelism with Intensive Knowledge Sharing},
  booktitle = {Principles and Practice of Constraint Programming - 20th International
               Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  pages     = {655--671},
  year      = {2014},
  crossref  = {DBLP:conf/cp/2014},
  url       = {https://doi.org/10.1007/978-3-319-10428-7_48},
  doi       = {10.1007/978-3-319-10428-7_48},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/SabharwalS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BergmanCSSSH14,
  author    = {David Bergman and
               Andr{\'{e}} A. Cir{\'{e}} and
               Ashish Sabharwal and
               Horst Samulowitz and
               Vijay A. Saraswat and
               Willem Jan van Hoeve},
  title     = {Parallel Combinatorial Optimization with Decision Diagrams},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
               - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May
               19-23, 2014. Proceedings},
  pages     = {351--367},
  year      = {2014},
  crossref  = {DBLP:conf/cpaior/2014},
  url       = {https://doi.org/10.1007/978-3-319-07046-9_25},
  doi       = {10.1007/978-3-319-07046-9_25},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/BergmanCSSSH14},
  bibsource = {dblp computer science bibliography, http://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},
  pages     = {271--279},
  year      = {2014},
  crossref  = {DBLP:conf/icml/2014},
  url       = {http://jmlr.org/proceedings/papers/v32/ermon14.html},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icml/ErmonGSS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DilkinaLLXGSSMSM13,
  author    = {Bistra N. Dilkina and
               Katherine J. Lai and
               Ronan LeBras and
               Yexiang Xue and
               Carla P. Gomes and
               Ashish Sabharwal and
               Jordan Suter and
               Kevin S. McKelvey and
               Michael K. Schwartz and
               Claire A. Montgomery},
  title     = {Large Landscape Conservation - Synthetic and Real-World Datasets},
  booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
               Intelligence, July 14-18, 2013, Bellevue, Washington, {USA.}},
  year      = {2013},
  crossref  = {DBLP:conf/aaai/2013},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6490},
  timestamp = {Tue, 17 Dec 2013 19:26:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/DilkinaLLXGSSMSM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KatsirelosSSS13,
  author    = {George Katsirelos and
               Ashish Sabharwal and
               Horst Samulowitz and
               Laurent Simon},
  title     = {Resolution and Parallelizability: Barriers to the Efficient Parallelization
               of {SAT} Solvers},
  booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
               Intelligence, July 14-18, 2013, Bellevue, Washington, {USA.}},
  year      = {2013},
  crossref  = {DBLP:conf/aaai/2013},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6421},
  timestamp = {Tue, 17 Dec 2013 19:26:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/KatsirelosSSS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SabharwalSSST13,
  author    = {Ashish Sabharwal and
               Horst Samulowitz and
               Tom Schrijvers and
               Peter J. Stuckey and
               Guido Tack},
  title     = {Automated Design of Search with Composability},
  booktitle = {Late-Breaking Developments in the Field of Artificial Intelligence,
               Bellevue, Washington, USA, July 14-18, 2013},
  year      = {2013},
  crossref  = {DBLP:conf/aaai/2013late},
  url       = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7123},
  timestamp = {Tue, 17 Dec 2013 20:46:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/SabharwalSSST13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/AchterbergSS13,
  author    = {Tobias Achterberg and
               Ashish Sabharwal and
               Horst Samulowitz},
  title     = {Stronger Inference through Implied Literals from Conflicts and Knapsack
               Covers},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems, 10th International Conference,
               {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
  pages     = {1--11},
  year      = {2013},
  crossref  = {DBLP:conf/cpaior/2013},
  url       = {https://doi.org/10.1007/978-3-642-38171-3_1},
  doi       = {10.1007/978-3-642-38171-3_1},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/AchterbergSS13},
  bibsource = {dblp computer science bibliography, http://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},
  pages     = {334--342},
  year      = {2013},
  crossref  = {DBLP:conf/icml/2013},
  url       = {http://jmlr.org/proceedings/papers/v28/ermon13.html},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icml/ErmonGSS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MalitskySSS13,
  author    = {Yuri Malitsky and
               Ashish Sabharwal and
               Horst Samulowitz and
               Meinolf Sellmann},
  title     = {Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {608--614},
  year      = {2013},
  crossref  = {DBLP:conf/ijcai/2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6946},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/MalitskySSS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lion/MalitskySSS13,
  author    = {Yuri Malitsky and
               Ashish Sabharwal and
               Horst Samulowitz and
               Meinolf Sellmann},
  title     = {Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy
               Prediction},
  booktitle = {Learning and Intelligent Optimization - 7th International Conference,
               {LION} 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers},
  pages     = {153--167},
  year      = {2013},
  crossref  = {DBLP:conf/lion/2013},
  url       = {https://doi.org/10.1007/978-3-642-44973-4_17},
  doi       = {10.1007/978-3-642-44973-4_17},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lion/MalitskySSS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nips/ErmonGSS13,
  author    = {Stefano Ermon and
               Carla P. Gomes and
               Ashish Sabharwal and
               Bart Selman},
  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},
  crossref  = {DBLP:conf/nips/2013},
  url       = {http://papers.nips.cc/paper/4965-embed-and-project-discrete-sampling-with-universal-hashing},
  timestamp = {Fri, 31 Jan 2014 12:11:40 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/ErmonGSS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/SamulowitzRSS13,
  author    = {Horst Samulowitz and
               Chandra Reddy and
               Ashish Sabharwal and
               Meinolf Sellmann},
  title     = {Snappy: {A} Simple Algorithm Portfolio},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
               International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  pages     = {422--428},
  year      = {2013},
  crossref  = {DBLP:conf/sat/2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5_33},
  doi       = {10.1007/978-3-642-39071-5_33},
  timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/SamulowitzRSS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uai/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},
  booktitle = {Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial
               Intelligence, {UAI} 2013, Bellevue, WA, USA, August 11-15, 2013},
  year      = {2013},
  crossref  = {DBLP:conf/uai/2013},
  url       = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2381&proceeding_id=29},
  timestamp = {Mon, 27 Jul 2015 18:21:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/ErmonGSS13},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1302.6677},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1302-6677},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1309.6827},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/ErmonGSS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/MalitskySSS12,
  author    = {Yuri Malitsky and
               Ashish Sabharwal and
               Horst Samulowitz and
               Meinolf Sellmann},
  title     = {Parallel {SAT} Solver Selection and Scheduling},
  booktitle = {Principles and Practice of Constraint Programming - 18th International
               Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
               8-12, 2012. Proceedings},
  pages     = {512--526},
  year      = {2012},
  crossref  = {DBLP:conf/cp/2012},
  url       = {https://doi.org/10.1007/978-3-642-33558-7_38},
  doi       = {10.1007/978-3-642-33558-7_38},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/MalitskySSS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SabharwalSR12,
  author    = {Ashish Sabharwal and
               Horst Samulowitz and
               Chandra Reddy},
  title     = {Guiding Combinatorial Optimization with {UCT}},
  booktitle = {Integration of {AI} and {OR} Techniques in Contraint Programming for
               Combinatorial Optimzation Problems - 9th International Conference,
               {CPAIOR} 2012, Nantes, France, May 28 - June1, 2012. Proceedings},
  pages     = {356--361},
  year      = {2012},
  crossref  = {DBLP:conf/cpaior/2012},
  url       = {https://doi.org/10.1007/978-3-642-29828-8_23},
  doi       = {10.1007/978-3-642-29828-8_23},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/SabharwalSR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nips/ErmonGSS12,
  author    = {Stefano Ermon and
               Carla P. Gomes and
               Ashish Sabharwal and
               Bart Selman},
  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},
  crossref  = {DBLP:conf/nips/2012},
  url       = {http://papers.nips.cc/paper/4723-density-propagation-and-improved-bounds-on-the-partition-function},
  timestamp = {Thu, 11 Dec 2014 17:34:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/ErmonGSS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/BloomGHSSS12,
  author    = {Bard Bloom and
               David Grove and
               Benjamin Herta and
               Ashish Sabharwal and
               Horst Samulowitz and
               Vijay A. Saraswat},
  title     = {SatX10: {A} Scalable Plug{\&}Play Parallel {SAT} Framework - (Tool
               Presentation)},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
               International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  pages     = {463--468},
  year      = {2012},
  crossref  = {DBLP:conf/sat/2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8_38},
  doi       = {10.1007/978-3-642-31612-8_38},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/BloomGHSSS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/SabharwalSS12,
  author    = {Ashish Sabharwal and
               Horst Samulowitz and
               Meinolf Sellmann},
  title     = {Learning Back-Clauses in {SAT} - (Poster Presentation)},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
               International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  pages     = {498--499},
  year      = {2012},
  crossref  = {DBLP:conf/sat/2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8_53},
  doi       = {10.1007/978-3-642-31612-8_53},
  timestamp = {Mon, 05 Jun 2017 12:41:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/SabharwalSS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/MatsliahSS12,
  author    = {Arie Matsliah and
               Ashish Sabharwal and
               Horst Samulowitz},
  title     = {Augmenting Clause Learning with Implied Literals - (Poster Presentation)},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
               International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  pages     = {500--501},
  year      = {2012},
  crossref  = {DBLP:conf/sat/2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8_54},
  doi       = {10.1007/978-3-642-31612-8_54},
  timestamp = {Mon, 05 Jun 2017 12:41:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/MatsliahSS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-3514,
  author    = {Daniel Sheldon and
               Bistra N. Dilkina and
               Adam N. Elmachtoub and
               Ryan Finseth and
               Ashish Sabharwal and
               Jon Conrad and
               Carla P. Gomes and
               David B. Shmoys and
               William Allen and
               Ole Amundsen and
               William Vaughan},
  title     = {Maximizing the Spread of Cascades Using Network Design},
  journal   = {CoRR},
  volume    = {abs/1203.3514},
  year      = {2012},
  url       = {http://arxiv.org/abs/1203.3514},
  archivePrefix = {arXiv},
  eprint    = {1203.3514},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1203-3514},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1203.4011},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1203-4011},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1206.5273},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1206-5273},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/ai/SabharwalS11},
  bibsource = {dblp computer science bibliography, http://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   = {Annals {OR}},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/anor/KrocSS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JainSS11,
  author    = {Siddhartha Jain and
               Ashish Sabharwal and
               Meinolf Sellmann},
  title     = {A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued
               {SAT}},
  booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/aaai/2011},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3728},
  timestamp = {Tue, 09 Aug 2011 07:56:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/JainSS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/KadiogluMSSS11,
  author    = {Serdar Kadioglu and
               Yuri Malitsky and
               Ashish Sabharwal and
               Horst Samulowitz and
               Meinolf Sellmann},
  title     = {Algorithm Selection and Scheduling},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
               International Conference, {CP} 2011, Perugia, Italy, September 12-16,
               2011. Proceedings},
  pages     = {454--469},
  year      = {2011},
  crossref  = {DBLP:conf/cp/2011},
  url       = {https://doi.org/10.1007/978-3-642-23786-7_35},
  doi       = {10.1007/978-3-642-23786-7_35},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/KadiogluMSSS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeBrasDGSGD11,
  author    = {Ronan LeBras and
               Theodoros Damoulas and
               John M. Gregoire and
               Ashish Sabharwal and
               Carla P. Gomes and
               R. Bruce van Dover},
  title     = {Constraint Reasoning and Kernel Clustering for Pattern Decomposition
               with Scaling},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
               International Conference, {CP} 2011, Perugia, Italy, September 12-16,
               2011. Proceedings},
  pages     = {508--522},
  year      = {2011},
  crossref  = {DBLP:conf/cp/2011},
  url       = {https://doi.org/10.1007/978-3-642-23786-7_39},
  doi       = {10.1007/978-3-642-23786-7_39},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/LeBrasDGSGD11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nips/ErmonGSS11,
  author    = {Stefano Ermon and
               Carla P. Gomes and
               Ashish Sabharwal and
               Bart Selman},
  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},
  crossref  = {DBLP:conf/nips/2011},
  url       = {http://papers.nips.cc/paper/4448-accelerated-adaptive-markov-chain-for-partition-function-computation},
  timestamp = {Thu, 11 Dec 2014 17:34:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/ErmonGSS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/MalitskySSS11,
  author    = {Yuri Malitsky and
               Ashish Sabharwal and
               Horst Samulowitz and
               Meinolf Sellmann},
  title     = {Non-Model-Based Algorithm Portfolios for {SAT}},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
               International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
               2011. Proceedings},
  pages     = {369--370},
  year      = {2011},
  crossref  = {DBLP:conf/sat/2011},
  url       = {https://doi.org/10.1007/978-3-642-21581-0_33},
  doi       = {10.1007/978-3-642-21581-0_33},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/MalitskySSS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0044,
  author    = {Paul Beame and
               Henry A. Kautz and
               Ashish Sabharwal},
  title     = {Towards Understanding and Harnessing the Potential of Clause Learning},
  journal   = {CoRR},
  volume    = {abs/1107.0044},
  year      = {2011},
  url       = {http://arxiv.org/abs/1107.0044},
  archivePrefix = {arXiv},
  eprint    = {1107.0044},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1107-0044},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10,
  author    = {David W. Aha and
               Mark S. Boddy and
               Vadim Bulitko and
               Artur S. d'Avila Garcez and
               Prashant Doshi and
               Stefan Edelkamp and
               Christopher W. Geib and
               Piotr J. Gmytrasiewicz and
               Robert P. Goldman and
               Pascal Hitzler and
               Charles L. Isbell and
               Darsana P. Josyula and
               Leslie Pack Kaelbling and
               Kristian Kersting and
               Maithilee Kunda and
               Lu{\'{\i}}s C. Lamb and
               Bhaskara Marthi and
               Keith McGreggor and
               Vivi Nastase and
               Gregory M. Provan and
               Anita Raja and
               Ashwin Ram and
               Mark O. Riedl and
               Stuart J. Russell and
               Ashish Sabharwal and
               Jan{-}Georg Smaus and
               Gita Sukthankar and
               Karl Tuyls and
               Ron van der Meyden and
               Alon Y. Halevy and
               Lilyana Mihalkova and
               Sriraam Natarajan},
  title     = {Reports of the {AAAI} 2010 Conference Workshops},
  journal   = {{AI} Magazine},
  volume    = {31},
  number    = {4},
  pages     = {95--108},
  year      = {2010},
  url       = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2318},
  timestamp = {Wed, 06 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/almob/KimSVB10,
  author    = {Ethan Kim and
               Ashish Sabharwal and
               Adrian Vetta and
               Mathieu Blanchette},
  title     = {Predicting direct protein interactions from affinity purification
               mass spectrometry data},
  journal   = {Algorithms for Molecular Biology},
  volume    = {5},
  pages     = {34},
  year      = {2010},
  url       = {https://doi.org/10.1186/1748-7188-5-34},
  doi       = {10.1186/1748-7188-5-34},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/almob/KimSVB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/comgeo/CaryRSV10,
  author    = {Matthew Cary and
               Atri Rudra and
               Ashish Sabharwal and
               Erik Vee},
  title     = {Floodlight illumination of infinite wedges},
  journal   = {Comput. Geom.},
  volume    = {43},
  number    = {1},
  pages     = {23--34},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.comgeo.2007.01.004},
  doi       = {10.1016/j.comgeo.2007.01.004},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/comgeo/CaryRSV10},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2010},
  crossref  = {DBLP:conf/aaai/2010abstr},
  url       = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2066},
  timestamp = {Thu, 08 Mar 2012 15:40:49 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/KrocSS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ProvanS10,
  author    = {Gregory M. Provan and
               Ashish Sabharwal},
  title     = {Preface},
  booktitle = {Abstraction, Reformulation, and Approximation, Papers from the 2010
               {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/aaai/2010abstr},
  url       = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2105},
  timestamp = {Wed, 06 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/ProvanS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aips/RamanujanSS10,
  author    = {Raghuram Ramanujan and
               Ashish Sabharwal and
               Bart Selman},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/aips/2010},
  url       = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1458},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aips/RamanujanSS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/AhmadizadehDGS10,
  author    = {Kiyan Ahmadizadeh and
               Bistra N. Dilkina and
               Carla P. Gomes and
               Ashish Sabharwal},
  title     = {An Empirical Study of Optimization for Maximizing Diffusion in Networks},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
               International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
               6-10, 2010. Proceedings},
  pages     = {514--521},
  year      = {2010},
  crossref  = {DBLP:conf/cp/2010},
  url       = {https://doi.org/10.1007/978-3-642-15396-9_41},
  doi       = {10.1007/978-3-642-15396-9_41},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/AhmadizadehDGS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/KrocSS10,
  author    = {Lukas Kroc and
               Ashish Sabharwal and
               Bart Selman},
  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},
  pages     = {346--351},
  year      = {2010},
  crossref  = {DBLP:conf/sat/2010},
  url       = {https://doi.org/10.1007/978-3-642-14186-7_31},
  doi       = {10.1007/978-3-642-14186-7_31},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/KrocSS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uai/RamanujanSS10,
  author    = {Raghuram Ramanujan and
               Ashish Sabharwal and
               Bart Selman},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/uai/2010},
  url       = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2160&proceeding_id=26},
  timestamp = {Wed, 06 May 2015 15:02:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/RamanujanSS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uai/SheldonDEFSCGSAAV10,
  author    = {Daniel Sheldon and
               Bistra N. Dilkina and
               Adam N. Elmachtoub and
               Ryan Finseth and
               Ashish Sabharwal and
               Jon Conrad and
               Carla P. Gomes and
               David B. Shmoys and
               William Allen and
               Ole Amundsen and
               William Vaughan},
  title     = {Maximizing the Spread of Cascades Using Network Design},
  booktitle = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty
               in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010},
  pages     = {517--526},
  year      = {2010},
  crossref  = {DBLP:conf/uai/2010},
  url       = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2122&proceeding_id=26},
  timestamp = {Wed, 06 May 2015 15:02:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/SheldonDEFSCGSAAV10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/constraints/HoevePRS09,
  author    = {Willem Jan van Hoeve and
               Gilles Pesant and
               Louis{-}Martin Rousseau and
               Ashish Sabharwal},
  title     = {New filtering algorithms for combinations of among constraints},
  journal   = {Constraints},
  volume    = {14},
  number    = {2},
  pages     = {273--292},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10601-008-9067-7},
  doi       = {10.1007/s10601-008-9067-7},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/constraints/HoevePRS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/constraints/Sabharwal09,
  author    = {Ashish Sabharwal},
  title     = {SymChaff: exploiting symmetry in a structure-aware satisfiability
               solver},
  journal   = {Constraints},
  volume    = {14},
  number    = {4},
  pages     = {478--505},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10601-008-9060-1},
  doi       = {10.1007/s10601-008-9060-1},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/constraints/Sabharwal09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jair/DomshlakHS09,
  author    = {Carmel Domshlak and
               J{\"{o}}rg Hoffmann and
               Ashish Sabharwal},
  title     = {Friends or Foes? On Planning as Satisfiability and Abstract {CNF}
               Encodings},
  journal   = {J. Artif. Intell. Res.},
  volume    = {36},
  pages     = {415--469},
  year      = {2009},
  url       = {https://doi.org/10.1613/jair.2817},
  doi       = {10.1613/jair.2817},
  timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jair/DomshlakHS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DilkinaGMSS09,
  author    = {Bistra N. Dilkina and
               Carla P. Gomes and
               Yuri Malitsky and
               Ashish Sabharwal and
               Meinolf Sellmann},
  title     = {Backdoors to Combinatorial Optimization: Feasibility and Optimality},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems, 6th International Conference,
               {CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
  pages     = {56--70},
  year      = {2009},
  crossref  = {DBLP:conf/cpaior/2009},
  url       = {https://doi.org/10.1007/978-3-642-01929-6_6},
  doi       = {10.1007/978-3-642-01929-6_6},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/DilkinaGMSS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KrocSGS09,
  author    = {Lukas Kroc and
               Ashish Sabharwal and
               Carla P. Gomes and
               Bart Selman},
  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},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/097.pdf},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/KrocSGS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/KrocSS09,
  author    = {Lukas Kroc and
               Ashish Sabharwal and
               Bart Selman},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/sac/2009},
  url       = {http://doi.acm.org/10.1145/1529282.1529596},
  doi       = {10.1145/1529282.1529596},
  timestamp = {Tue, 03 Nov 2015 12:36:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/KrocSS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/DilkinaGS09,
  author    = {Bistra N. Dilkina and
               Carla P. Gomes and
               Ashish Sabharwal},
  title     = {Backdoors in the Context of Learning},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
               International Conference, {SAT} 2009, Swansea, UK, June 30 - July
               3, 2009. Proceedings},
  pages     = {73--79},
  year      = {2009},
  crossref  = {DBLP:conf/sat/2009},
  url       = {https://doi.org/10.1007/978-3-642-02777-2_9},
  doi       = {10.1007/978-3-642-02777-2_9},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/DilkinaGS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/KrocSS09,
  author    = {Lukas Kroc and
               Ashish Sabharwal and
               Bart Selman},
  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},
  pages     = {447--452},
  year      = {2009},
  crossref  = {DBLP:conf/sat/2009},
  url       = {https://doi.org/10.1007/978-3-642-02777-2_41},
  doi       = {10.1007/978-3-642-02777-2_41},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/KrocSS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/faia/KautzSS09,
  author    = {Henry A. Kautz and
               Ashish Sabharwal and
               Bart Selman},
  title     = {Incomplete Algorithms},
  booktitle = {Handbook of Satisfiability},
  pages     = {185--203},
  year      = {2009},
  crossref  = {DBLP:series/faia/2009-185},
  url       = {https://doi.org/10.3233/978-1-58603-929-5-185},
  doi       = {10.3233/978-1-58603-929-5-185},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/series/faia/KautzSS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/faia/GomesS09,
  author    = {Carla P. Gomes and
               Ashish Sabharwal},
  title     = {Exploiting Runtime Variation in Complete Solvers},
  booktitle = {Handbook of Satisfiability},
  pages     = {271--288},
  year      = {2009},
  crossref  = {DBLP:series/faia/2009-185},
  url       = {https://doi.org/10.3233/978-1-58603-929-5-271},
  doi       = {10.3233/978-1-58603-929-5-271},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/series/faia/GomesS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/faia/GomesSS09,
  author    = {Carla P. Gomes and
               Ashish Sabharwal and
               Bart Selman},
  title     = {Model Counting},
  booktitle = {Handbook of Satisfiability},
  pages     = {633--654},
  year      = {2009},
  crossref  = {DBLP:series/faia/2009-185},
  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    = {http://dblp.org/rec/bib/series/faia/GomesSS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KrocSS08,
  author    = {Lukas Kroc and
               Ashish Sabharwal and
               Bart Selman},
  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},
  pages     = {127--141},
  year      = {2008},
  crossref  = {DBLP:conf/cpaior/2008},
  url       = {https://doi.org/10.1007/978-3-540-68155-7_12},
  doi       = {10.1007/978-3-540-68155-7_12},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/KrocSS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GomesHS08,
  author    = {Carla P. Gomes and
               Willem Jan van Hoeve and
               Ashish Sabharwal},
  title     = {Connections in Networks: {A} Hybrid Approach},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems, 5th International Conference,
               {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  pages     = {303--307},
  year      = {2008},
  crossref  = {DBLP:conf/cpaior/2008},
  url       = {https://doi.org/10.1007/978-3-540-68155-7_27},
  doi       = {10.1007/978-3-540-68155-7_27},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/GomesHS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HoeveS08,
  author    = {Willem Jan van Hoeve and
               Ashish Sabharwal},
  title     = {Filtering Atmost1 on Pairs of Set Variables},
  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},
  pages     = {382--386},
  year      = {2008},
  crossref  = {DBLP:conf/cpaior/2008},
  url       = {https://doi.org/10.1007/978-3-540-68155-7_42},
  doi       = {10.1007/978-3-540-68155-7_42},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/HoeveS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isaim/DilkinaGS08,
  author    = {Bistra N. Dilkina and
               Carla P. Gomes and
               Ashish Sabharwal},
  title     = {Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification,
               and Preprocessing},
  booktitle = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/isaim/2008},
  url       = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008_0068_52aac45cbd48da479711d1c960b7be35.pdf},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/isaim/DilkinaGS08},
  bibsource = {dblp computer science bibliography, http://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},
  crossref  = {DBLP:conf/isaim/2008},
  url       = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008_0052_3da5c1fd0ca49eef3e503ba9723e3c3b.pdf},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/isaim/KrocSS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nips/KrocSS08,
  author    = {Lukas Kroc and
               Ashish Sabharwal and
               Bart Selman},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/nips/2008},
  url       = {http://papers.nips.cc/paper/3512-counting-solution-clusters-in-graph-coloring-problems-using-belief-propagation},
  timestamp = {Thu, 11 Dec 2014 17:34:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/KrocSS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:reference/fai/GomesKSS08,
  author    = {Carla P. Gomes and
               Henry A. Kautz and
               Ashish Sabharwal and
               Bart Selman},
  title     = {Satisfiability Solvers},
  booktitle = {Handbook of Knowledge Representation},
  pages     = {89--134},
  year      = {2008},
  crossref  = {DBLP:reference/fai/3},
  url       = {https://doi.org/10.1016/S1574-6526(07)03002-7},
  doi       = {10.1016/S1574-6526(07)03002-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/fai/GomesKSS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cc/BeameIS07,
  author    = {Paul Beame and
               Russell Impagliazzo and
               Ashish Sabharwal},
  title     = {The Resolution Complexity of Independent Sets and Vertex Covers in
               Random Graphs},
  journal   = {Computational Complexity},
  volume    = {16},
  number    = {3},
  pages     = {245--297},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00037-007-0230-0},
  doi       = {10.1007/s00037-007-0230-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cc/BeameIS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DilkinaGS07,
  author    = {Bistra N. Dilkina and
               Carla P. Gomes and
               Ashish Sabharwal},
  title     = {The Impact of Network Topology on Pure Nash Equilibria in Graphical
               Games},
  booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  pages     = {42--49},
  year      = {2007},
  crossref  = {DBLP:conf/aaai/2007},
  url       = {http://www.aaai.org/Library/AAAI/2007/aaai07-007.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/DilkinaGS07},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2007},
  crossref  = {DBLP:conf/aaai/2007},
  url       = {http://www.aaai.org/Library/AAAI/2007/aaai07-031.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/GomesHSS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/DilkinaGS07,
  author    = {Bistra N. Dilkina and
               Carla P. Gomes and
               Ashish Sabharwal},
  title     = {Tradeoffs in the Complexity of Backdoor Detection},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
               International Conference, {CP} 2007, Providence, RI, USA, September
               23-27, 2007, Proceedings},
  pages     = {256--270},
  year      = {2007},
  crossref  = {DBLP:conf/cp/2007},
  url       = {https://doi.org/10.1007/978-3-540-74970-7_20},
  doi       = {10.1007/978-3-540-74970-7_20},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/DilkinaGS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ConradGHSS07,
  author    = {Jon Conrad and
               Carla P. Gomes and
               Willem Jan van Hoeve and
               Ashish Sabharwal and
               Jordan Suter},
  title     = {Connections in Networks: Hardness of Feasibility Versus Optimality},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems, 4th International Conference,
               {CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
  pages     = {16--28},
  year      = {2007},
  crossref  = {DBLP:conf/cpaior/2007},
  url       = {https://doi.org/10.1007/978-3-540-72397-4_2},
  doi       = {10.1007/978-3-540-72397-4_2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/ConradGHSS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CaryRS07,
  author    = {Matthew Cary and
               Atri Rudra and
               Ashish Sabharwal},
  title     = {Paper Retraction: On the Hardness of Embeddings Between Two Finite
               Metrics},
  booktitle = {Automata, Languages and Programming, 34th International Colloquium,
               {ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
  pages     = {949},
  year      = {2007},
  crossref  = {DBLP:conf/icalp/2007},
  url       = {https://doi.org/10.1007/978-3-540-73420-8_81},
  doi       = {10.1007/978-3-540-73420-8_81},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/CaryRS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GomesHSS07,
  author    = {Carla P. Gomes and
               J{\"{o}}rg Hoffmann and
               Ashish Sabharwal and
               Bart Selman},
  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},
  crossref  = {DBLP:conf/ijcai/2007},
  url       = {http://ijcai.org/Proceedings/07/Papers/369.pdf},
  timestamp = {Wed, 20 Jul 2016 13:58:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/GomesHSS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/GomesHSS07,
  author    = {Carla P. Gomes and
               J{\"{o}}rg Hoffmann and
               Ashish Sabharwal and
               Bart Selman},
  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},
  pages     = {100--106},
  year      = {2007},
  crossref  = {DBLP:conf/sat/2007},
  url       = {https://doi.org/10.1007/978-3-540-72788-0_13},
  doi       = {10.1007/978-3-540-72788-0_13},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/GomesHSS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GomesHSS07,
  author    = {Carla P. Gomes and
               J{\"{o}}rg Hoffmann and
               Ashish Sabharwal and
               Bart Selman},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/semweb/2007nfrsw},
  url       = {http://ceur-ws.org/Vol-291/paper09.pdf},
  timestamp = {Tue, 21 Feb 2017 13:43:19 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/semweb/GomesHSS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uai/KrocSS07,
  author    = {Lukas Kroc and
               Ashish Sabharwal and
               Bart Selman},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/uai/2007},
  url       = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1693&proceeding_id=23},
  timestamp = {Wed, 06 May 2015 15:02:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/KrocSS07},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/aaai/2006},
  url       = {http://www.aaai.org/Library/AAAI/2006/aaai06-009.php},
  timestamp = {Mon, 19 Mar 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/GomesSS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aips/HoffmannSD06,
  author    = {J{\"{o}}rg Hoffmann and
               Ashish Sabharwal and
               Carmel Domshlak},
  title     = {Friends or Foes? An {AI} Planning Perspective on Abstraction and Search},
  booktitle = {Proceedings of the Sixteenth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
  pages     = {294--303},
  year      = {2006},
  crossref  = {DBLP:conf/aips/2006},
  url       = {http://www.aaai.org/Library/ICAPS/2006/icaps06-030.php},
  timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aips/HoffmannSD06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/HoevePRS06,
  author    = {Willem Jan van Hoeve and
               Gilles Pesant and
               Louis{-}Martin Rousseau and
               Ashish Sabharwal},
  title     = {Revisiting the Sequence Constraint},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
               International Conference, {CP} 2006, Nantes, France, September 25-29,
               2006, Proceedings},
  pages     = {620--634},
  year      = {2006},
  crossref  = {DBLP:conf/cp/2006},
  url       = {https://doi.org/10.1007/11889205_44},
  doi       = {10.1007/11889205_44},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/HoevePRS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nips/GomesSS06,
  author    = {Carla P. Gomes and
               Ashish Sabharwal and
               Bart Selman},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/nips/2006},
  url       = {http://papers.nips.cc/paper/3013-near-uniform-sampling-of-combinatorial-spaces-using-xor-constraints},
  timestamp = {Tue, 05 Jan 2016 17:17:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/GomesSS06},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {382--395},
  year      = {2006},
  crossref  = {DBLP:conf/sat/2006},
  url       = {https://doi.org/10.1007/11814948_35},
  doi       = {10.1007/11814948_35},
  timestamp = {Fri, 02 Jun 2017 10:15:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/SabharwalAGHS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Sabharwal05,
  author    = {Ashish Sabharwal},
  title     = {SymChaff: {A} Structure-Aware Satisfiability Solver},
  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     = {467--474},
  year      = {2005},
  crossref  = {DBLP:conf/aaai/2005},
  url       = {http://www.aaai.org/Library/AAAI/2005/aaai05-074.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/Sabharwal05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CaryRS05,
  author    = {Matthew Cary and
               Atri Rudra and
               Ashish Sabharwal},
  title     = {On the Hardness of Embeddings Between Two Finite Metrics},
  booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
               {ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
  pages     = {1412--1423},
  year      = {2005},
  crossref  = {DBLP:conf/icalp/2005},
  url       = {https://doi.org/10.1007/11523468_114},
  doi       = {10.1007/11523468_114},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/CaryRS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jair/BeameKS04,
  author    = {Paul Beame and
               Henry A. Kautz and
               Ashish Sabharwal},
  title     = {Towards Understanding and Harnessing the Potential of Clause Learning},
  journal   = {J. Artif. Intell. Res.},
  volume    = {22},
  pages     = {319--351},
  year      = {2004},
  url       = {https://doi.org/10.1613/jair.1410},
  doi       = {10.1613/jair.1410},
  timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jair/BeameKS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/Buresh-OppenheimBPRS04,
  author    = {Joshua Buresh{-}Oppenheim and
               Paul Beame and
               Toniann Pitassi and
               Ran Raz and
               Ashish Sabharwal},
  title     = {Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles},
  journal   = {{SIAM} J. Comput.},
  volume    = {34},
  number    = {2},
  pages     = {261--276},
  year      = {2004},
  url       = {https://doi.org/10.1137/S0097539703433146},
  doi       = {10.1137/S0097539703433146},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/Buresh-OppenheimBPRS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BeameKS03,
  author    = {Paul Beame and
               Henry A. Kautz and
               Ashish Sabharwal},
  title     = {Understanding the Power of Clause Learning},
  booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
               on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages     = {1194--1201},
  year      = {2003},
  crossref  = {DBLP:conf/ijcai/2003},
  url       = {http://ijcai.org/Proceedings/03/Papers/171.pdf},
  timestamp = {Thu, 25 Aug 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/BeameKS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/SabharwalBK03,
  author    = {Ashish Sabharwal and
               Paul Beame and
               Henry A. Kautz},
  title     = {Using Problem Structure for Efficient Clause Learning},
  booktitle = {Theory and Applications of Satisfiability Testing, 6th International
               Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
               Selected Revised Papers},
  pages     = {242--256},
  year      = {2003},
  crossref  = {DBLP:conf/sat/2003},
  url       = {https://doi.org/10.1007/978-3-540-24605-3_19},
  doi       = {10.1007/978-3-540-24605-3_19},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/SabharwalBK03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/Buresh-OppenheimBPRS02,
  author    = {Josh Buresh{-}Oppenheim and
               Paul Beame and
               Toniann Pitassi and
               Ran Raz and
               Ashish Sabharwal},
  title     = {Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles},
  booktitle = {43rd Symposium on Foundations of Computer Science {(FOCS} 2002), 16-19
               November 2002, Vancouver, BC, Canada, Proceedings},
  pages     = {583--592},
  year      = {2002},
  crossref  = {DBLP:conf/focs/2002},
  url       = {https://doi.org/10.1109/SFCS.2002.1181982},
  doi       = {10.1109/SFCS.2002.1181982},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/Buresh-OppenheimBPRS02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR02-023,
  author    = {Josh Buresh{-}Oppenheim and
               Paul Beame and
               Toniann Pitassi and
               Ran Raz and
               Ashish Sabharwal},
  title     = {Bounded-depth Frege lower bounds for weaker pigeonhole principles},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  number    = {023},
  year      = {2002},
  url       = {http://eccc.hpi-web.de/eccc-reports/2002/TR02-023/index.html},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/eccc/ECCC-TR02-023},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coco/BeameIS01,
  author    = {Paul Beame and
               Russell Impagliazzo and
               Ashish Sabharwal},
  title     = {Resolution Complexity of Independent Sets in Random Graphs},
  booktitle = {Proceedings of the 16th Annual {IEEE} Conference on Computational
               Complexity, Chicago, Illinois, USA, June 18-21, 2001},
  pages     = {52--68},
  year      = {2001},
  crossref  = {DBLP:conf/coco/2001},
  url       = {https://doi.org/10.1109/CCC.2001.933872},
  doi       = {10.1109/CCC.2001.933872},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/BeameIS01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/acl/2017-2,
  editor    = {Regina Barzilay and
               Min{-}Yen Kan},
  title     = {Proceedings of the 55th Annual Meeting of the Association for Computational
               Linguistics, {ACL} 2017, Vancouver, Canada, July 30 - August 4, Volume
               2: Short Papers},
  publisher = {Association for Computational Linguistics},
  year      = {2017},
  url       = {http://aclanthology.info/volumes/proceedings-of-the-55th-annual-meeting-of-the-association-for-computational-linguistics-volume-2-short-papers},
  isbn      = {978-1-945626-76-0},
  timestamp = {Fri, 04 Aug 2017 16:38:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/acl/2017-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/conll/2017,
  editor    = {Roger Levy and
               Lucia Specia},
  title     = {Proceedings of the 21st Conference on Computational Natural Language
               Learning (CoNLL 2017), Vancouver, Canada, August 3-4, 2017},
  publisher = {Association for Computational Linguistics},
  year      = {2017},
  url       = {http://aclanthology.info/volumes/proceedings-of-the-21st-conference-on-computational-natural-language-learning-conll-2017},
  isbn      = {978-1-945626-54-8},
  timestamp = {Wed, 09 Aug 2017 11:24:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/conll/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uai/2017,
  editor    = {Gal Elidan and
               Kristian Kersting and
               Alexander T. Ihler},
  title     = {Proceedings of the Thirty-Third Conference on Uncertainty in Artificial
               Intelligence, {UAI} 2017, Sydney, Australia, August 11-15, 2017},
  publisher = {{AUAI} Press},
  year      = {2017},
  url       = {http://www.auai.org/uai2017/media/Booklet.pdf},
  timestamp = {Mon, 13 Nov 2017 19:56:58 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/uai/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016,
  editor    = {Dale Schuurmans and
               Michael P. Wellman},
  title     = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA}},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/AAAI/aaai16contents.php},
  isbn      = {978-1-57735-760-5},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icml/2016,
  editor    = {Maria{-}Florina Balcan and
               Kilian Q. Weinberger},
  title     = {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},
  publisher = {JMLR.org},
  year      = {2016},
  url       = {http://jmlr.org/proceedings/papers/v48/},
  timestamp = {Tue, 12 Jul 2016 21:51:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icml/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016,
  editor    = {Subbarao Kambhampati},
  title     = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  publisher = {{IJCAI/AAAI} Press},
  year      = {2016},
  url       = {http://www.ijcai.org/Proceedings/2016},
  isbn      = {978-1-57735-770-4},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nips/2016,
  editor    = {Daniel D. Lee and
               Masashi Sugiyama and
               Ulrike von Luxburg and
               Isabelle Guyon and
               Roman Garnett},
  title     = {Advances in Neural Information Processing Systems 29: Annual Conference
               on Neural Information Processing Systems 2016, December 5-10, 2016,
               Barcelona, Spain},
  year      = {2016},
  url       = {http://papers.nips.cc/book/advances-in-neural-information-processing-systems-29-2016},
  timestamp = {Fri, 03 Mar 2017 14:59:41 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2015,
  editor    = {Laurent Michel},
  title     = {Integration of {AI} and {OR} Techniques in Constraint Programming
               - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain,
               May 18-22, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9075},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-18008-3},
  doi       = {10.1007/978-3-319-18008-3},
  isbn      = {978-3-319-18007-6},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/emnlp/2015,
  editor    = {Llu{\'{\i}}s M{\`{a}}rquez and
               Chris Callison{-}Burch and
               Jian Su and
               Daniele Pighin and
               Yuval Marton},
  title     = {Proceedings of the 2015 Conference on Empirical Methods in Natural
               Language Processing, {EMNLP} 2015, Lisbon, Portugal, September 17-21,
               2015},
  publisher = {The Association for Computational Linguistics},
  year      = {2015},
  url       = {http://aclweb.org/anthology/D/D15/},
  isbn      = {978-1-941643-32-7},
  timestamp = {Wed, 14 Oct 2015 09:19:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/emnlp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2014,
  editor    = {Carla E. Brodley and
               Peter Stone},
  title     = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/Library/AAAI/aaai14contents.php},
  isbn      = {978-1-57735-661-5},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2014,
  editor    = {Barry O'Sullivan},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10428-7},
  doi       = {10.1007/978-3-319-10428-7},
  isbn      = {978-3-319-10427-0},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2014,
  editor    = {Helmut Simonis},
  title     = {Integration of {AI} and {OR} Techniques in Constraint Programming
               - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May
               19-23, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8451},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07046-9},
  doi       = {10.1007/978-3-319-07046-9},
  isbn      = {978-3-319-07045-2},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icml/2014,
  title     = {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},
  publisher = {JMLR.org},
  year      = {2014},
  url       = {http://jmlr.org/proceedings/papers/v32/},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icml/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2013,
  editor    = {Marie desJardins and
               Michael L. Littman},
  title     = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
               Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
  publisher = {{AAAI} Press},
  year      = {2013},
  url       = {http://www.aaai.org/Library/AAAI/aaai13contents.php},
  isbn      = {978-1-57735-615-8},
  timestamp = {Tue, 17 Dec 2013 19:26:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2013late,
  title     = {Late-Breaking Developments in the Field of Artificial Intelligence,
               Bellevue, Washington, USA, July 14-18, 2013},
  series    = {{AAAI} Workshops},
  volume    = {{WS-13-17}},
  publisher = {{AAAI}},
  year      = {2013},
  url       = {http://www.aaai.org/Library/Workshops/ws13-17.php},
  timestamp = {Tue, 17 Dec 2013 20:46:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2013late},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2013,
  editor    = {Carla P. Gomes and
               Meinolf Sellmann},
  title     = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems, 10th International Conference,
               {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7874},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38171-3},
  doi       = {10.1007/978-3-642-38171-3},
  isbn      = {978-3-642-38170-6},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icml/2013,
  title     = {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},
  publisher = {JMLR.org},
  year      = {2013},
  url       = {http://jmlr.org/proceedings/papers/v28/},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icml/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2013,
  editor    = {Francesca Rossi},
  title     = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  publisher = {{IJCAI/AAAI}},
  year      = {2013},
  url       = {http://ijcai.org/proceedings/2013},
  isbn      = {978-1-57735-633-2},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lion/2013,
  editor    = {Giuseppe Nicosia and
               Panos M. Pardalos},
  title     = {Learning and Intelligent Optimization - 7th International Conference,
               {LION} 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7997},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-44973-4},
  doi       = {10.1007/978-3-642-44973-4},
  isbn      = {978-3-642-44972-7},
  timestamp = {Fri, 26 May 2017 00:49:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lion/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nips/2013,
  editor    = {Christopher J. C. Burges and
               L{\'{e}}on Bottou and
               Zoubin Ghahramani and
               Kilian Q. Weinberger},
  title     = {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},
  year      = {2013},
  url       = {http://papers.nips.cc/book/advances-in-neural-information-processing-systems-26-2013},
  timestamp = {Fri, 31 Jan 2014 12:11:40 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2013,
  editor    = {Matti J{\"{a}}rvisalo and
               Allen Van Gelder},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5},
  doi       = {10.1007/978-3-642-39071-5},
  isbn      = {978-3-642-39070-8},
  timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uai/2013,
  editor    = {Ann Nicholson and
               Padhraic Smyth},
  title     = {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/displayArticles.jsp?mmnu=1&smnu=1&proceeding_id=29},
  timestamp = {Mon, 27 Jul 2015 18:21:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2012,
  editor    = {Michela Milano},
  title     = {Principles and Practice of Constraint Programming - 18th International
               Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
               8-12, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7514},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33558-7},
  doi       = {10.1007/978-3-642-33558-7},
  isbn      = {978-3-642-33557-0},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2012,
  editor    = {Nicolas Beldiceanu and
               Narendra Jussien and
               Eric Pinson},
  title     = {Integration of {AI} and {OR} Techniques in Contraint Programming for
               Combinatorial Optimzation Problems - 9th International Conference,
               {CPAIOR} 2012, Nantes, France, May 28 - June1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7298},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29828-8},
  doi       = {10.1007/978-3-642-29828-8},
  isbn      = {978-3-642-29827-1},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nips/2012,
  editor    = {Peter L. Bartlett and
               Fernando C. N. Pereira and
               Christopher J. C. Burges and
               L{\'{e}}on Bottou and
               Kilian Q. Weinberger},
  title     = {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},
  year      = {2012},
  url       = {http://papers.nips.cc/book/advances-in-neural-information-processing-systems-25-2012},
  timestamp = {Thu, 11 Dec 2014 17:34:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2012,
  editor    = {Alessandro Cimatti and
               Roberto Sebastiani},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8},
  doi       = {10.1007/978-3-642-31612-8},
  isbn      = {978-3-642-31611-1},
  timestamp = {Mon, 05 Jun 2017 12:41:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2011,
  editor    = {Wolfram Burgard and
               Dan Roth},
  title     = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  publisher = {{AAAI} Press},
  year      = {2011},
  timestamp = {Tue, 09 Aug 2011 07:56:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2011,
  editor    = {Jimmy Ho{-}Man Lee},
  title     = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
               International Conference, {CP} 2011, Perugia, Italy, September 12-16,
               2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6876},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23786-7},
  doi       = {10.1007/978-3-642-23786-7},
  isbn      = {978-3-642-23785-0},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nips/2011,
  editor    = {John Shawe{-}Taylor and
               Richard S. Zemel and
               Peter L. Bartlett and
               Fernando C. N. Pereira and
               Kilian Q. Weinberger},
  title     = {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},
  year      = {2011},
  url       = {http://papers.nips.cc/book/advances-in-neural-information-processing-systems-24-2011},
  timestamp = {Thu, 11 Dec 2014 17:34:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2011,
  editor    = {Karem A. Sakallah and
               Laurent Simon},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21581-0},
  doi       = {10.1007/978-3-642-21581-0},
  isbn      = {978-3-642-21580-3},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2010abstr,
  title     = {Abstraction, Reformulation, and Approximation, Papers from the 2010
               {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series    = {{AAAI} Workshops},
  volume    = {{WS-10-08}},
  publisher = {{AAAI}},
  year      = {2010},
  url       = {http://www.aaai.org/Library/Workshops/ws10-08.php},
  timestamp = {Thu, 08 Mar 2012 15:40:49 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2010abstr},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aips/2010,
  editor    = {Ronen I. Brafman and
               Hector Geffner and
               J{\"{o}}rg Hoffmann and
               Henry A. Kautz},
  title     = {Proceedings of the 20th International Conference on Automated Planning
               and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
               2010},
  publisher = {{AAAI}},
  year      = {2010},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aips/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2010,
  editor    = {David Cohen},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15396-9},
  doi       = {10.1007/978-3-642-15396-9},
  isbn      = {978-3-642-15395-2},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2010,
  editor    = {Ofer Strichman and
               Stefan Szeider},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14186-7},
  doi       = {10.1007/978-3-642-14186-7},
  isbn      = {978-3-642-14185-0},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uai/2010,
  editor    = {Peter Gr{\"{u}}nwald and
               Peter Spirtes},
  title     = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty
               in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010},
  publisher = {{AUAI} Press},
  year      = {2010},
  url       = {https://dslpitt.org/uai/displayArticles.jsp?mmnu=1&smnu=1&proceeding_id=26},
  isbn      = {978-0-9749039-6-5},
  timestamp = {Wed, 06 May 2015 15:02:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2009,
  editor    = {Willem Jan van Hoeve and
               John N. Hooker},
  title     = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems, 6th International Conference,
               {CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5547},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-01929-6},
  doi       = {10.1007/978-3-642-01929-6},
  isbn      = {978-3-642-01928-9},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2009,
  editor    = {Craig Boutilier},
  title     = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  year      = {2009},
  url       = {http://ijcai.org/proceedings/2009},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2009,
  editor    = {Sung Y. Shin and
               Sascha Ossowski},
  title     = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
               Honolulu, Hawaii, USA, March 9-12, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://doi.acm.org/10.1145/1529282},
  doi       = {10.1145/1529282},
  isbn      = {978-1-60558-166-8},
  timestamp = {Tue, 03 Nov 2015 12:36:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2009,
  editor    = {Oliver Kullmann},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02777-2},
  doi       = {10.1007/978-3-642-02777-2},
  isbn      = {978-3-642-02776-5},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:series/faia/2009-185,
  editor    = {Armin Biere and
               Marijn Heule and
               Hans van Maaren and
               Toby Walsh},
  title     = {Handbook of Satisfiability},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {185},
  publisher = {{IOS} Press},
  year      = {2009},
  isbn      = {978-1-58603-929-5},
  timestamp = {Wed, 16 Sep 2009 11:21:15 +0200},
  biburl    = {http://dblp.org/rec/bib/series/faia/2009-185},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2008,
  editor    = {Laurent Perron and
               Michael A. Trick},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68155-7},
  doi       = {10.1007/978-3-540-68155-7},
  isbn      = {978-3-540-68154-0},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isaim/2008,
  title     = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
  year      = {2008},
  url       = {http://isaim2008.unl.edu/index.php?page=proceedings},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/isaim/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nips/2008,
  editor    = {Daphne Koller and
               Dale Schuurmans and
               Yoshua Bengio and
               L{\'{e}}on Bottou},
  title     = {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},
  publisher = {Curran Associates, Inc.},
  year      = {2009},
  url       = {http://papers.nips.cc/book/advances-in-neural-information-processing-systems-21-2008},
  timestamp = {Thu, 11 Dec 2014 17:34:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:reference/fai/3,
  editor    = {Frank van Harmelen and
               Vladimir Lifschitz and
               Bruce W. Porter},
  title     = {Handbook of Knowledge Representation},
  series    = {Foundations of Artificial Intelligence},
  volume    = {3},
  publisher = {Elsevier},
  year      = {2008},
  url       = {http://www.sciencedirect.com/science/bookseries/15746526/3},
  isbn      = {978-0-444-52211-5},
  timestamp = {Fri, 16 Oct 2015 09:55:56 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/fai/3},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2007,
  title     = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  publisher = {{AAAI} Press},
  year      = {2007},
  isbn      = {978-1-57735-323-2},
  timestamp = {Wed, 05 Sep 2007 08:24:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2007,
  editor    = {Christian Bessiere},
  title     = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
               International Conference, {CP} 2007, Providence, RI, USA, September
               23-27, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4741},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74970-7},
  doi       = {10.1007/978-3-540-74970-7},
  isbn      = {978-3-540-74969-1},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2007,
  editor    = {Pascal Van Hentenryck and
               Laurence A. Wolsey},
  title     = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems, 4th International Conference,
               {CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4510},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72397-4},
  doi       = {10.1007/978-3-540-72397-4},
  isbn      = {978-3-540-72396-7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2007,
  editor    = {Lars Arge and
               Christian Cachin and
               Tomasz Jurdzinski and
               Andrzej Tarlecki},
  title     = {Automata, Languages and Programming, 34th International Colloquium,
               {ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4596},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73420-8},
  doi       = {10.1007/978-3-540-73420-8},
  isbn      = {978-3-540-73419-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2007,
  editor    = {Manuela M. Veloso},
  title     = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
               on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  year      = {2007},
  url       = {http://ijcai.org/proceedings/2007},
  timestamp = {Wed, 20 Jul 2016 13:58:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2007,
  editor    = {Jo{\~{a}}o Marques{-}Silva and
               Karem A. Sakallah},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72788-0},
  doi       = {10.1007/978-3-540-72788-0},
  isbn      = {978-3-540-72787-3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/semweb/2007nfrsw,
  editor    = {Ruzica Piskac and
               Frank van Harmelen and
               Ning Zhong},
  title     = {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       = {http://ceur-ws.org/Vol-291},
  urn       = {urn:nbn:de:0074-291-6},
  timestamp = {Tue, 21 Feb 2017 13:43:19 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/semweb/2007nfrsw},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uai/2007,
  editor    = {Ronald Parr and
               Linda C. van der Gaag},
  title     = {{UAI} 2007, Proceedings of the Twenty-Third Conference on Uncertainty
               in Artificial Intelligence, Vancouver, BC, Canada, July 19-22, 2007},
  publisher = {{AUAI} Press},
  year      = {2007},
  url       = {https://dslpitt.org/uai/displayArticles.jsp?mmnu=1&smnu=1&proceeding_id=23},
  isbn      = {0-9749039-3-0},
  timestamp = {Wed, 06 May 2015 15:02:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2006,
  title     = {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}},
  publisher = {{AAAI} Press},
  year      = {2006},
  timestamp = {Thu, 13 Jul 2006 12:28:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aips/2006,
  editor    = {Derek Long and
               Stephen F. Smith and
               Daniel Borrajo and
               Lee McCluskey},
  title     = {Proceedings of the Sixteenth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
  publisher = {{AAAI}},
  year      = {2006},
  isbn      = {978-1-57735-270-9},
  timestamp = {Fri, 23 Nov 2007 13:41:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aips/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2006,
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title     = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
               International Conference, {CP} 2006, Nantes, France, September 25-29,
               2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4204},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11889205},
  doi       = {10.1007/11889205},
  isbn      = {3-540-46267-8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nips/2006,
  editor    = {Bernhard Sch{\"{o}}lkopf and
               John C. Platt and
               Thomas Hofmann},
  title     = {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},
  publisher = {{MIT} Press},
  year      = {2007},
  url       = {http://papers.nips.cc/book/advances-in-neural-information-processing-systems-19-2006},
  isbn      = {0-262-19568-2},
  timestamp = {Tue, 05 Jan 2016 17:17:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nips/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2006,
  editor    = {Armin Biere and
               Carla P. Gomes},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
               International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4121},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11814948},
  doi       = {10.1007/11814948},
  isbn      = {3-540-37206-7},
  timestamp = {Fri, 02 Jun 2017 10:15:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2005,
  editor    = {Manuela M. Veloso and
               Subbarao Kambhampati},
  title     = {Proceedings, The Twentieth National Conference on Artificial Intelligence
               and the Seventeenth Innovative Applications of Artificial Intelligence
               Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2005},
  isbn      = {1-57735-236-X},
  timestamp = {Mon, 26 Feb 2007 09:10:53 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2005,
  editor    = {Lu{\'{\i}}s Caires and
               Giuseppe F. Italiano and
               Lu{\'{\i}}s Monteiro and
               Catuscia Palamidessi and
               Moti Yung},
  title     = {Automata, Languages and Programming, 32nd International Colloquium,
               {ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3580},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11523468},
  doi       = {10.1007/11523468},
  isbn      = {3-540-27580-0},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2003,
  editor    = {Georg Gottlob and
               Toby Walsh},
  title     = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
               on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  publisher = {Morgan Kaufmann},
  year      = {2003},
  url       = {http://ijcai.org/proceedings/2003},
  timestamp = {Tue, 19 Jul 2016 16:02:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2003,
  editor    = {Enrico Giunchiglia and
               Armando Tacchella},
  title     = {Theory and Applications of Satisfiability Testing, 6th International
               Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
               Selected Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2919},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b95238},
  doi       = {10.1007/b95238},
  isbn      = {3-540-20851-8},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/2002,
  title     = {43rd Symposium on Foundations of Computer Science {(FOCS} 2002), 16-19
               November 2002, Vancouver, BC, Canada, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8411},
  isbn      = {0-7695-1822-2},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coco/2001,
  title     = {Proceedings of the 16th Annual {IEEE} Conference on Computational
               Complexity, Chicago, Illinois, USA, June 18-21, 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7429},
  isbn      = {0-7695-1053-1},
  timestamp = {Fri, 13 May 2016 10:30:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier