@inproceedings{finn2016guided,
  title={Guided cost learning: Deep inverse optimal control via policy optimization},
  author={Finn, Chelsea and Levine, Sergey and Abbeel, Pieter},
  booktitle={International conference on machine learning},
  pages={49--58},
  year={2016},
  organization={PMLR}
}

@inproceedings{fan2021xorcd,
  title={XOR-CD: Linearly Convergent Constrained Structure Generation},
  author={Ding, Fan and Ma, Jianzhu and Xu, Jinbo and Xue, Yexiang},
  booktitle={International conference on machine learning},
  year={2021},
  organization={ICML}
}

@inproceedings{fan2021xorsgd,
  title={XOR-SGD: Provable Convex Stochastic Optimization for Decision-making},
  author={Ding, Fan and Xue, Yexiang},
  booktitle={Uncertainty in Artificial Intelligence},
  year={2021},
  organization={UAI}
}

@inproceedings{fan2021palm,
  title={PALM: Probabilistic Area Loss Minimization for Protein Sequence Alignment},
  author={Ding, Fan and Jiang, Nan and Ma, Jianzhu and Peng, Jian and Xu, Jinbo and Xue, Yexiang},
  booktitle={Uncertainty in Artificial Intelligence},
  year={2021},
  organization={UAI}
}


@inproceedings{snoswell2020revisiting,
  title={Revisiting Maximum Entropy Inverse Reinforcement Learning: New Perspectives and Algorithms},
  author={Snoswell, Aaron J and Singh, Surya PN and Ye, Nan},
  booktitle={2020 IEEE Symposium Series on Computational Intelligence (SSCI)},
  pages={241--249},
  year={2020},
  organization={IEEE}
}

@article{scobee2019maximum,
  title={Maximum likelihood constraint inference for inverse reinforcement learning},
  author={Scobee, Dexter RR and Sastry, S Shankar},
  journal={arXiv preprint arXiv:1909.05477},
  year={2019}
}

@inproceedings{chou2018learning,
  title={Learning constraints from demonstrations},
  author={Chou, Glen and Berenson, Dmitry and Ozay, Necmiye},
  booktitle={International Workshop on the Algorithmic Foundations of Robotics},
  pages={228--245},
  year={2018},
  organization={Springer}
}

@inproceedings{subramani2018inferring,
  title={Inferring geometric constraints in human demonstrations},
  author={Subramani, Guru and Zinn, Michael and Gleicher, Michael},
  booktitle={Conference on Robot Learning},
  pages={223--236},
  year={2018},
  organization={PMLR}
}

@inproceedings{mcpherson2018modeling,
  title={Modeling supervisor safe sets for improving collaboration in human-robot teams},
  author={McPherson, David L and Scobee, Dexter RR and Menke, Joseph and Yang, Allen Y and Sastry, S Shankar},
  booktitle={2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
  pages={861--868},
  year={2018},
  organization={IEEE}
}

@article{kalweit2020deep,
  title={Deep inverse q-learning with constraints},
  author={Kalweit, Gabriel and Huegle, Maria and Werling, Moritz and Boedecker, Joschka},
  journal={arXiv preprint arXiv:2008.01712},
  year={2020}
}

@article{vazquez2017learning,
  title={Learning task specifications from demonstrations},
  author={Vazquez-Chanlatte, Marcell and Jha, Susmit and Tiwari, Ashish and Ho, Mark K and Seshia, Sanjit A},
  journal={arXiv preprint arXiv:1710.03875},
  year={2017}
}

@article{abbeel2007application,
  title={An application of reinforcement learning to aerobatic helicopter flight},
  author={Abbeel, Pieter and Coates, Adam and Quigley, Morgan and Ng, Andrew Y},
  journal={Advances in neural information processing systems},
  volume={19},
  pages={1},
  year={2007},
  publisher={MIT; 1998}
}

@inproceedings{scobee2018haptic,
  title={Haptic assistance via inverse reinforcement learning},
  author={Scobee, Dexter RR and Royo, Vicenc Rubies and Tomlin, Claire J and Sastry, S Shankar},
  booktitle={2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC)},
  pages={1510--1517},
  year={2018},
  organization={IEEE}
}

@inproceedings{vasquez2014inverse,
  title={Inverse reinforcement learning algorithms and features for robot navigation in crowds: an experimental comparison},
  author={Vasquez, Dizan and Okal, Billy and Arras, Kai O},
  booktitle={2014 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  pages={1341--1346},
  year={2014},
  organization={IEEE}
}

@inproceedings{boularias2011relative,
  title={Relative entropy inverse reinforcement learning},
  author={Boularias, Abdeslam and Kober, Jens and Peters, Jan},
  booktitle={Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics},
  pages={182--189},
  year={2011},
  organization={JMLR Workshop and Conference Proceedings}
}

@article{ho2016generative,
  title={Generative adversarial imitation learning},
  author={Ho, Jonathan and Ermon, Stefano},
  journal={arXiv preprint arXiv:1606.03476},
  year={2016}
}

@inproceedings{ratliff2006maximum,
  title={Maximum margin planning},
  author={Ratliff, Nathan D and Bagnell, J Andrew and Zinkevich, Martin A},
  booktitle={Proceedings of the 23rd international conference on Machine learning},
  pages={729--736},
  year={2006}
}

@article{li2017deep,
  title={Deep reinforcement learning: An overview},
  author={Li, Yuxi},
  journal={arXiv preprint arXiv:1701.07274},
  year={2017}
}

@inproceedings{abbeel2004apprenticeship,
  title={Apprenticeship learning via inverse reinforcement learning},
  author={Abbeel, Pieter and Ng, Andrew Y},
  booktitle={Proceedings of the twenty-first international conference on Machine learning},
  pages={1},
  year={2004}
}

@article{arora2021survey,
  title={A survey of inverse reinforcement learning: Challenges, methods and progress},
  author={Arora, Saurabh and Doshi, Prashant},
  journal={Artificial Intelligence},
  pages={103500},
  year={2021},
  publisher={Elsevier}
}

@article{mcpherson2021maximum,
  title={Maximum Likelihood Constraint Inference from Stochastic Demonstrations},
  author={McPherson, David L and Stocking, Kaylene C and Sastry, S Shankar},
  journal={arXiv preprint arXiv:2102.12554},
  year={2021}
}

@article{anwar2020inverse,
  title={Inverse Constrained Reinforcement Learning},
  author={Anwar, Usman and Malik, Shehryar and Aghasi, Alireza and Ahmed, Ali},
  journal={arXiv preprint arXiv:2011.09999},
  year={2020}
}

@inproceedings{ziebart2008maximum,
  title={Maximum entropy inverse reinforcement learning.},
  author={Ziebart, Brian D and Maas, Andrew L and Bagnell, J Andrew and Dey, Anind K},
  booktitle={Aaai},
  volume={8},
  pages={1433--1438},
  year={2008},
  organization={Chicago, IL, USA}
}

@inproceedings{haarnoja2017reinforcement,
  title={Reinforcement learning with deep energy-based policies},
  author={Haarnoja, Tuomas and Tang, Haoran and Abbeel, Pieter and Levine, Sergey},
  booktitle={International Conference on Machine Learning},
  pages={1352--1361},
  year={2017},
  organization={PMLR}
}

@inproceedings{ng2000algorithms,
  title={Algorithms for inverse reinforcement learning.},
  author={Ng, Andrew Y and Russell, Stuart J},
  booktitle={Proceedings of the Seventeenth International Conference on Machine Learning},
  year={2000}
}

@article{wulfmeier2015maximum,
  title={Maximum entropy deep inverse reinforcement learning},
  author={Wulfmeier, Markus and Ondruska, Peter and Posner, Ingmar},
  journal={arXiv preprint arXiv:1507.04888},
  year={2015}
}

%%

@article{ghosh2008minimizing,
  title={Minimizing effective resistance of a graph},
  author={Ghosh, Arpita and Boyd, Stephen and Saberi, Amin},
  journal={SIAM review},
  volume={50},
  number={1},
  pages={37--66},
  year={2008},
  publisher={SIAM}
}

@inproceedings{belanger2016structured,
  title={Structured prediction energy networks},
  author={Belanger, David and McCallum, Andrew},
  booktitle={International Conference on Machine Learning},
  pages={983--992},
  year={2016}
}

@article{belanger2017end,
  title={End-to-end learning for structured prediction energy networks},
  author={Belanger, David and Yang, Bishan and McCallum, Andrew},
  journal={arXiv preprint arXiv:1703.05667},
  year={2017}
}

@inproceedings{liu2018constrained,
  title={Constrained graph variational autoencoders for molecule design},
  author={Liu, Qi and Allamanis, Miltiadis and Brockschmidt, Marc and Gaunt, Alexander},
  booktitle={Advances in neural information processing systems},
  pages={7795--7804},
  year={2018}
}

@inproceedings{goodfellow2014generative,
  title={Generative adversarial nets},
  author={Goodfellow, Ian and Pouget-Abadie, Jean and Mirza, Mehdi and Xu, Bing and Warde-Farley, David and Ozair, Sherjil and Courville, Aaron and Bengio, Yoshua},
  booktitle={Advances in neural information processing systems},
  pages={2672--2680},
  year={2014}
}

@article{kingma2013auto,
  title={Auto-encoding variational bayes},
  author={Kingma, Diederik P and Welling, Max},
  journal={arXiv preprint arXiv:1312.6114},
  year={2013}
}

@article{radford2015unsupervised,
  title={Unsupervised representation learning with deep convolutional generative adversarial networks},
  author={Radford, Alec and Metz, Luke and Chintala, Soumith},
  journal={arXiv preprint arXiv:1511.06434},
  year={2015}
}

@inproceedings{isola2017image,
  title={Image-to-image translation with conditional adversarial networks},
  author={Isola, Phillip and Zhu, Jun-Yan and Zhou, Tinghui and Efros, Alexei A},
  booktitle={Proceedings of the IEEE conference on computer vision and pattern recognition},
  pages={1125--1134},
  year={2017}
}

@article{brock2018large,
  title={Large scale gan training for high fidelity natural image synthesis},
  author={Brock, Andrew and Donahue, Jeff and Simonyan, Karen},
  journal={arXiv preprint arXiv:1809.11096},
  year={2018}
}

@article{briot2017deep,
  title={Deep learning techniques for music generation--a survey},
  author={Briot, Jean-Pierre and Hadjeres, Ga{\"e}tan and Pachet, Fran{\c{c}}ois-David},
  journal={arXiv preprint arXiv:1709.01620},
  year={2017}
}

@inproceedings{engel2017neural,
  title={Neural audio synthesis of musical notes with wavenet autoencoders},
  author={Engel, Jesse and Resnick, Cinjon and Roberts, Adam and Dieleman, Sander and Norouzi, Mohammad and Eck, Douglas and Simonyan, Karen},
  booktitle={International Conference on Machine Learning},
  pages={1068--1077},
  year={2017},
  organization={PMLR}
}

@inproceedings{ronneberger2015u,
  title={U-net: Convolutional networks for biomedical image segmentation},
  author={Ronneberger, Olaf and Fischer, Philipp and Brox, Thomas},
  booktitle={International Conference on Medical image computing and computer-assisted intervention},
  pages={234--241},
  year={2015},
  organization={Springer}
}

@inproceedings{smith2005streamlining,
  title={Streamlining local search for spatially balanced latin squares},
  author={Smith, Casey and Gomes, Carla and Fernandez, Cesar}
}

@inproceedings{le2012streamlined,
  title={From streamlined combinatorial search to efficient constructive procedures},
  author={Le Bras, Ronan and Gomes, Carla and Selman, Bart},
  booktitle={Twenty-Sixth AAAI Conference on Artificial Intelligence},
  year={2012}
}

@inproceedings{gomes2004challenge,
  title={The challenge of generating spatially balanced scientific experiment designs},
  author={Gomes, Carla and Sellmann, Meinolf and Van Es, Cindy and Van Es, Harold},
  booktitle={International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming},
  pages={387--394},
  year={2004},
  organization={Springer}
}

@inproceedings{wang2013variance,
  title={Variance reduction for stochastic gradient optimization},
  author={Wang, Chong and Chen, Xi and Smola, Alexander J and Xing, Eric P},
  booktitle={Advances in Neural Information Processing Systems},
  pages={181--189},
  year={2013}
}

@inproceedings{dubey2016variance,
  title={Variance reduction in stochastic gradient Langevin dynamics},
  author={Dubey, Kumar Avinava and Reddi, Sashank J and Williamson, Sinead A and Poczos, Barnabas and Smola, Alexander J and Xing, Eric P},
  booktitle={Advances in neural information processing systems},
  pages={1154--1162},
  year={2016}
}

@inproceedings{ge2015escaping,
  title={Escaping from saddle points—online stochastic gradient for tensor decomposition},
  author={Ge, Rong and Huang, Furong and Jin, Chi and Yuan, Yang},
  booktitle={Conference on Learning Theory},
  pages={797--842},
  year={2015}
}

@article{jin2017accelerated,
  title={Accelerated gradient descent escapes saddle points faster than gradient descent},
  author={Jin, Chi and Netrapalli, Praneeth and Jordan, Michael I},
  journal={arXiv preprint arXiv:1711.10456},
  year={2017}
}

@article{lee2015distributed,
  title={Distributed stochastic variance reduced gradient methods and a lower bound for communication complexity},
  author={Lee, Jason D and Lin, Qihang and Ma, Tengyu and Yang, Tianbao},
  journal={arXiv preprint arXiv:1507.07595},
  year={2015}
}

@inproceedings{agarwal2017finding,
  title={Finding approximate local minima faster than gradient descent},
  author={Agarwal, Naman and Allen-Zhu, Zeyuan and Bullins, Brian and Hazan, Elad and Ma, Tengyu},
  booktitle={Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing},
  pages={1195--1199},
  year={2017}
}

@inproceedings{allen2018make,
  title={How to make the gradients small stochastically: Even faster convex and nonconvex sgd},
  author={Allen-Zhu, Zeyuan},
  booktitle={Advances in Neural Information Processing Systems},
  pages={1157--1167},
  year={2018}
}

@inproceedings{allen2018natasha,
  title={Natasha 2: Faster non-convex optimization than sgd},
  author={Allen-Zhu, Zeyuan},
  booktitle={Advances in neural information processing systems},
  pages={2675--2686},
  year={2018}
}

@article{allen2017katyusha,
  title={Katyusha: The first direct acceleration of stochastic gradient methods},
  author={Allen-Zhu, Zeyuan},
  journal={The Journal of Machine Learning Research},
  volume={18},
  number={1},
  pages={8194--8244},
  year={2017},
  publisher={JMLR. org}
}

@inproceedings{duchi2018minimax,
  title={Minimax bounds on stochastic batched convex optimization},
  author={Duchi, John and Ruan, Feng and Yun, Chulhee},
  booktitle={Conference On Learning Theory},
  pages={3065--3162},
  year={2018}
}

@article{hinton2012neural,
  title={Neural networks for machine learning lecture 6a overview of mini-batch gradient descent},
  author={Hinton, Geoffrey and Srivastava, Nitish and Swersky, Kevin}
}

@article{duchi2011adaptive,
  title={Adaptive subgradient methods for online learning and stochastic optimization},
  author={Duchi, John and Hazan, Elad and Singer, Yoram},
  journal={Journal of machine learning research},
  volume={12},
  number={Jul},
  pages={2121--2159},
  year={2011}
}

@article{kingma2014adam,
  title={Adam: A method for stochastic optimization},
  author={Kingma, Diederik P and Ba, Jimmy},
  journal={arXiv preprint arXiv:1412.6980},
  year={2014}
}

@article{ruder2016overview,
  title={An overview of gradient descent optimization algorithms},
  author={Ruder, Sebastian},
  journal={arXiv preprint arXiv:1609.04747},
  year={2016}
}

@article{gomes2019computational,
  title={Computational sustainability: Computing for a better world and a sustainable future},
  author={Gomes, Carla and Dietterich, Thomas and Barrett, Christopher and Conrad, Jon and Dilkina, Bistra and Ermon, Stefano and Fang, Fei and Farnsworth, Andrew and Fern, Alan and Fern, Xiaoli and others},
  journal={Communications of the ACM},
  volume={62},
  number={9},
  pages={56--65},
  year={2019},
  publisher={ACM New York, NY, USA}
}

@article{sheldon2012maximizing,
  title={Maximizing the spread of cascades using network design},
  author={Sheldon, Daniel and Dilkina, Bistra and Elmachtoub, Adam N and Finseth, Ryan and Sabharwal, Ashish and Conrad, Jon and Gomes, Carla P and Shmoys, David and Allen, William and Amundsen, Ole and others},
  journal={arXiv preprint arXiv:1203.3514},
  year={2012}
}

@inproceedings{dilkina2010solving,
  title={Solving connected subgraph problems in wildlife conservation},
  author={Dilkina, Bistra and Gomes, Carla P},
  booktitle={International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming},
  pages={102--116},
  year={2010},
  organization={Springer}
}

@article{israeli2002shortest,
  title={Shortest-path network interdiction},
  author={Israeli, Eitan and Wood, R Kevin},
  journal={Networks: An International Journal},
  volume={40},
  number={2},
  pages={97--111},
  year={2002},
  publisher={Wiley Online Library}
}

@article{shapiro2007tutorial,
  title={A tutorial on stochastic programming},
  author={Shapiro, Alexander and Philpott, Andy},
  year={2007}
}

@article{durkan2020contrastive,
  title={On Contrastive Learning for Likelihood-free Inference},
  author={Durkan, Conor and Murray, Iain and Papamakarios, George},
  journal={arXiv preprint arXiv:2002.03712},
  year={2020}
}

@inproceedings{dehaene2015bounding,
  title={Bounding errors of expectation-propagation},
  author={Dehaene, Guillaume P and Barthelm{\'e}, Simon},
  booktitle={Advances in Neural Information Processing Systems},
  pages={244--252},
  year={2015}
}

@article{minka2013expectation,
  title={Expectation propagation for approximate Bayesian inference},
  author={Minka, Thomas P},
  journal={arXiv preprint arXiv:1301.2294},
  year={2013}
}


@article{bao2020bi,
  title={Bi-level score matching for learning energy-based latent variable models},
  author={Bao, Fan and Li, Chongxuan and Xu, Taufik and Su, Hang and Zhu, Jun and Zhang, Bo},
  journal={Advances in Neural Information Processing Systems},
  volume={33},
  year={2020}
}

@article{song2020improved,
  title={Improved techniques for training score-based generative models},
  author={Song, Yang and Ermon, Stefano},
  journal={Advances in Neural Information Processing Systems},
  volume={33},
  year={2020}
}

@article{pang2020efficient,
  title={Efficient learning of generative models via finite-difference score matching},
  author={Pang, Tianyu and Xu, Kun and Li, Chongxuan and Song, Yang and Ermon, Stefano and Zhu, Jun},
  journal={arXiv preprint arXiv:2007.03317},
  year={2020}
}

@inproceedings{song2019generative,
  title={Generative modeling by estimating gradients of the data distribution},
  author={Song, Yang and Ermon, Stefano},
  booktitle={Advances in Neural Information Processing Systems},
  pages={11918--11930},
  year={2019}
}

@inproceedings{qiu2019unbiased,
  title={Unbiased Contrastive Divergence Algorithm for Training Energy-Based Latent Variable Models},
  author={Qiu, Yixuan and Zhang, Lingsong and Wang, Xiao},
  booktitle={International Conference on Learning Representations},
  year={2019}
}

@article{valiant1979complexity,
  title={The complexity of computing the permanent},
  author={Valiant, Leslie G},
  journal={Theoretical computer science},
  volume={8},
  number={2},
  pages={189--201},
  year={1979},
  publisher={Elsevier}
}

@article{jiang2018convergence,
  title={Convergence of contrastive divergence algorithm in exponential family},
  author={Jiang, Bai and Wu, Tung-Yu and Jin, Yifan and Wong, Wing H and others},
  journal={The Annals of Statistics},
  volume={46},
  number={6A},
  pages={3067--3098},
  year={2018},
  publisher={Institute of Mathematical Statistics}
}

@inproceedings{tieleman2009using,
  title={Using fast weights to improve persistent contrastive divergence},
  author={Tieleman, Tijmen and Hinton, Geoffrey},
  booktitle={Proceedings of the 26th Annual International Conference on Machine Learning},
  pages={1033--1040},
  year={2009}
}

@article{salakhutdinov2015learning,
  title={Learning deep generative models},
  author={Salakhutdinov, Ruslan},
  journal={Annual Review of Statistics and Its Application},
  volume={2},
  pages={361--385},
  year={2015},
  publisher={Annual Reviews}
}

@article{bengio2009justifying,
  title={Justifying and generalizing contrastive divergence},
  author={Bengio, Yoshua and Delalleau, Olivier},
  journal={Neural computation},
  volume={21},
  number={6},
  pages={1601--1621},
  year={2009},
  publisher={MIT Press}
}

@article{ceylan2018conditional,
  title={Conditional noise-contrastive estimation of unnormalised models},
  author={Ceylan, Ciwan and Gutmann, Michael U},
  journal={arXiv preprint arXiv:1806.03664},
  year={2018}
}

@article{ruiz2019contrastive,
  title={A contrastive divergence for combining variational inference and mcmc},
  author={Ruiz, Francisco JR and Titsias, Michalis K},
  journal={arXiv preprint arXiv:1905.04062},
  year={2019}
}

@inproceedings{saunshi2019theoretical,
  title={A Theoretical Analysis of Contrastive Unsupervised Representation Learning},
  author={Saunshi, Nikunj and Plevrakis, Orestis and Arora, Sanjeev and Khodak, Mikhail and Khandeparkar, Hrishikesh},
  booktitle={International Conference on Machine Learning},
  pages={5628--5637},
  year={2019}
}

@article{hershey2014deep,
  title={Deep unfolding: Model-based inspiration of novel deep architectures},
  author={Hershey, John R and Roux, Jonathan Le and Weninger, Felix},
  journal={arXiv preprint arXiv:1409.2574},
  year={2014}
}

@inproceedings{steck2019markov,
  title={Markov Random Fields for Collaborative Filtering},
  author={Steck, Harald},
  booktitle={Advances in Neural Information Processing Systems},
  pages={5474--5485},
  year={2019}
}

@article{kato2012markov,
  title={Markov random fields in image segmentation},
  author={Kato, Zoltan and Zerubia, Josiane and others},
  journal={Foundations and Trends{\textregistered} in Signal Processing},
  volume={5},
  number={1--2},
  pages={1--155},
  year={2012},
  publisher={Now Publishers, Inc.}
}

@article{wu2017xor,
  title={XOR-sampling for network design with correlated stochastic events},
  author={Wu, Xiaojian and Xue, Yexiang and Selman, Bart and Gomes, Carla P},
  journal={arXiv preprint arXiv:1705.08218},
  year={2017}
}

@article{mnih2012conditional,
  title={Conditional restricted boltzmann machines for structured output prediction},
  author={Mnih, Volodymyr and Larochelle, Hugo and Hinton, Geoffrey E},
  journal={arXiv preprint arXiv:1202.3748},
  year={2012}
}

@book{goodfellow2016deep,
  title={Deep learning},
  author={Goodfellow, Ian and Bengio, Yoshua and Courville, Aaron},
  year={2016},
  publisher={MIT press}
}

@article{welling2003approximate,
  title={Approximate inference in Boltzmann machines},
  author={Welling, Max and Teh, Yee Whye},
  journal={Artificial Intelligence},
  volume={143},
  number={1},
  pages={19--50},
  year={2003},
  publisher={Elsevier}
}

@incollection{hinton2012practical,
  title={A practical guide to training restricted Boltzmann machines},
  author={Hinton, Geoffrey E},
  booktitle={Neural networks: Tricks of the trade},
  pages={599--619},
  year={2012},
  publisher={Springer}
}

@inproceedings{tieleman2008training,
  title={Training restricted Boltzmann machines using approximations to the likelihood gradient},
  author={Tieleman, Tijmen},
  booktitle={Proceedings of the 25th international conference on Machine learning},
  pages={1064--1071},
  year={2008}
}

@misc{raghuNote,
  title={Notes on convergence of gradient descent},
  author={Raghu Meka},
  note="\url{https://raghumeka.github.io/CS289ML/gdnotes.pdf}",
 }

@article{domke2013learning,
  title={Learning graphical model parameters with approximate marginal inference},
  author={Domke, Justin},
  journal={IEEE transactions on pattern analysis and machine intelligence},
  volume={35},
  number={10},
  pages={2454--2467},
  year={2013},
  publisher={IEEE}
}

@article{li2014mean,
  title={Mean-field networks},
  author={Li, Yujia and Zemel, Richard},
  journal={arXiv preprint arXiv:1410.5884},
  year={2014}
}

@inproceedings{yedidia2001generalized,
  title={Generalized belief propagation},
  author={Yedidia, Jonathan S and Freeman, William T and Weiss, Yair},
  booktitle={Advances in neural information processing systems},
  pages={689--695},
  year={2001}
}

@article{murphy2013loopy,
  title={Loopy belief propagation for approximate inference: An empirical study},
  author={Murphy, Kevin and Weiss, Yair and Jordan, Michael I},
  journal={arXiv preprint arXiv:1301.6725},
  year={2013}
}

@article{hinton2002training,
  title={Training products of experts by minimizing contrastive divergence},
  author={Hinton, Geoffrey E},
  journal={Neural computation},
  volume={14},
  number={8},
  pages={1771--1800},
  year={2002},
  publisher={MIT Press}
}

@inproceedings{sutskever2010convergence,
  title={On the convergence properties of contrastive divergence},
  author={Sutskever, Ilya and Tieleman, Tijmen},
  booktitle={Proceedings of the thirteenth international conference on artificial intelligence and statistics},
  pages={789--795},
  year={2010}
}

@article{plummer2006coda,
  title={CODA: convergence diagnosis and output analysis for MCMC},
  author={Plummer, Martyn and Best, Nicky and Cowles, Kate and Vines, Karen},
  journal={R news},
  volume={6},
  number={1},
  pages={7--11},
  year={2006}
}

@article{andrieu2003introduction,
  title={An introduction to MCMC for machine learning},
  author={Andrieu, Christophe and De Freitas, Nando and Doucet, Arnaud and Jordan, Michael I},
  journal={Machine learning},
  volume={50},
  number={1-2},
  pages={5--43},
  year={2003},
  publisher={Springer}
}

@article{barton2016ace,
  title={ACE: adaptive cluster expansion for maximum entropy graphical model inference},
  author={Barton, John P and De Leonardis, Eleonora and Coucke, Alice and Cocco, Simona},
  journal={Bioinformatics},
  volume={32},
  number={20},
  pages={3089--3097},
  year={2016},
  publisher={Oxford University Press}
}

@inproceedings{carreira2005contrastive,
  title={On contrastive divergence learning.},
  author={Carreira-Perpinan, Miguel A and Hinton, Geoffrey E},
  booktitle={Aistats},
  volume={10},
  pages={33--40},
  year={2005},
  organization={Citeseer}
}

@article{ping2017belief,
  title={Belief propagation in conditional RBMs for structured prediction},
  author={Ping, Wei and Ihler, Alexander},
  journal={arXiv preprint arXiv:1703.00986},
  year={2017}
}

@inproceedings{Sabharwal18PR,
  author    = {Ashish Sabharwal and
               Yexiang Xue},
  title     = {Adaptive Stratified Sampling for Precision-Recall Estimation},
  booktitle = {Proceedings of the 34th Conference on Uncertainty in Artificial
               Intelligence},
  year      = {2018},
}

@inproceedings{Chakraborty2014tiltWeightedSampling,
 author = {Chakraborty, Supratik and Fremont, Daniel J. and Meel, Kuldeep S. and Seshia, Sanjit A. and Vardi, Moshe Y.},
 title = {Distribution-aware Sampling and Weighted Model Counting for SAT},
 booktitle = {Proceedings of the 28th AAAI Conference on Artificial Intelligence},
 series = {AAAI},
 year = {2014},
} 


@inproceedings{Chakraborty2016ApproxCount2,
 author = {Chakraborty, Supratik and Meel, Kuldeep S. and Vardi, Moshe Y.},
 title = {Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls},
 booktitle = {Proceedings of the 25th International Joint Conference on Artificial Intelligence},
 series = {IJCAI},
 year = {2016},
} 

@inproceedings{aziz2015stable,
  title={Stable model counting and its application in probabilistic logic programming},
  author={Aziz, Rehan Abdul and Chu, Geoffrey and Muise, Christian and Stuckey, Peter James},
  booktitle={Twenty-Ninth AAAI Conference on Artificial Intelligence},
  year={2015}
}

@inproceedings{vlasselaer2016knowledge,
  title={Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs},
  booktitle={AAAI-16 Workshop on Beyond NP},
  author={Vlasselaer, Jonas and Kimmig, Angelika and Dries, Anton and Meert, Wannes and De Raedt, Luc},
  year={2016}
}

@inproceedings{XueVanHoeve18,
  author    = {Yexiang Xue and
               Willem-Jan Van Hoeve},
  title     = {Embedding Decision Diagrams into GANs},
  booktitle = {Under review},
  year      = {2018},
}

@inproceedings{XueSabharwalKG18,
    author = {Yexiang Xue and
              Yang Yuan and
              Zhitian Xu and
              Ashish Sabharwal},
    title = {Expanding Holographic Embeddings for Knowledge Completion},
    booktitle = {Proc. of the Thirty-second Conference on Neural Information Processing Systems (NeurIPS)},
    year = {2018},
}

@book{VanHentenryck1989,
 author = {Van Hentenryck, Pascal},
 title = {Constraint Satisfaction in Logic Programming},
 year = {1989},
 isbn = {0-262-08181-4},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
} 

@article{VANHENTENRYCK1992,
title = "A generic arc-consistency algorithm and its specializations",
journal = "Artificial Intelligence",
volume = "57",
number = "2",
pages = "291 - 321",
year = "1992",
author = "Pascal Van Hentenryck and Yves Deville and Choh-Man Teng",
}

@Article{darwicheJAIR02,
author = "Adnan Darwiche and Pierre Marquis",
title = "A knowledge compilation map",
journal = "Journal of Artificial Intelligence Research",
volume = "17",
pages = "229--264",
year = "2002",
}

@article{GOGATE2012AndOr,
title = "Importance sampling-based estimation over AND/OR search spaces for graphical models",
journal = "Artificial Intelligence",
volume = "184-185",
pages = "38 - 77",
year = "2012",
author = "Vibhav Gogate and Rina Dechter",
}

@article{CHAVIRA2008772,
title = "On probabilistic inference by weighted model counting",
journal = "Artificial Intelligence",
volume = "172",
number = "6",
pages = "772 - 799",
year = "2008",
author = "Mark Chavira and Adnan Darwiche",
}

@inproceedings{Bahar:1993:ADD:259794.259826,
 author = {Bahar, R. Iris and Frohm, Erica A. and Gaona, Charles M. and Hachtel, Gary D. and Macii, Enrico and Pardo, Abelardo and Somenzi, Fabio},
 title = {Algebraic Decision Diagrams and Their Applications},
 booktitle = {Proceedings of the 1993 IEEE/ACM International Conference on Computer-aided Design},
 series = {ICCAD '93},
 year = {1993},
 pages = {188--191},
 numpages = {4},
} 

@inproceedings{Thrun1996Robot,
 author = {Thrun, Sebastian and B\"{u}, Arno},
 title = {Integrating Grid-based and Topological Maps for Mobile Robot Navigation},
 booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence - Volume 2},
 series = {AAAI'96},
 year = {1996},
 pages = {944--950},
 numpages = {7},
 }

@article{Lea2017TemporalCN,
  title={Temporal Convolutional Networks for Action Segmentation and Detection},
  author={Colin Lea and Michael D. Flynn and Ren{\'e} Vidal and Austin Reiter and Gregory D. Hager},
  journal={2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)},
  year={2017},
  pages={1003-1012}
}

@Inproceedings{HuangChaviraDarwiche06,
author = {Jinbo Huang and Mark Chavira and Adnan Darwiche},
title = {Solving {MAP} Exactly by Searching on Compiled Arithmetic Circuits},
booktitle = {Proceedings of the 21st National Conference on Artificial Intelligence (AAAI)},
year = {2006}
}

@INPROCEEDINGS{Chavira.Darwiche.Ijcai.2007,
  AUTHOR = "Chavira, Mark and Darwiche, Adnan",
  TITLE  = "Compiling {B}ayesian Networks Using Variable Elimination",
  BOOKTITLE = "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI)",
  YEAR = 2007,
  PAGES = "2443--2449"
}


@inproceedings{ShihChoiDarwiche19,
 author = {Andy Shih and Arthur Choi and Adnan Darwiche},
 title = {Compiling Bayesian Networks into Decision Graphs},
 booktitle = {Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI)},
 year = {2019}
}

@inproceedings{Sang2005,
 author = {Sang, Tian and Bearne, Paul and Kautz, Henry},
 title = {Performing Bayesian Inference by Weighted Model Counting},
 booktitle = {Proceedings of the 20th National Conference on Artificial Intelligence - Volume 1},
 series = {AAAI'05},
 year = {2005},
 pages = {475--481},
 numpages = {7},
} 

@inproceedings{ChenXueGomes18,
    author = {Di Chen and
              Yexiang Xue and 
              Carla Gomes},
    title = {End-to-End Learning for the Deep Multivariate Probit Model},
    booktitle = {Proc. of the 35th International Conference on Machine Learning (ICML)},
    year = {2018},
}


@inproceedings{TangXCG18,
  author    = {Luming Tang and
               Yexiang Xue and
               Di Chen and
               Carla P. Gomes},
  title     = {Multi-Entity Dependence Learning With Rich Context via Conditional
               Variational Auto-Encoder},
  booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence},
  year      = {2018},
}

@article{Wainwright2008,
 author = {Wainwright, Martin J. and Jordan, Michael I.},
 title = {Graphical Models, Exponential Families, and Variational Inference},
 journal = {Found. Trends Mach. Learn.},
 volume = {1},
 number = {1-2},
 month = jan,
 year = {2008},
 pages = {1--305},
 numpages = {305},
} 

@inproceedings{WuXSG17XORSampling,
  author    = {Wu, Xiaojian  and
               Xue, Yexiang  and
               Selman, Bart  and
               Gomes, Carla P.},
  title     = {XOR-Sampling for Network Design with Correlated Stochastic Events},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI}},
  pages     = {4640--4647},
  year      = {2017},
}

@inproceedings{xue2017Corridor,
  title={Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information},
  author={Xue, Yexiang and 
          Wu, Xiaojian and
          Morin, Dana and
          Dilkina, Bistra and 
          Fuller, Angela and
          Royle, J. Andrew and
          Gomes, Carla P.
         },
  booktitle = {Proceedings of the 31th AAAI Conference on Artificial Intelligence (AAAI)},
  year={2017},
}


@inproceedings{xue2017material,
  title={Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery},
  author={Xue, Yexiang and 
          Bai, Junwen and
          Le Bras, Ronan and
          Rappazzo, Brendan and 
          Bernstein, Richard and
          Bjorck, Johan and
          Longpre, Liane and
          Suram, Santosh K. and
          van Dover, Robert B. and
          Gregoire, John and
          Gomes, Carla P.
         },
  booktitle = {Proceedings of the 29th Annual Conference on Innovative Applications of Artificial Intelligence (IAAI) (IAAI Innovative Application Award)},
  year={2017},
}

@inproceedings{bai2017material,
  title={Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery},
  author={Bai, Junwen and
          Bjorck, Johan and
          Xue, Yexiang and 
          Suram, Santosh K. and
          Gregoire, John and
          Gomes, Carla P.
         },
  booktitle = {Proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR)},
  year={2017},
}

@article{suram2017material,
  title={Automated Phase Mapping with AgileFD and its Application to Light Absorber Discovery in the V-Mn-Nb Oxide System},
  author={Suram, Santosh K. and
          Xue, Yexiang and 
          Bai, Junwen and
          Le Bras, Ronan and
          Rappazzo, Brendan and 
          Bernstein, Richard and
          Bjorck, Johan and
          Zhou, Lan and           
          van Dover, Robert B. and
          Gomes, Carla P. and
          Gregoire, John
         },
  journal = {American Chemical Society Combinatorial Science (Editor's Choice and Cover Story)},
  year={2016},
}

@inproceedings{Xue2016MarginalMAP,
 author = {Yexiang Xue and
           Zhiyuan Li and
           Stefano Ermon and
           Carla P. Gomes and
           Bart Selman},
 title = {Solving Marginal MAP Problems with NP Oracles and Parity Constraints},
 booktitle = {Proceedings of the 29th Annual Conference on Neural Information Processing Systems (NIPS)},
 year = {2016},
} 

@inproceedings{xue2016IncentivizingTR,
  title={Behavior Identification in Two-stage Games for Incentivizing Citizen Science Exploration},
  author={Xue, Yexiang and 
          Davies, Ian and 
          Fink, Daniel and
          Wood, Christopher and
          Gomes, Carla P.
         },
  booktitle = {Proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming (CP)},
  year={2016},
}


@inproceedings{Xue16fourier,
  author    = {Yexiang Xue and
               Stefano Ermon and
               Ronan Le Bras and
               Carla P. Gomes and
               Bart Selman},
  title     = {Variable Elimination in the Fourier Domain},
  booktitle = {Proceedings of the 33nd International Conference on Machine Learning, {ICML}},
  year      = {2016},
}


@inproceedings{XueEGS15,
  author    = {Yexiang Xue and
               Stefano Ermon and
               Carla P. Gomes and
               Bart Selman},
  title     = {Uncovering Hidden Structure through Parallel Problem Decomposition
               for the Set Basis Problem: Application to Materials Discovery},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI}},
  year      = {2015},
}



@inproceedings{xue2015IncentivizingTR,
  title={Avicaching: A Two Stage Game for Bias Reduction in Citizen Science},
  author={Xue, Yexiang and 
          Davies, Ian and 
          Fink, Daniel and
          Wood, Christopher and
          Gomes, Carla P.
         },
  booktitle = {Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
  year={2016},
}


@inproceedings{ErmonXTDBDCDMBG15,
  author    = {Stefano Ermon and
               Yexiang Xue and
               Russell Toth and
               Bistra N. Dilkina and
               Richard Bernstein and
               Theodoros Damoulas and
               Patrick Clark and
               Steve DeGloria and
               Andrew Mude and
               Christopher Barrett and
               Carla P. Gomes},
  title     = {Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal
               Preferences with Application to Migratory Pastoralism in East Africa},
  booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence (AAAI)},
  year      = {2015},
}

@inproceedings{BrasXBGS14,
  author    = {Le Bras, Ronan and
               Xue, Yexiang  and
               Bernstein, Richard  and
               Gomes, Carla P.  and
               Selman, Bart},
  title     = {A Human Computation Framework for Boosting Combinatorial Solvers},
  booktitle = {Proceedings of the Second {AAAI} Conference on Human Computation and Crowdsourcing, {HCOMP}},
  year      = {2014},
}

@inproceedings{WangZX14,
  author    = {Yilun Wang and
               Yu Zheng and
               Yexiang Xue},
  title     = {Travel time estimation of a path using sparse trajectories},
  booktitle = {The 20th {ACM} {SIGKDD} International Conference on Knowledge Discovery
               and Data Mining, {KDD}},
  year      = {2014},
}

@inproceedings{XueDDFGK13,
  author    = {Yexiang Xue and
               Bistra N. Dilkina and
               Theodoros Damoulas and
               Daniel Fink and
               Carla P. Gomes and
               Steve Kelling},
  title     = {Improving Your Chances: Boosting Citizen Science Discovery},
  booktitle = {Proceedings of the First {AAAI} Conference on Human Computation and
               Crowdsourcing, {HCOMP}},
  year      = {2013},
}

@inproceedings{ErmonXGS12,
  author    = {Stefano Ermon and
               Yexiang Xue and
               Carla P. Gomes and
               Bart Selman},
  title     = {Learning Policies for Battery Usage Optimization in Electric Vehicles},
  booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
               {ECML} {PKDD}},
  year      = {2012},
}


@article{ErmonXGS13,
  author    = {Stefano Ermon and
               Yexiang Xue and
               Carla P. Gomes and
               Bart Selman},
  title     = {Learning policies for battery usage optimization in electric vehicles},
  journal   = {Machine Learning},
  year      = {2013},
}



@inproceedings{Lebras2013,
  author    = {Ronan Le Bras and
               Bistra N. Dilkina and
               Yexiang Xue and
               Carla P. Gomes and
               Kevin S. McKelvey and
               Michael K. Schwartz and
               Claire A. Montgomery},
  title     = {Robust Network Design For Multispecies Conservation},
  booktitle = {Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI)},
  year      = {2013},
}


@inproceedings{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, (AAAI)},
  year      = {2013},
}



@inproceedings{XueCD12,
  author    = {Yexiang Xue and
               Arthur Choi and
               Adnan Darwiche},
  title     = {Basing Decisions on Sentences in Decision Diagrams},
  booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence (AAAI)},
  year      = {2012},
}

@article{ChoiXD12,
  author    = {Arthur Choi and
               Yexiang Xue and
               Adnan Darwiche},
  title     = {Same-decision probability: {A} confidence measure for threshold-based
               decisions},
  journal   = {Int. J. Approx. Reasoning},
  year      = {2012},
}

@inproceedings{NguyenYC15,
  author    = {Anh Mai Nguyen and
               Jason Yosinski and
               Jeff Clune},
  title     = {Deep neural networks are easily fooled: High confidence predictions
               for unrecognizable images},
  booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}},
  year      = {2015},
}


@inproceedings{ChenXFCG17,
  author    = {Di Chen and
               Yexiang Xue and
               Daniel Fink and
               Shuo Chen and
               Carla P. Gomes},
  title     = {Deep Multi-species Embedding},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI}},
  year      = {2017},
}

@misc{UAI10Challenge,
  title = {UAI 2010 Approximate Inference Challenge},
  url = {http://www.cs.huji.ac.il/project/UAI10}
}

@proceedings{DBLP:conf/nips/2012,
booktitle = {NIPS},
editor = {Bartlett, Peter L and Pereira, Fernando C N and Burges, Christopher J C and Bottou, L\'{e}on and Weinberger, Kilian Q},
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}
}
@article{Bornkamp2009,
abstract = {In this article, we consider monotone nonparametric regression in a Bayesian framework. The monotone function is modeled as a mixture of shifted and scaled parametric probability distribution functions, and a general random probability measure is assumed as the prior for the mixing distribution. We investigate the choice of the underlying parametric distribution function and find that the two-sided power distribution function is well suited both from a computational and mathematical point of view. The model is motivated by traditional nonlinear models for dose-response analysis, and provides possibilities to elicitate informative prior distributions on different aspects of the curve. The method is compared with other recent approaches to monotone nonparametric regression in a simulation study and is illustrated on a data set from dose-response analysis.},
author = {Bornkamp, Bj\"{o}rn and Ickstadt, Katja},
doi = {10.1111/j.1541-0420.2008.01060.x},
file = {:home/yexiang/Advanced\_Edu/xyx\_personal\_repo/conservation\_prioritization/reading/[2008bornkamp]Bayesian Nonparametric Estimation of Continuous Monotone Functions.pdf:pdf},
issn = {1541-0420},
journal = {Biometrics},
keywords = {Bayes Theorem,Biometry,Biometry: methods,Data Interpretation, Statistical,Dose-Response Relationship, Drug,Humans,Models, Theoretical,Statistics, Nonparametric},
month = mar,
number = {1},
pages = {198--205},
pmid = {18510655},
title = {{Bayesian nonparametric estimation of continuous monotone functions with applications to dose-response analysis.}},
url = {http://www.ncbi.nlm.nih.gov/pubmed/18510655},
volume = {65},
year = {2009}
}

@inproceedings{Murray-SmithP04,
  author    = {Roderick Murray-Smith and
               Barak A. Pearlmutter},
  title     = {Transformations of Gaussian Process Priors},
  booktitle = {Deterministic and Statistical Methods in Machine Learning},
  year      = {2004},
  pages     = {110-123},
  ee        = {http://dx.doi.org/10.1007/11559887_7},
  crossref  = {DBLP:conf/dsmml/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dsmml/2004,
  editor    = {Joab Winkler and
               Mahesan Niranjan and
               Neil D. Lawrence},
  title     = {Deterministic and Statistical Methods in Machine Learning,
               First International Workshop, Sheffield, UK, September 7-10,
               2004, Revised Lectures},
  booktitle = {Deterministic and Statistical Methods in Machine Learning},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3635},
  year      = {2005},
  isbn      = {3-540-29073-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:journals/jmlr/ParkC10,
author = {Park, Sunho and Choi, Seungjin},
booktitle = {ACML},
editor = {Sugiyama, Masashi and Yang, Qiang},
pages = {95--110},
publisher = {JMLR.org},
series = {JMLR Proceedings},
title = {{Hierarchical Gaussian Process Regression}},
volume = {13},
year = {2010}
}
@article{Riihimaki2010,
author = {Riihim\"{a}ki, J and Vehtari, A},
file = {:home/yexiang/Advanced\_Edu/xyx\_personal\_repo/conservation\_prioritization/reading/[2010riihimaki]GaussianProcessWithMonotonicityInformation.pdf:pdf},
journal = {Journal of Machine Learning Research},
pages = {645--652},
title = {{Gaussian processes with monotonicity information}},
url = {http://machinelearning.wustl.edu/mlpapers/paper\_files/AISTATS2010\_RiihimakiV10.pdf},
volume = {9},
year = {2010}
}
@proceedings{DBLP:conf/ijcai/2013,
booktitle = {IJCAI},
editor = {Rossi, Francesca},
isbn = {978-1-57735-633-2},
publisher = {IJCAI/AAAI},
title = {{IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}},
year = {2013}
}
@inproceedings{DBLP:conf/nips/SchwaighoferTY04,
author = {Schwaighofer, Anton and Tresp, Volker and Yu, Kai},
booktitle = {NIPS},
title = {{Learning Gaussian Process Kernels via Hierarchical Bayes}},
year = {2004}
}
@article{Shively,
author = {Shively, Thomas S and Sager, Thomas W and Walker, Stephen G},
file = {:home/yexiang/Advanced\_Edu/xyx\_personal\_repo/conservation\_prioritization/reading/[shively]A Bayesian Approach to Nonparametric Monotone Function Estimation.pdf:pdf},
keywords = {mcmc sampling scheme,mixture prior distributions,regression splines,small},
title = {{A Bayesian Approach to Nonparametric Monotone Function Estimation}}
}
@inproceedings{ShivelyTomandChipmanHughandGeorgeEdwardandMcCulloch2013,
author = {{Shively, Tom and Chipman, Hugh and George, Edward and McCulloch}, Robert},
booktitle = {Conference on Bayesian Nonparametrics},
file = {:home/yexiang/Advanced\_Edu/xyx\_personal\_repo/conservation\_prioritization/reading/[2013shively]MONOTONE NONPARAMETRIC Hi-dimensional Function Estimation.pdf:pdf},
number = {June},
title = {{MONOTONE NONPARAMETRIC HIGH − DIMENSIONAL FUNCTION ESTIMATION University of Texas at Austin Joint with : Hugh Chipman ( Acadia University ) Edward George ( University of Pennsylvania ) Robert McCulloch ( University of Chicago ) 9 th Conference}},
year = {2013}
}
@inproceedings{Snoek2012Survey,
author = {Snoek, Jasper and Larochelle, Hugo and Adams, Ryan P},
booktitle = {NIPS},
editor = {Bartlett, Peter L and Pereira, Fernando C N and Burges, Christopher J C and Bottou, L\'{e}on and Weinberger, Kilian Q},
pages = {2960--2968},
title = {{Practical Bayesian Optimization of Machine Learning Algorithms}},
year = {2012}
}

@inproceedings{Wang2013Rembo,
author = {Wang, Ziyu and Zoghi, Masrour and Hutter, Frank and Matheson, David and de Freitas, Nando},
booktitle = {IJCAI},
editor = {Rossi, Francesca},
isbn = {978-1-57735-633-2},
publisher = {IJCAI/AAAI},
title = {{Bayesian Optimization in High Dimensions via Random Embeddings}},
year = {2013}
}


@inproceedings{ParkC10,
  author    = {Sunho Park and
               Seungjin Choi},
  title     = {Hierarchical Gaussian Process Regression},
  booktitle = {ACML},
  year      = {2010},
  pages     = {95-110},
  ee        = {http://www.jmlr.org/proceedings/papers/v13/park10a.html},
  crossref  = {DBLP:conf/acml/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/acml/2010,
  editor    = {Masashi Sugiyama and
               Qiang Yang},
  title     = {Proceedings of the 2nd Asian Conference on Machine Learning,
               ACML 2010, Tokyo, Japan, November 8-10, 2010},
  booktitle = {ACML},
  publisher = {JMLR.org},
  series    = {JMLR Proceedings},
  volume    = {13},
  year      = {2010},
  ee        = {http://jmlr.org/proceedings/papers/v13/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SchwaighoferTY04,
  author    = {Anton Schwaighofer and
               Volker Tresp and
               Kai Yu},
  title     = {Learning Gaussian Process Kernels via Hierarchical Bayes},
  booktitle = {NIPS},
  year      = {2004},
  ee        = {http://books.nips.cc/papers/files/nips17/NIPS2004_0763.pdf},
  crossref  = {DBLP:conf/nips/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/nips/2004,
booktitle = {NIPS},
title = {{Advances in Neural Information Processing Systems 17 [Neural Information Processing Systems, NIPS 2004, December 13-18, 2004, Vancouver, British Columbia, Canada]}},
year = {2004}
}

@article{Hinton2002ContrasiveDivergence,
 author = {Hinton, Geoffrey E.},
 title = {Training Products of Experts by Minimizing Contrastive Divergence},
 journal = {Neural Comput.},
 year = {2002},
 pages = {1771--1800},
} 


@article{rogers2000evaluating,
  title={Evaluating first-passage probabilities for spectrally one-sided L{\'e}vy processes},
  author={Rogers, L Chris G},
  journal={Journal of Applied Probability},
  pages={1173--1180},
  year={2000},
  publisher={JSTOR}
}

@techreport{abbring2012likelihood,
  title={The likelihood of mixed hitting times},
  author={Abbring, Jaap H and Salimans, Tim},
  year={2012},
}

@inproceedings{cohen2015harmonicmanifold,
  author    = {Taco Cohen and
               Max Welling},
  title     = {Harmonic Exponential Families on Manifolds},
  booktitle = {Proceedings of the 32nd International Conference on Machine Learning, {ICML} },
  year      = {2015},
}

@article{HuangGG09FourierPermutation,
  author    = {Jonathan Huang and
               Carlos Guestrin and
               Leonidas J. Guibas},
  title     = {Fourier Theoretic Probabilistic Inference over Permutations},
  journal   = {Journal of Machine Learning Research},
  volume    = {10},
  pages     = {997--1070},
  year      = {2009},
}

@inproceedings{Blum1998,
author = {Blum, Avirim and Burch, Carl and Langford, John},
booktitle = {FOCS},
file = {:home/yexiang/Advanced\_Edu/xyx\_personal\_repo/conservation\_prioritization/reading/[Blum]OnLearningMonotoneBooleanFunctions.ps:ps},
pages = {408--415},
title = {{On Learning Monotone Boolean Functions}},
year = {1998}
}
@inproceedings{Daskalakis2013,
author = {Daskalakis, Constantinos and Diakonikolas, Ilias and O'Donnell, Ryan and {A. Servedio}, Rocco and Tan, Li-Yang},
booktitle = {FOCS},
file = {:home/yexiang/Advanced\_Edu/xyx\_personal\_repo/conservation\_prioritization/reading/[2013Daskalakis]Learning Sums of Independent Integer Random Variables.pdf:pdf},
pages = {217--226},
title = {{Learning sums of independent integer random variables}},
url = {http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=6686157},
year = {2013}
}
@inproceedings{Goldman2009,
author = {Goldman, Sally},
booktitle = {COLT},
doi = {10.1201/9781584888239-c26},
file = {:home/yexiang/Advanced\_Edu/xyx\_personal\_repo/conservation\_prioritization/reading/[Goldman]ComputationalLearningTheorySurvey.pdf:pdf},
isbn = {978-1-58488-822-2},
issn = {2154-4034},
month = nov,
pages = {1--24},
title = {{Computational Learning Theory}},
volume = {3},
year = {2009}
}

@book{Kearns1994PACLearning,
 author = {Kearns, Michael J. and Vazirani, Umesh V.},
 title = {An Introduction to Computational Learning Theory},
 year = {1994},
 isbn = {0-262-11193-4},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
} 

@article{Kovalerchuk1996,
author = {Kovalerchuk, Boris and Triantaphyllou, Evangelos and Deshpande, Aniruddha S. and Vityaev, Evgenii},
file = {:home/yexiang/Advanced\_Edu/xyx\_personal\_repo/conservation\_prioritization/reading/[Kovalerchuk]InteractLearnMonotBooleanFunctions.pdf:pdf},
journal = {Inf. Sci.},
pages = {87--188},
title = {{Interactive Learning of Monotone Boolean Functions}},
volume = {94},
year = {1996}
}
@article{Mansour1994,
author = {Mansour, Yishay},
journal = {advances in neural computation and learning},
pages = {1--28},
title = {{Learning Boolean functions via the Fourier transform}},
volume = {0},
year = {1994}
}

@article{O'Donnell2005,
author = {O'Donnell, R and Servedio, R},
file = {:home/yexiang/Advanced\_Edu/xyx\_personal\_repo/conservation\_prioritization/reading/[2005Donnell]Learning Monotone Functions from Random Examples in Polynomial Time.pdf:pdf},
title = {{Learning monotone functions from random examples in polynomial time}},
url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.111.2771\&rep=rep1\&type=pdf},
year = {2005}
}
@article{O'Donnell2008,
address = {New York, New York, USA},
author = {O'Donnell, Ryan},
journal = {Proceedings of the fourtieth annual ACM symposium on Theory of computing - STOC 08},
pages = {569},
title = {{Some topics in analysis of boolean functions}},
year = {2008}
}

@article{Linial1993LowOrder,
 author = {Linial, Nathan and Mansour, Yishay and Nisan, Noam},
 title = {Constant Depth Circuits, Fourier Transform, and Learnability},
 journal = {J. ACM},
 volume = {40},
 number = {3},
 year = {1993},
} 

@article{Richardson2006MLN,
 author = {Richardson, Matthew and Domingos, Pedro},
 title = {Markov Logic Networks},
 journal = {Mach. Learn.},
 year = {2006},
} 

@book{Hastad1987,
 author = {H{\aa}stad, Johan},
 title = {Computational Limitations of Small-depth Circuits},
 year = {1987},
 isbn = {0262081679},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
} 

@incollection{Razborov1995Hastad,
year={1995},
isbn={978-1-4612-7582-4},
booktitle={Feasible Mathematics II},
series={Progress in Computer Science and Applied Logic},
title={Bounded Arithmetic and Lower Bounds in Boolean Complexity},
author={Razborov, Alexander A.},
}

@inproceedings{Rooij09FastSubsetConvolution,
  author    = {Johan M. M. van Rooij and
               Hans L. Bodlaender and
               Peter Rossmanith},
  title     = {Dynamic Programming on Tree Decompositions Using Generalised Fast Subset Convolution},
  booktitle = {Algorithms - {ESA}, 17th Annual European Symposium},
  year      = {2009},
}

@inproceedings{Smith2013InclusionExclusion,
 author = {Smith, David and Gogate, Vibhav},
 title = {The Inclusion-exclusion Rule and Its Application to the Junction Tree Algorithm},
 booktitle = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence},
 year = {2013},
} 

@inproceedings{Heskes2002HAK,
 author = {Heskes, Tom and Albers, Kees and Kappen, Bert},
 title = {Approximate Inference and Constrained Optimization},
 booktitle = {Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence},
 series = {UAI'03},
 year = {2003},
} 


@INPROCEEDINGS{1993ADD, 
author={Bahar, R.I. and Frohm, E.A. and Gaona, C.M. and Hachtel, G.D. and Macii, E. and Pardo, A. and Somenzi, F.}, 
booktitle={Computer-Aided Design}, 
title={Algebraic decision diagrams and their applications}, 
year={1993}, 
}

@inproceedings{Karypis1995MultilevelPartition,
  author    = {George Karypis and
               Vipin Kumar},
  title     = {Multilevel Graph Partitioning Schemes},
  booktitle = {ICPP (3)},
  year      = {1995},
  pages     = {113-122},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@incollection{Yedidia2003BeliefPropagationTutorial,
 author = {Yedidia, Jonathan S. and Freeman, William T. and Weiss, Yair},
 chapter = {Understanding Belief Propagation and Its Generalizations},
 title = {Exploring Artificial Intelligence in the New Millennium},
 editor = {Lakemeyer, Gerhard and Nebel, Bernhard},
 year = {2003},
 isbn = {1-55860-811-7},
 pages = {239--269},
 numpages = {31},
 url = {http://dl.acm.org/citation.cfm?id=779343.779352},
 acmid = {779352},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
} 

@inproceedings{Gogate2004Treewidth,
 author = {Gogate, Vibhav and Dechter, Rina},
 title = {A Complete Anytime Algorithm for Treewidth},
 booktitle = {Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence},
 year = {2004},
} 

@inproceedings{KomodakisPT07MRFICCV,
  author    = {Nikos Komodakis and
               Nikos Paragios and
               Georgios Tziritas},
  title     = {MRF Optimization via Dual Decomposition: Message-Passing
               Revisited},
  booktitle = {ICCV},
  year      = {2007},
  pages     = {1-8},
  ee        = {http://dx.doi.org/10.1109/ICCV.2007.4408890},
  crossref  = {DBLP:conf/iccv/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/iccv/2007,
  title     = {IEEE 11th International Conference on Computer Vision, ICCV
               2007, Rio de Janeiro, Brazil, October 14-20, 2007},
  publisher = {IEEE},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Sontag08tightenLP,
AUTHOR = "David Sontag and Talya Meltzer and Amir Globerson and Tommi Jaakkola and Yair Weiss",
TITLE = "Tightening LP Relaxations for MAP using Message Passing",
BOOKTITLE = "UAI",
YEAR = "2008",
PAGES = "503--510"
}

@article{MateescuKGD10,
  author    = {Robert Mateescu and
               Kalev Kask and
               Vibhav Gogate and
               Rina Dechter},
  title     = {Join-Graph Propagation Algorithms},
  journal   = {J. Artif. Intell. Res. {(JAIR)}},
  volume    = {37},
  year      = {2010},
}

@ARTICLE{Hazan2010NormProductBP, 
author={Hazan, T. and Shashua, A.}, 
journal={Information Theory, IEEE Transactions on}, 
title={Norm-Product Belief Propagation: Primal-Dual Message-Passing for Approximate Inference}, 
year={2010}, 
month={Dec}, 
volume={56}, 
number={12}, 
pages={6294-6316}, 
keywords={inference mechanisms;linear programming;probability;approximate inference;convergent algorithm;convex free energy;convex-max-product;linear programming relaxation;max product algorithm;max-product algorithm;norm-product belief propagation;primal dual message passing;probabilistic inference;sum-product algorithm;tree-reweighted sum algorithm;zero temperature;Algorithm design and analysis;Graphical models;Markov random fields;Maximum a posteriori estimation;Relaxation methods;Approximate inference;Bethe free energy;Bregman projection;Fenchel duality;Markov random fields (MRF);convex free energy;dual block ascent;graphical models;linear programming (LP) relaxation;max-product algorithm;maximum a posteriori probability (MAP) estimation;sum-product algorithm}, 
doi={10.1109/TIT.2010.2079014}, 
ISSN={0018-9448},}

@article{Mooij2010libDAI,
  author    = {Joris M. Mooij},
  title     = {lib{DAI}: A Free and Open Source {C++} Library for Discrete Approximate Inference in Graphical Models},
  journal   = {Journal of Machine Learning Research},
  year      = 2010,
  month     = Aug,
  volume    = 11,
  pages     = {2169-2173},
}

@inproceedings{GogateD13StructureBP,
  author    = {Vibhav Gogate and
               Pedro M. Domingos},
  title     = {Structured Message Passing},
  booktitle = {UAI},
  year      = {2013},
}
@proceedings{DBLP:conf/uai/2013,
  title     = {Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial
               Intelligence, Bellevue, WA, USA, August 11-15, 2013},
  publisher = {{AUAI} Press, Corvallis, Oregon},
  year      = {2013},
  url       = {https://dslpitt.org/uai/displayArticles.jsp?mmnu=1&smnu=1&proceeding_id=29},
  timestamp = {Fri, 26 Sep 2014 15:12:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/uai/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{Darwiche2002compilation,
 author = {Darwiche, Adnan and Marquis, Pierre},
 title = {A Knowledge Compilation Map},
 journal = {J. Artif. Int. Res.},
 year = {2002},
}

@inproceedings{KisaVCD14,
author = {Doga Kisa and Guy {Van den Broeck} and Arthur Choi and Adnan Darwiche},
title = {Probabilistic Sentential Decision Diagrams},
booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
year = {2014},
}

@inproceedings{ChoiKisaDarwiche13,
author = {Arthur Choi and Doga Kisa and Adnan Darwiche},
title = {Compiling Probabilistic Graphical Models using Sentential Decision Diagrams},
booktitle = {Proceedings of the 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)},
year = {2013}
}

@inproceedings{WainwrightJW03,
  author    = {Martin J. Wainwright and
               Tommi S. Jaakkola and
               Alan S. Willsky},
  title     = {Tree-reweighted belief propagation algorithms and approximate {ML}  estimation by pseudo-moment matching},
  booktitle = {Proceedings of the Ninth International Workshop on Artificial Intelligence and Statistics},
  year      = {2003},
}
@proceedings{DBLP:conf/aistats/2003,
  editor    = {Christopher M. Bishop and
               Brendan J. Frey},
  title     = {Proceedings of the Ninth International Workshop on Artificial Intelligence
               and Statistics, {AISTATS} 2003, Key West, Florida, USA, January 3-6,
               2003},
  publisher = {Society for Artificial Intelligence and Statistics},
  year      = {2003},
  url       = {http://research.microsoft.com/conferences/aistats2003/},
  isbn      = {0-9727358-0-1},
  timestamp = {Wed, 06 May 2015 20:33:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aistats/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{Auli2011LBPDualDecompNLP,
  title={A comparison of loopy belief propagation and dual decomposition for integrated CCG supertagging and parsing},
  author={Auli, Michael and Lopez, Adam},
  booktitle={Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies-Volume 1},
  pages={470--480},
  year={2011},
  organization={Association for Computational Linguistics}
}

@inproceedings{Domke2011DualDecompMarginal,
  author    = {Justin Domke},
  title     = {Dual Decomposition for Marginal Inference},
  booktitle = {AAAI},
  year      = {2011},
  ee        = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3718},
  crossref  = {DBLP:conf/aaai/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
  booktitle = {AAAI},
  publisher = {AAAI Press},
  year      = {2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Flerova2011MinibucketMomentMatching,
    author = {Natalia Flerova and Er Ihler and Rina Dechter and Lars Otten},
    title = {Mini-bucket elimination with moment matching},
    booktitle = {In NIPS Workshop DISCML},
    year = {2011}
}

@incollection{Sumer2011ParallelAdaptiveDD,
   title = {Fast parallel and adaptive updates for dual-decomposition solvers},
   author = {\"Ozg\"ur S\"umer and Acar, Umut A. and Alexander Ihler and Mettu, Ramgopal R.},
   booktitle = {Conf. on Artificial Intelligence (AAAI)},
   month=aug,
   year =2011,
   pages = {1076--1082},
   address = {San Francisco, CA, USA},
}

@incollection{cheng2012ApproxSumOp,
   title = {Approximating the Sum Operation for Marginal-MAP Inference},
   author = {Qiang Cheng and Feng Chen and Jianwu Dong and Wenli Xu and Alexander Ihler},
   booktitle = {Conf. on Artificial Intelligence (AAAI)},
   month=jul,
   year = 2012,
   pages = {1882--1887},
}

@incollection{liu12bBPDecision,
   title = {Belief Propagation for Structured Decision Making},
   author = {Qiang Liu and Alexander Ihler},
   booktitle = {Uncertainty in Artificial Intelligence (UAI)},
   fullbooktitle = {Proceedings of the Twenty-Eight Annual Conference on Uncertainty in Artificial Intelligence (UAI-12)},
   month= aug,
   year = 2012,
   location = {Catalina Island, USA},
   publisher = "AUAI Press",
   address = "Corvallis, Oregon",
   pages = {523-532}
}

@INPROCEEDINGS{Nowozin2009GlobalMRF, 
author={Nowozin, S. and Lampert, Christoph H.}, 
booktitle={Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on}, 
title={Global connectivity potentials for random field models}, 
year={2009}, 
month={June}, 
pages={818-825}, 
keywords={Markov processes;computer vision;graph theory;image segmentation;inference mechanisms;learning (artificial intelligence);linear programming;maximum likelihood estimation;random processes;CRF;MAP-MRF LP relaxation;Markov random field;computer vision;conditional random field;cutting plane algorithm;global connectivity potential;graph theory;inference procedure;local interaction;machine learning;max-flow problem;object segmentation;output labeling;polyhedral combinatorics;Biological system modeling;Computer vision;Cybernetics;Feature extraction;Inference algorithms;Labeling;Linear programming;Markov random fields;Maximum a posteriori estimation;Vectors}, 
doi={10.1109/CVPR.2009.5206567}, 
ISSN={1063-6919},}

@inproceedings{Socher2013RecursiveDM,
  title={Recursive Deep Models for Semantic Compositionality Over a Sentiment Treebank},
  author={Richard Socher and Alex Perelygin and Jean Wu and Jason Chuang and Christopher D. Manning and Andrew Y. Ng and Christopher Potts},
  booktitle={EMNLP},
  year={2013}
}

@inproceedings{Xiang2013,
 author = {Xiang, Rongjing and Neville, Jennifer},
 title = {Collective Inference for Network Data with Copula Latent Markov Networks},
 booktitle = {Proceedings of the Sixth ACM International Conference on Web Search and Data Mining},
 series = {WSDM '13},
 year = {2013},
 isbn = {978-1-4503-1869-3},
 location = {Rome, Italy},
 pages = {647--656},
 numpages = {10},
 } 
 
 @inproceedings{achlioptas2017probabilistic,
  title={Probabilistic model counting with short XORs},
  author={Achlioptas, Dimitris and Theodoropoulos, Panos},
  booktitle={International Conference on Theory and Applications of Satisfiability Testing},
  pages={3--19},
  year={2017},
  organization={Springer}
}
 
 @inproceedings{kuck2019adaptive,
  title={Adaptive Hashing for Model Counting},
  author={Kuck, Jonathan and Dao, Tri and Zhao, Shengjia and Bartan, Burak and Sabharwal, Ashish and Ermon, Stefano},
  booktitle={Conference on Uncertainty in Artificial Intelligence},
  year={2019}
}

@inproceedings{murphy1999loopy,
  title={Loopy belief propagation for approximate inference: An empirical study},
  author={Murphy, Kevin P and Weiss, Yair and Jordan, Michael I},
  booktitle={Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence},
  pages={467--475},
  year={1999},
  organization={Morgan Kaufmann Publishers Inc.}
}

@inproceedings{Radlinski2005,
 author = {Radlinski, Filip and Joachims, Thorsten},
 title = {Query Chains: Learning to Rank from Implicit Feedback},
 booktitle = {Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery in Data Mining},
 series = {KDD '05},
 year = {2005},
 pages = {239--248},
 numpages = {10},
 } 

@inproceedings{Dechter97MiniBucket,
  author    = {Rina Dechter},
  title     = {Mini-Buckets: {A} General Scheme for Generating Approximations in
               Automated Reasoning},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence},
  year      = {1997},
}
@proceedings{DBLP:conf/ijcai/1997,
  title     = {Proceedings of the Fifteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  publisher = {Morgan Kaufmann},
  year      = {1997},
  timestamp = {Mon, 21 Jan 2013 14:26:57 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{Friesen2015RecursiveDecomp,
  author    = {Friesen, Abram L. and Domingos, Pedro},
  title     = {Recursive Decomposition for Nonconvex Optimization},
  booktitle = {Proceedings of the 24th International Joint Conference on Artificial Intelligence},
  year      = {2015},
}

@inproceedings{IhlerFDO12,
  author    = {Alexander T. Ihler and
               Natalia Flerova and
               Rina Dechter and
               Lars Otten},
  title     = {Join-graph based cost-shifting schemes},
  booktitle = {UAI},
  year      = {2012},
}
@proceedings{DBLP:conf/uai/2012,
  editor    = {Nando de Freitas and
               Kevin P. Murphy},
  title     = {Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial
               Intelligence, Catalina Island, CA, USA, August 14-18, 2012},
  publisher = {{AUAI} Press},
  year      = {2012},
  url       = {https://dslpitt.org/uai/displayArticles.jsp?mmnu=1&smnu=1&proceeding_id=28},
  timestamp = {Wed, 06 May 2015 15:02:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/uai/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{OgataTanemura1981,
year={1981},
issn={0020-3157},
journal={Annals of the Institute of Statistical Mathematics},
title={Estimation of interaction potentials of spatial point patterns through the maximum likelihood procedure},
author={Ogata, Yosihiko and Tanemura, Masaharu},
}

@inproceedings{BuchmanSMPF12FourierLearning,
  author    = {David Buchman and
               Mark W. Schmidt and
               Shakir Mohamed and
               David Poole and
               Nando de Freitas},
  title     = {On Sparse, Spectral and Other Parameterizations of Binary Probabilistic
               Models},
  booktitle = { {AISTATS} },
  year      = {2012},
}
@proceedings{DBLP:conf/aistats/2012,
  editor    = {Neil D. Lawrence and
               Mark Girolami},
  title     = {Proceedings of the Fifteenth International Conference on Artificial
               Intelligence and Statistics, {AISTATS} 2012, La Palma, Canary Islands,
               April 21-23, 2012},
  series    = {{JMLR} Proceedings},
  volume    = {22},
  publisher = {JMLR.org},
  year      = {2012},
  url       = {http://jmlr.org/proceedings/papers/v22/},
  timestamp = {Thu, 11 Sep 2014 07:28:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aistats/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{Jordan1999Variational,
 author = {Jordan, Michael I. and Ghahramani, Zoubin and Jaakkola, Tommi S. and Saul, Lawrence K.},
 title = {An Introduction to Variational Methods for Graphical Models},
 journal = {Mach. Learn.},
 year = {1999},
} 

@article{Linden2003CollaborativeFiltering,
 author = {Linden, Greg and Smith, Brent and York, Jeremy},
 title = {Amazon.Com Recommendations: Item-to-Item Collaborative Filtering},
 journal = {IEEE Internet Computing},
 year = {2003},
} 

@inproceedings{HazanJ12,
  author    = {Tamir Hazan and
               Tommi S. Jaakkola},
  title     = {On the Partition Function and Random Maximum A-Posteriori Perturbations},
  booktitle = {{ICML}},
  year      = {2012},
}
@proceedings{DBLP:conf/icml/2012,
  title     = {Proceedings of the 29th International Conference on Machine Learning,
               {ICML} 2012, Edinburgh, Scotland, UK, June 26 - July 1, 2012},
  publisher = {icml.cc / Omnipress},
  year      = {2012},
  timestamp = {Fri, 25 Jan 2013 09:27:34 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icml/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{Chakraborty2015WeightedCounting,
 author = {Chakraborty, Supratik and Fried, Dror and Meel, Kuldeep S. and Vardi, Moshe Y.},
 title = {From Weighted to Unweighted Model Counting},
 booktitle = {Proceedings of the 24th International Joint Conference on AI (IJCAI)},
 year = {2015},
}

@inproceedings{Lee2016AOBB,
  author    = {Junkyu Lee and
               Radu Marinescu and
               Rina Dechter and
               Alexander T. Ihler},
  title     = {From Exact to Anytime Solutions for Marginal {MAP}},
  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, AAAI},
  year      = {2016},
}

@inproceedings{Maua2012AnytimeMAP,
  author    = {Denis Deratani Mau{\'{a}} and
               Cassio Polpo de Campos},
  title     = {Anytime Marginal {MAP} Inference},
  booktitle = {Proceedings of the 29th International Conference on Machine Learning, {ICML}},
  year      = {2012},
}

@inproceedings{Marinescu2015AOBB,
 author = {Marinescu, Radu and Dechter, Rina and Ihler, Alexander},
 title = {Pushing Forward Marginal Map with Best-first Search},
 booktitle = {Proceedings of the 24th International Conference on Artificial Intelligence (IJCAI)},
 year = {2015},
} 

@inproceedings{Ermon2013CplexWish,
  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}},
  year      = {2013},
}

@inproceedings{lou2019interleave,
  title={Interleave variational optimization with Monte Carlo sampling: A tale of two approximate inference paradigms},
  author={Lou, Qi and Dechter, Rina and Ihler, Alexander},
  booktitle={Proceedings of the 33rd AAAI Conference on Artificial Intelligence, AAAI},
  volume={19},
  year={2019}
}

@inproceedings{lou2017dynamic,
  title={Dynamic importance sampling for anytime bounds of the partition function},
  author={Lou, Qi and Dechter, Rina and Ihler, Alexander T},
  booktitle={Advances in Neural Information Processing Systems},
  pages={3196--3204},
  year={2017}
}

@techreport{asterisldpc,
  title={{LDPC} Codes for Discrete Integration},
  author={Asteris, Megasthenis and Dimakis, Alexandros G},
  institution={UT Austin},
    year={2016}
}

@inproceedings{zhaotech,
  title={Closing the Gap Between Short and Long XORs for Model Counting},
  author={Zhao, Shengjia and Chaturapruek, Sorathan and Sabharwal, Ashish and Ermon, Stefano },
  booktitle={Proceedings of AAAI},
  year={2016}
}

@article{hazan2012partition,
  title={On the partition function and random maximum a-posteriori perturbations},
  author={Hazan, Tamir and Jaakkola, Tommi},
  journal={arXiv preprint arXiv:1206.6410},
  year={2012}
}

@inproceedings{friedman2018approximate,
  title={Approximate knowledge compilation by online collapsed importance sampling},
  author={Friedman, Tal and Van den Broeck, Guy},
  booktitle={Advances in Neural Information Processing Systems},
  pages={8024--8034},
  year={2018}
}

@inproceedings{liu2015estimating,
  title={Estimating the partition function by discriminance sampling},
  author={Liu, Qiang and Peng, Jian and Ihler, Alexander and Fisher III, John},
  booktitle={Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence},
  year={2015}
}

@inproceedings{soos2019bird,
  title={Bird: Engineering an efficient CNF-XOR sat solver and its applications to approximate model counting},
  author={Soos, Mate and Meel, Kuldeep S},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  year={2019}
}

@inproceedings{belle2015hashing,
  title={Hashing-based approximate probabilistic inference in hybrid domains},
  author={Belle, Vaishak and Van den Broeck, Guy and Passerini, Andrea},
  booktitle={Proceedings of the 31st UAI Conference},
  year={2015}
}

@inproceedings{achlioptas2018fast,
  title={Fast and Flexible Probabilistic Model Counting},
  author={Achlioptas, Dimitris and Hammoudeh, Zayd and Theodoropoulos, Panos},
  booktitle={International Conference on Theory and Applications of Satisfiability Testing},
  year={2018}
}

@inproceedings{achlioptasstochastic,
  title={Stochastic Integration via Error-Correcting Codes},
   booktitle={Proc. Uncertainty in Artificial Intelligence},
  year={2015},
  author={Achlioptas, Dimitris and Jiang, Pei}
}

@article{ivrii2015computing,
  title={On computing minimal independent support and its applications to sampling and counting},
  author={Ivrii, Alexander and Malik, Sharad and Meel, Kuldeep S and Vardi, Moshe Y},
  journal={Constraints},
  pages={1--18},
  year={2015},
  publisher={Springer}
}

@inproceedings{ermon2013embed,
  title={Embed and Project: Discrete Sampling with Universal Hashing},
  author={Ermon, Stefano and Gomes, Carla P. and Sabharwal, Ashish and Selman, Bart},
  booktitle={Advances in Neural Information Processing Systems (NIPS)},
  year={2013}
}

@inproceedings{Lee16AnytimeMMAP,
  author    = {Junkyu Lee and
               Radu Marinescu and
               Rina Dechter and
               Alexander T. Ihler},
  title     = {From Exact to Anytime Solutions for Marginal {MAP}},
  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence},
  year      = {2016},
}


@article{Xue15ScheduleCascade,
  author    = {Shan Xue and
               Alan Fern and
               Daniel Sheldon},
  title     = {Scheduling Conservation Designs for Maximum Flexibility via Network  Cascade Optimization},
  journal   = {J. Artif. Intell. Res. {(JAIR)}},
  year      = {2015},
}

@inproceedings{Radu15BestFirstSearchMMAP,
  author    = {Radu Marinescu and
               Rina Dechter and
               Alexander T. Ihler},
  title     = {Pushing Forward Marginal {MAP} with Best-First Search},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI}},
  year      = {2015},
}

@inproceedings{Wei15DecompositionBoundMMAP,
  author    = {Wei Ping and
               Qiang Liu and
               Alexander T. Ihler},
  title     = {Decomposition Bounds for Marginal {MAP}},
  booktitle = {Advances in Neural Information Processing Systems 28},
  year      = {2015},
}

@inproceedings{Radu14AndOrMMAP,
  author    = {Radu Marinescu and
               Rina Dechter and
               Alexander T. Ihler},
  title     = {{AND/OR} Search for Marginal {MAP}},
  booktitle = {Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, {UAI}},
  year      = {2014},
}

@article{LiuI13VariationalMMAP,
  author    = {Qiang Liu and
               Alexander T. Ihler},
  title     = {Variational algorithms for marginal {MAP}},
  journal   = {Journal of Machine Learning Research},
  volume    = {14},
  year      = {2013},
}

@article{ChaviraDJ06Ace,
  author    = {Mark Chavira and
               Adnan Darwiche and
               Manfred Jaeger},
  title     = {Compiling relational Bayesian networks for exact inference},
  journal   = {Int. J. Approx. Reasoning},
  year      = {2006},
}


@Article{Hinton06RBM, 
  author =	"Geoffrey Hinton and Ruslan Salakhutdinov", 
  title =	"Reducing the Dimensionality of Data with Neural 
		 Networks",  
  journal =	"Science", 
  volume =	"313", 
  number =      "5786",
  pages =       "504 - 507",
  year = 	"2006",  
}


@inproceedings{BengioLPL06LayerTraining,
  author    = {Yoshua Bengio and
               Pascal Lamblin and
               Dan Popovici and
               Hugo Larochelle},
  title     = {Greedy Layer-Wise Training of Deep Networks},
  booktitle = {Advances in Neural Information Processing Systems 19},
  year      = {2006},
}

@inproceedings{Jiang11MessagePassingMMAP,
  author    = {Jiarong Jiang and
               Piyush Rai and
               Hal Daum{\'{e}} III},
  title     = {Message-Passing for Approximate {MAP} Inference with Latent Variables},
  booktitle = {Advances in Neural Information Processing Systems 24},
  year      = {2011},
}


@inproceedings{Zhao16ParityGap,
  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 30th {AAAI} Conference on Artificial Intelligence},
  year      = {2016},
}

@article{Park04MMAPComplexity,
 author = {Park, James D. and Darwiche, Adnan},
 title = {Complexity Results and Approximation Strategies for MAP Explanations},
 journal = {J. Artif. Int. Res.},
 year = {2004},
} 

@inproceedings{Park2002MMAPExact,
 author = {Park, James D. and Darwiche, Adnan},
 title = {Solving MAP Exactly Using Systematic Search},
 booktitle = {Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI)},
 year = {2003},
}

@inproceedings{Sheldon10NetworkDesign,
  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}},
  year      = {2010},
}


@inproceedings{Ermon14LowDensityParity,
  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}},
  year      = {2014},
}

@inproceedings{Ermon13Wish,
  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}},
  year      = {2013},
}

@inproceedings{Ermon13WeightedWish,
  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},
  year      = {2013},
}

@article{bonney2009citizen,
  title={Citizen science: a developing tool for expanding science knowledge and scientific literacy},
  author={Bonney, Rick and Cooper, Caren B and Dickinson, Janis and Kelling, Steve and Phillips, Tina and Rosenberg, Kenneth V and Shirk, Jennifer},
  journal={BioScience},
  volume={59},
  number={11},
  pages={977--984},
  year={2009},
  publisher={Oxford University Press}
}

@article{Hochachka2012Data,
title = "Data-intensive science applied to broad-scale citizen science",
journal = "Trends in Ecology \& Evolution",
volume = "27",
number = "2",
pages = "130 - 137",
year = "2012",
note = "Ecological and evolutionary informatics ",
issn = "0169-5347",
author = "Wesley M. Hochachka and Daniel Fink and Rebecca A. Hutchinson and Daniel Sheldon and Weng-Keen Wong and Steve Kelling"
}

@article{Sullivan2014TheeBird,
title = "The eBird enterprise: An integrated approach to development and application of citizen science ",
journal = "Biological Conservation ",
volume = "169",
number = "0",
pages = "31 - 40",
year = "2014",
note = "",
issn = "0006-3207",
author = "Brian L. Sullivan and Jocelyn L. Aycrigg and Jessie H. Barry and Rick E. Bonney and Nicholas Bruns and Caren B. Cooper and Theo Damoulas and André A. Dhondt and Tom Dietterich and Andrew Farnsworth and Daniel Fink and John W. Fitzpatrick and Thomas Fredericks and Jeff Gerbracht and Carla Gomes and Wesley M. Hochachka and Marshall J. Iliff and Carl Lagoze and Frank A. La Sorte and Matthew Merrifield and Will Morris and Tina B. Phillips and Mark Reynolds and Amanda D. Rodewald and Kenneth V. Rosenberg and Nancy M. Trautmann and Andrea Wiggins and David W. Winkler and Weng-Keen Wong and Christopher L. Wood and Jun Yu and Steve Kelling",
}

@book{Diggle2003,
title = "Statistical Analysis of Spatial Point Patterns.",
publisher = "Hodder Education Publishers",
author = "Diggle, Peter J.",
note = "2nd edition",
year = "2003",
isbn = "0340740701",
}

@article{Wood2011eBird,
  title={eBird: engaging birders in science and conservation},
  author={Wood, Chris and Sullivan, Brian and Iliff, Marshall and Fink, Daniel and Kelling, Steve},
  journal={PLoS biology},
  volume={9},
  number={12},
  pages={e1001220},
  year={2011},
  publisher={Public Library of Science}
}

@book{Law2011,
  author    = {Edith Law and
               Luis von Ahn},
  title     = {Human Computation},
  booktitle = {Human Computation},
  publisher = {Morgan {\&} Claypool Publishers},
  series    = {Synthesis Lectures on Artificial Intelligence and Machine
               Learning},
  year      = {2011},
  ee        = {http://dx.doi.org/10.2200/S00371ED1V01Y201107AIM013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Zhang2012,
 author = {Zhang, Haoqi and Law, Edith and Miller, Rob and Gajos, Krzysztof and Parkes, David and Horvitz, Eric},
 title = {Human computation tasks with global constraints},
 booktitle = {CHI},
 year = {2012},
 pages = {217--226},
 numpages = {10},
 doi = {10.1145/2207676.2207708},
 acmid = {2207708},
 keywords = {collaborative planning, crowdware, groupware, human computation, mixed-initiative interaction},
} 


@inproceedings{Weld2011,
  author    = {Daniel S. Weld and
               Mausam and
               Peng Dai},
  title     = {Human Intelligence Needs Artificial Intelligence},
  booktitle = {Human Computation},
  year      = {2011},
  crossref  = {DBLP:conf/aaai/2011hc},
}

@proceedings{DBLP:conf/aaai/2011hc,
  title     = {2011 AAAI Workshop},
  booktitle = {Human Computation},
  publisher = {AAAI},
  series    = {AAAI Workshops},
  year      = {2011},
  ee        = {http://www.aaai.org/Library/Workshops/ws11-11.php},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{Kreger2011Report,
  title={U.S. State of the Birds 2011 Report on Public Lands and Waters: 48},
  author={Kreger, M and Schmidt, P},
  publisher={Washington, D.C.: United States Department of the Interior},
  year={2011}
}

@article{klicka2011phylogeographic,
  title={A phylogeographic and population genetic analysis of a widespread, sedentary North American bird: The Hairy Woodpecker (Picoides villosus)},
  author={Klicka, John and Spellman, Garth M and Winker, Kevin and Chua, Vivien and Smith, Brian T},
  journal={The Auk},
  volume={128},
  number={2},
  pages={346--362},
  year={2011},
  publisher={BioOne}
}


@article{Schwamb2012PlanetHunter,
  title={Planet Hunters: A Transiting Circumbinary Planet in a Quadruple Star System},
  author={Schwamb, Megan E and Orosz, Jerome A and Carter, Joshua A and Welsh, William F and Fischer, Debra A and Torres, Guillermo and Howard, Andrew W and Crepp, Justin R and Keel, William C and Lintott, Chris J and others},
  journal={arXiv preprint arXiv:1210.3612},
  year={2012}
}

@article{Schwamb2012PlanetHunterShort,
  title={Planet Hunters: A Transiting Circumbinary Planet in a Quadruple Star System},
  author={Schwamb, Megan E and Orosz, Jerome A and Carter, Joshua A and Welsh, William F and Fischer, Debra A and et. al.},
  journal={arXiv preprint arXiv:1210.3612},
  year={2012}
}


@article{Hurlbert2012BirdClimateChange,
  title={Spatiotemporal variation in avian migration phenology: citizen science reveals effects of climate change},
  author={Hurlbert, Allen H and Liang, Zhongfei},
  journal={PloS one},
  volume={7},
  number={2},
  pages={e31662},
  year={2012},
  publisher={Public Library of Science}
}


@article{Mccormack2010Niche,
  title={Does niche divergence accompany allopatric divergence in Aphelocoma jays as predicted under ecological speciation?: insights from tests with niche models},
  author={McCormack, John E and Zellmer, Amanda J and Knowles, L Lacey},
  journal={Evolution},
  volume={64},
  number={5},
  pages={1231--1244},
  year={2010},
  publisher={Wiley Online Library}
}

@article{Bonney2009CitizenScience,
  title={Citizen science: a developing tool for expanding science knowledge and scientific literacy},
  author={Bonney, Rick and Cooper, Caren B and Dickinson, Janis and Kelling, Steve and Phillips, Tina and Rosenberg, Kenneth V and Shirk, Jennifer},
  journal={BioScience},
  volume={59},
  number={11},
  pages={977--984},
  year={2009},
  publisher={BioOne}
}


@article{NLCD2001,
    journal = {Photogrammetric Engineering and Remote Sensing},
    author = {Homer, C. and Dewitz, J. and Fry, J. and Coan, M. and Hossain, N. and Larson, C. and Herold, N. and Mckerrow, A. and Vandriel, J. N. and Wickham, J.},
    number = {4},
    pages = {337--341},
    title = {{Completion of the 2001 National Land Cover Database for the conterminous United States}},
    volume = {73},
    year = {2007}
}

@article{NLCD2001Short,
    journal = {Photogrammetric Engineering and Remote Sensing},
    keywords = {ris},
    author = {Homer, C. and Dewitz, J. and Fry, J. and Coan, M. and Hossain, N. and et. al. },
    number = {4},
    pages = {337--341},
    posted-at = {2009-02-11 15:39:24},
    priority = {2},
    title = {{Completion of the 2001 National Land Cover Database for the conterminous United States}},
    url = {http://www.asprs.org/publications/pers/2007journal/april/highlight.pdf},
    volume = {73},
    year = {2007}
}


@article{Cooper2010Foldit,
    abstract = {{
                People exert large amounts of problem-solving effort playing computer games. Simple image- and text-recognition tasks have been successfully 'crowd-sourced' through games, but it is not clear if more complex scientific problems can be solved with human-directed computing. Protein structure prediction is one such problem: locating the biologically relevant native conformation of a protein is a formidable computational challenge given the very large size of the search space. Here we describe Foldit, a multiplayer online game that engages non-scientists in solving hard prediction problems. Foldit players interact with protein structures using direct manipulation tools and user-friendly versions of algorithms from the Rosetta structure prediction methodology, while they compete and collaborate to optimize the computed energy. We show that top-ranked Foldit players excel at solving challenging structure refinement problems in which substantial backbone rearrangements are necessary to achieve the burial of hydrophobic residues. Players working collaboratively develop a rich assortment of new strategies and algorithms; unlike computational approaches, they explore not only the conformational space but also the space of possible search strategies. The integration of human visual problem-solving and strategy development capabilities with traditional computational algorithms through interactive multiplayer games is a powerful new approach to solving computationally-limited scientific problems.
            }},
    author = {Cooper, Seth and Khatib, Firas and Treuille, Adrien and Barbero, Janos and Lee, Jeehyung and Beenen, Michael and Leaver-Fay, Andrew and Baker, David and Popovi\'{c}, Zoran and Players, Foldit},
    citeulike-article-id = {7572779},
    citeulike-linkout-0 = {http://dx.doi.org/10.1038/nature09304},
    citeulike-linkout-1 = {http://dx.doi.org/10.1038/nature09304},
    citeulike-linkout-2 = {http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2956414/},
    citeulike-linkout-3 = {http://view.ncbi.nlm.nih.gov/pubmed/20686574},
    citeulike-linkout-4 = {http://www.hubmed.org/display.cgi?uids=20686574},
    day = {5},
    doi = {10.1038/nature09304},
    issn = {1476-4687},
    journal = {Nature},
    keywords = {crowdsourcing, games, gwap, humanfitnessfunction, predict, protein},
    month = aug,
    number = {7307},
    pages = {756--760},
    pmcid = {PMC2956414},
    pmid = {20686574},
    posted-at = {2010-08-25 00:31:19},
    priority = {2},
    publisher = {Nature Publishing Group, a division of Macmillan Publishers Limited. All Rights Reserved.},
    title = {{Predicting protein structures with a multiplayer online game.}},
    url = {http://dx.doi.org/10.1038/nature09304},
    volume = {466},
    year = {2010}
}

@article{Lintott2008Galaxy,
    author = {Lintott, Chris J. and Schawinski, Kevin and Slosar, An\v{z}e and others},
    day = {21},
    journal = {Monthly Notices of the Royal Astronomical Society},
    month = sep,
    number = {3},
    pages = {1179--1189},
    title = {{Galaxy Zoo: morphologies derived from visual inspection of galaxies from the Sloan Digital Sky Survey}},
    volume = {389},
    year = {2008}
}

@article{Lintott2008GalaxyShort,
    abstract = {{In order to understand the formation and subsequent evolution of
galaxies one must first distinguish between the two main morphological
classes of massive systems: spirals and early-type systems. This paper
introduces a project, Galaxy Zoo, which provides visual morphological
classifications for nearly one million galaxies, extracted from the
Sloan Digital Sky Survey (SDSS). This achievement was made possible by
inviting the general public to visually inspect and classify these
galaxies via the internet. The project has obtained more than 4 \&\#215;
10<SUP>7</SUP> individual classifications made by \~{}10<SUP>5</SUP>
participants. We discuss the motivation and strategy for this project,
and detail how the classifications were performed and processed. We find
that Galaxy Zoo results are consistent with those for subsets of SDSS
galaxies classified by professional astronomers, thus demonstrating that
our data provide a robust morphological catalogue. Obtaining
morphologies by direct visual inspection avoids introducing biases
associated with proxies for morphology such as colour, concentration or
structural parameters. In addition, this catalogue can be used to
directly compare SDSS morphologies with older data sets. The
colour-magnitude diagrams for each morphological class are shown, and we
illustrate how these distributions differ from those inferred using
colour alone as a proxy for morphology.<p/>

This publication has been made possible by the participation of more
than 100000 volunteers in the Galaxy Zoo project. Their contributions
are individually acknowledged at
http://www.galaxyzoo.org/Volunteers.aspx<p/>

E-mail: cjl@astro.ox.ac.uk (CJL); kevins@astro.ox.ac.uk (KS)}},
    archivePrefix = {arXiv},
    author = {Lintott, Chris J. and Schawinski, Kevin and Slosar, An\v{z}e and Land, Kate and Bamford, Steven and et. al.},
    citeulike-article-id = {3194165},
    citeulike-linkout-0 = {http://arxiv.org/abs/0804.4483},
    citeulike-linkout-1 = {http://arxiv.org/pdf/0804.4483},
    citeulike-linkout-2 = {http://dx.doi.org/10.1111/j.1365-2966.2008.13689.x},
    citeulike-linkout-3 = {http://adsabs.harvard.edu/cgi-bin/nph-bib\_query?bibcode=2008MNRAS.389.1179L},
    day = {21},
    doi = {10.1111/j.1365-2966.2008.13689.x},
    eprint = {0804.4483},
    issn = {00358711},
    journal = {Monthly Notices of the Royal Astronomical Society},
    keywords = {astronomy, citizen-science, crowdsourcing, eureka, galaxy, galaxy-zoo, zooniverse},
    month = sep,
    number = {3},
    pages = {1179--1189},
    posted-at = {2010-10-18 17:26:49},
    priority = {2},
    title = {{Galaxy Zoo: morphologies derived from visual inspection of galaxies from the Sloan Digital Sky Survey}},
    url = {http://dx.doi.org/10.1111/j.1365-2966.2008.13689.x},
    volume = {389},
    year = {2008}
}

@inproceedings{LuisVonAhn2013Duolingo,
  author    = {Luis von Ahn},
  title     = {Duolingo: learn a language for free while helping to translate
               the web},
  booktitle = {IUI},
  year      = {2013},
  pages     = {1-2},
  ee        = {http://doi.acm.org/10.1145/2449396.2449398},
  crossref  = {DBLP:conf/iui/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/iui/2013,
  editor    = {Jihie Kim and
               Jeffrey Nichols and
               Pedro A. Szekely},
  title     = {18th International Conference on Intelligent User Interfaces,
               IUI '13, Santa Monica, CA, USA, March 19-22, 2013},
  booktitle = {IUI},
  publisher = {ACM},
  year      = {2013},
  isbn      = {978-1-4503-1965-2},
  ee        = {http://dl.acm.org/citation.cfm?id=2449396},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@misc{BugGuide,
author = {Troy Bartlett},
title = {BugGuide},
howpublished = {\url{bugguide.net}},
year = {2011}
}

@article{Chiappone1996CoralWatch,
  title={Coral Watch program summary. A report on volunteer and scientific efforts to document the status of reefs in the Florida Keys National Marine Sanctuary},
  author={Chiappone, M},
  journal={The Nature Conservancy, Summerland Key, Florida},
  year={1996}
}

@inproceedings{Kelling2012eBird,
  author    = {Steve Kelling and
               Jeff Gerbracht and
               Daniel Fink and
               Carl Lagoze and
               Weng-Keen Wong and
               Jun Yu and
               Theodoros Damoulas and
               Carla P. Gomes},
  title     = {eBird: A Human/Computer Learning Network for Biodiversity
               Conservation and Research},
  booktitle = {Proceedings of the Twenty-Fourth Conference on Innovative
               Applications of Artificial Intelligence (IAAI)},
  year      = {2012},
}
@inproceedings{Kelling2012eBirdShort,
  author    = {Steve Kelling and
               Jeff Gerbracht and
               Daniel Fink and
               Carl Lagoze and
               Weng-Keen Wong and
               et. al.
              },
  title     = {eBird: A Human/Computer Learning Network for Biodiversity
               Conservation and Research},
  booktitle = {IAAI},
  year      = {2012},
  ee        = {http://www.aaai.org/ocs/index.php/IAAI/IAAI-12/paper/view/4880},
  crossref  = {DBLP:conf/iaai/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iaai/2012,
  title     = {Proceedings of the Twenty-Fourth Conference on Innovative
               Applications of Artificial Intelligence, July 22-26, 2012,
               Toronto, Ontario, Canada},
  booktitle = {IAAI},
  publisher = {AAAI},
  year      = {2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{Sullivan2009eBird,
title = "eBird: A citizen-based bird observation network in the biological sciences ",
journal = "Biological Conservation ",
volume = "142",
number = "10",
pages = "2282 - 2292",
year = "2009",
note = "",
issn = "0006-3207",
doi = "10.1016/j.biocon.2009.05.006",
url = "http://www.sciencedirect.com/science/article/pii/S000632070900216X",
author = "Brian L. Sullivan and Christopher L. Wood and Marshall J. Iliff and Rick E. Bonney and Daniel Fink and Steve Kelling",
keywords = "eBird",
keywords = "Citizen-science",
keywords = "Observation network",
keywords = "Scale-dependent analysis",
keywords = "Bird observations "
}


@article{Nemhauser1978submodularOpt,
    abstract = {Let N be a finite set andz be a real-valued function defined on the set of subsets ofN that satisfies z(S)+z(T)≥z(S⋃T)+z(S⋂T) for allS, T inN. Such a function is called submodular. We consider the problem maxS⊂N{a(S):|S|≤K,z(S) submodular}.
                            Several hard combinatorial optimization problems can be posed in this framework. For example, the problem of finding a maximum weight independent set in a matroid, when the elements of the matroid are colored and the elements of the independent set can have no more thanK colors, is in this class. The uncapacitated location problem is a special case of this matroid optimization problem.
                            We analyze greedy and local improvement heuristics and a linear programming relaxation for this problem. Our results are worst case bounds on the quality of the approximations. For example, whenz(S) is nondecreasing andz(0) = 0, we show that a  ” greedy” heuristic always produces a solution whose value is at least 1 −[(K − 1)/K]
                              K
                               times the optimal value. This bound can be achieved for eachK and has a limiting value of (e − 1)/e, where e is the base of the natural logarithm.},
    author = {Nemhauser, G. L. and Wolsey, L. A. and Fisher, M. L.},
    booktitle = {Mathematical Programming},
    citeulike-article-id = {416655},
    citeulike-linkout-0 = {http://dx.doi.org/10.1007/bf01588971},
    citeulike-linkout-1 = {http://www.ams.org/mathscinet-getitem?mr=503866},
    citeulike-linkout-2 = {http://www.springerlink.com/content/h474774824k48231},
    citeulike-linkout-3 = {http://link.springer.com/article/10.1007/BF01588971},
    day = {1},
    doi = {10.1007/bf01588971},
    issn = {0025-5610},
    journal = {Mathematical Programming},
    keywords = {534l, functions},
    month = dec,
    mrnumber = {MR503866},
    number = {1},
    pages = {265--294},
    posted-at = {2010-04-04 08:24:51},
    priority = {0},
    publisher = {Springer-Verlag},
    title = {{An analysis of approximations for maximizing submodular set functions I}},
    url = {http://dx.doi.org/10.1007/bf01588971},
    volume = {14},
    year = {1978}
}


@article{Calinescu2011SubmodularMatroid,
  author    = {Gruia C{\u{a}}linescu and
               Chandra Chekuri and
               Martin P{\'a}l and
               Jan Vondr{\'a}k},
  title     = {Maximizing a Monotone Submodular Function Subject to a Matroid
               Constraint},
  journal   = {SIAM J. Comput.},
  volume    = {40},
  number    = {6},
  year      = {2011},
  pages     = {1740-1766},
  ee        = {http://dx.doi.org/10.1137/080733991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{ChekuriPal2005SubmodularPath,
  author    = {Chandra Chekuri and
               Martin P{\'a}l},
  title     = {A Recursive Greedy Algorithm for Walks in Directed Graphs},
  booktitle = {FOCS},
  year      = {2005},
  pages     = {245-253},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SFCS.2005.9},
  crossref  = {DBLP:conf/focs/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/focs/2005,
  title     = {46th Annual IEEE Symposium on Foundations of Computer Science
               (FOCS 2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings},
  booktitle = {FOCS},
  year      = {2005},
  isbn      = {0-7695-2468-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{SinghK2009SubmodularPath,
  author    = {Amarjeet Singh and
               Andreas Krause and
               Carlos Guestrin and
               William J. Kaiser},
  title     = {Efficient Informative Sensing using Multiple Robots},
  journal   = {J. Artif. Intell. Res. (JAIR)},
  volume    = {34},
  year      = {2009},
  pages     = {707-755},
  ee        = {http://dx.doi.org/10.1613/jair.2674},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Fink2010Stem,
  title={Spatiotemporal exploratory models for broad-scale survey data},
  author={Fink, Daniel and Hochachka, Wesley M and Zuckerberg, Benjamin and Winkler, David W and Shaby, Ben and Munson, M Arthur and Hooker, Giles and Riedewald, Mirek and Sheldon, Daniel and Kelling, Steve},
  journal={Ecological Applications},
  volume={20},
  number={8},
  pages={2131--2147},
  year={2010},
  publisher={Eco Soc America}
}

@article{Fink2010StemShort,
  title={Spatiotemporal exploratory models for broad-scale survey data},
  author={Fink, Daniel and Hochachka, Wesley M and Zuckerberg, Benjamin and Winkler, David W and Shaby, Ben and et. al. },
  journal={Ecological Applications},
  volume={20},
  number={8},
  pages={2131--2147},
  year={2010},
  publisher={Eco Soc America}
}

@inproceedings{Fink2013AdaSTEM,
  author    = {Daniel Fink and
               Theodoros Damoulas and Jaimin Dave},
  title     = {Adaptive Spatio-Temporal Exploratory Models: Hemisphere-wide species distributions from massively crowdsourced eBird data},
  booktitle = {AAAI},
  year      = {2013}
}

@inproceedings{PhillipsDS04MaxEntropy,
  author    = {Steven J. Phillips and
               Miroslav Dud{\'{\i}}k and
               Robert E. Schapire},
  title     = {A maximum entropy approach to species distribution modeling},
  booktitle = {Machine Learning, Proceedings of the Twenty-first International Conference
               {(ICML})},
  year      = {2004},
}


@article{Var2008t-SNE,
    author    = {L.J.P van der Maaten and G.E. Hinton},
    title     = {Visualizing High-Dimensional Data Using t-SNE},
    journal   = {Journal of Machine Learning Research},
    volume    = {9: 2579–2605},
    year      = {Nov 2008},
}

@article{ZilliPMR14Cicada,
  author    = {Davide Zilli and
               Oliver Parson and
               Geoff V. Merrett and
               Alex Rogers},
  title     = {A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced
               Smartphone Biodiversity Monitoring},
  journal   = {J. Artif. Intell. Res. {(JAIR)}},
  volume    = {51},
  pages     = {805--827},
  year      = {2014},
}

@article{Gomes2009Bridge,
    author = {Gomes, Carla P.},
    journal = {The Bridge},
    keywords = {sustainability},
    number = {4},
    pages = {5--13},
    title = {{Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society}},
    volume = {39},
    year = {2009}
}


@article{Anonymous16,
  author    = {Anonymous},
  title     = {Avicaching: A Two Stage Game for Bias Reduction in Citizen Science.},
  journal   = {Supplementary materials are available anonymously at https://sites.google.com/site/aamas2016anonymous},
  publisher = {Technical Report},
  year      = {2016},
}

@inproceedings{SinglaSBMMK15IncentiveBikeSharing,
  author    = {Adish Singla and
               Marco Santoni and
               G{\'{a}}bor Bart{\'{o}}k and
               Pratik Mukerji and
               Moritz Meenen and
               Andreas Krause},
  title     = {Incentivizing Users for Balancing Bike Sharing Systems},
  booktitle = {{AAAI}},
  year      = {2015},
}

@inproceedings{Syed2008ApprenticeLearnLP,
 author = {Syed, Umar and Bowling, Michael and Schapire, Robert E.},
 title = {Apprenticeship Learning Using Linear Programming},
 booktitle = {Proceedings of the 25th International Conference on Machine Learning},
 series = {ICML '08},
 year = {2008},
}

@inproceedings{Hu1998OnlineMultiAgentLearning,
 author = {Hu, Junling and Wellman, Michael P.},
 title = {Online Learning About Other Agents in a Dynamic Multiagent System},
 booktitle = {Proceedings of the Second International Conference on Autonomous Agents},
 series = {AGENTS '98},
 year = {1998},
}

@inproceedings{Singla2013TruthfulIncentives,
 author = {Singla, Adish and Krause, Andreas},
 title = {Truthful Incentives in Crowdsourcing Tasks Using Regret Minimization Mechanisms},
 booktitle = {Proceedings of the 22Nd International Conference on World Wide Web},
 year = {2013},
}

@article{endriss2011incentive,
  title={Incentive engineering for Boolean games},
  author={Endriss, Ulle and Kraus, Sarit and Lang, J{\'e}r{\^o}me and Wooldridge, Michael},
  journal={IJCAI Proceedings-International Joint Conference on Artificial Intelligence},
  volume={22},
  number={3},
  pages={2602},
  year={2011}
}

@article{tumer-agogino_jaamas08,
	author = {A. K. Agogino and K. Tumer},
	title = {Analyzing and Visualizing Multiagent Rewards in Dynamic and Stochastic Environments},
	journal = {Journal of Autonomous Agents and Multi-Agent Systems},
	volume = {17},
	number = {2},
	pages = {320-338},
	year = {2008},
}

@inproceedings{tranh:Etal:2015,
title = {Crowdsourcing Complex Workflows under Budget Constraints},
author = {Long Tran{-}Thanh and
               Trung Dong Huynh and
               Avi Rosenfeld and
               Sarvapali D. Ramchurn and
               Nicholas R. Jennings},
year = {2015},
booktitle = {Proceedings of the AAAI Conference},
publisher = {AAAI},
}

@inproceedings{Zhang2012GlobalConstraints,
 author = {Zhang, Haoqi and Law, Edith and Miller, Rob and Gajos, Krzysztof and Parkes, David and Horvitz, Eric},
 title = {Human Computation Tasks with Global Constraints},
 booktitle = {CHI},
 year = {2012},
} 

@inproceedings{minder2012crowdmanager,
title={Crowdmanager-combinatorial allocation and pricing of crowdsourcing tasks with time constraints},
author={Minder, Patrick and Seuken, Sven and Bernstein, Abraham and Zollinger, Mengia},
booktitle={Workshop on Social Computing and User Generated Content in conjunction with ACM Conference on Electronic Commerce (ACM-EC 2012)},
year={2012}
}

@article{Tsochantaridis2005StructualSVM,
 author = {Tsochantaridis, Ioannis and Joachims, Thorsten and Hofmann, Thomas and Altun, Yasemin},
 title = {Large Margin Methods for Structured and Interdependent Output Variables},
 journal = {J. Mach. Learn. Res.},
 issue_date = {12/1/2005},
 volume = {6},
 month = dec,
 year = {2005},
 pages = {1453--1484}
} 

@inproceedings{NgR00IRL,
  author    = {Andrew Y. Ng and
               Stuart J. Russell},
  title     = {Algorithms for Inverse Reinforcement Learning},
  booktitle = {ICML},
  pages     = {663--670},
  year      = {2000}
}
@proceedings{DBLP:conf/icml/2000,
  editor    = {Pat Langley},
  title     = {Proceedings of the Seventeenth International Conference on Machine
               Learning {(ICML} 2000), Stanford University, Stanford, CA, USA, June
               29 - July 2, 2000},
  publisher = {Morgan Kaufmann},
  year      = {2000},
  isbn      = {1-55860-707-2},
  timestamp = {Sun, 21 Feb 2010 20:54:50 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icml/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}


@inproceedings{conitzer2006learning,
  title={Learning algorithms for online principal-agent problems (and selling goods online)},
  author={Conitzer, Vincent and Garera, Nikesh},
  booktitle={Proc. of the 23rd ICML},
  year={2006}
}

@inproceedings{bacon2012predicting,
  title={Predicting your own effort},
  author={Bacon, David F and Parkes, David C and Chen, Yiling and Rao, Malvika and Kash, Ian and Sridharan, Manu},
  booktitle={Proc. of the 11th Int'l Conf. on Autonomous Agents and Multiagent Systems-Volume 2},
  pages={695--702},
  year={2012}
}

@inproceedings{xue2013improving,
  title={Improving Your Chances: Boosting Citizen Science Discovery},
  author={Xue, Yexiang and Dilkina, Bistra and Damoulas, Theodoros and Fink, Daniel and Gomes, Carla and Kelling, Steve},
  booktitle={First AAAI Conference on Human Computation and Crowdsourcing},
  year={2013}
}


@inproceedings{RadanovicF15IncentiveParticipatorySensing,
  author    = {Goran Radanovic and
               Boi Faltings},
  title     = {Incentive Schemes for Participatory Sensing},
  booktitle = {{AAMAS}},
  year      = {2015},
}

@inproceedings{Fang15GreenSecurityGame,
  author    = {Fei Fang and
               Peter Stone and
               Milind Tambe},
  title     = {When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing},
  booktitle = {{IJCAI}},
  year      = {2015},
}

@inproceedings{LiTCQML15MLSponsoredSearch,
  author    = {Haifang Li and
               Fei Tian and
               Wei Chen and
               Tao Qin and
               Zhiming Ma and
               Tie{-}Yan Liu},
  title     = {Generalization Analysis for Game-Theoretic Machine Learning},
  booktitle = {{AAAI}},
  year      = {2015},
}

@inproceedings{LinMW14Relabel,
  author    = {Christopher H. Lin and
               Mausam and
               Daniel S. Weld},
  title     = {To Re(label), or Not To Re(label)},
  booktitle = {{HCOMP}},
  year      = {2014},
}

@inproceedings{YinC15Bonus,
  author    = {Ming Yin and
               Yiling Chen},
  title     = {Bonus or Not? Learn to Reward in Crowdsourcing},
  booktitle = {{IJCAI}},
  year      = {2015},
}

@inproceedings{BraggMW13Taxonomy,
  author    = {Jonathan Bragg and
               Mausam and
               Daniel S. Weld},
  title     = {Crowdsourcing Multi-Label Classification for Taxonomy Creation},
  booktitle = {Proceedings of the first AAAI conference on human computation and crowdsourcing {HCOMP}},
  year      = {2013},
}

@article{JainCP14IncentiveQA,
  author    = {Shaili Jain and
               Yiling Chen and
               David C. Parkes},
  title     = {Designing incentives for online question-and-answer forums},
  journal   = {Games and Economic Behavior},
  volume    = {86},
  pages     = {458--474},
  year      = {2014},
}

@article{settles2010active,
  title={Active learning literature survey},
  author={Settles, Burr},
  journal={University of Wisconsin, Madison},
  volume={52},
  number={55-66},
  pages={11},
  year={2010}
}

@comment stackelberg game as a whole

@book{Bard06BilevelOptimization,
 author = {Bard, Jonathan F.},
 title = {Practical Bilevel Optimization: Algorithms and Applications},
 year = {2006},
 isbn = {0792354583},
 publisher = {Springer-Verlag New York, Inc.}
} 

@book{Chvatal83LP,
 author = {Chvatal, Vasek},
 title = {Linear Programming},
 year = {1983},
 isbn = {9780716715870},
 publisher = {W. H. Freeman and Company},
 address = {New York, USA},
} 

@inproceedings{ConitzerS06BayesianStackelberg,
  author    = {Vincent Conitzer and
               Tuomas Sandholm},
  title     = {Computing the optimal strategy to commit to},
  booktitle = {Proc. 7th {ACM} Conference on Electronic Commerce (EC)},
  pages     = {82--90},
  year      = {2006}
}

@inproceedings{Paruchuri08SecurityGame,
  author    = {Praveen Paruchuri and
               Jonathan P. Pearce and
               Janusz Marecki and
               Milind Tambe and
               Fernando Ord{\'{o}}{\~{n}}ez and
               Sarit Kraus},
  title     = {Playing games for security: an efficient exact algorithm for solving
               Bayesian Stackelberg games},
  booktitle = {AAMAS},
  pages     = {895--902},
  year      = {2008}
}
@proceedings{DBLP:conf/atal/2008-2,
  editor    = {Lin Padgham and
               David C. Parkes and
               J{\"{o}}rg P. M{\"{u}}ller and
               Simon Parsons},
  title     = {7th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
               2},
  publisher = {{IFAAMAS}},
  year      = {2008},
  isbn      = {978-0-9817381-1-6},
  timestamp = {Wed, 05 Feb 4427908 14:52:00 +storil,},
  biburl    = {http://dblp1.uni-trier.de/rec/bib/conf/atal/2008-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@comment multi-dimensional pricing

@article{shavell1979risk,
  title={Risk sharing and incentives in the principal and agent relationship},
  author={Shavell, Steven},
  journal={The Bell Journal of Economics},
  year={1979},
  publisher={JSTOR}
}

@inproceedings{AggarwalFMZ04:MultiProductPricing,
  author    = {Gagan Aggarwal and
               Tom{\'{a}}s Feder and
               Rajeev Motwani and
               An Zhu},
  title     = {Algorithms for Multi-product Pricing},
  booktitle = {International Colloquium on Automata, Languages and Programming},
  year      = {2004}
}

@proceedings{DBLP:conf/icalp/2004,
  editor    = {Josep D{\'{\i}}az and
               Juhani Karhum{\"{a}}ki and
               Arto Lepist{\"{o}} and
               Donald Sannella},
  title     = {Automata, Languages and Programming: 31st International Colloquium,
               {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3142},
  publisher = {Springer},
  year      = {2004},
  isbn      = {3-540-22849-7},
  timestamp = {Tue, 06 Sep 2005 11:59:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{GuruswamiHKKKM05:EnvyFreePricing,
  author    = {Venkatesan Guruswami and
               Jason D. Hartline and
               Anna R. Karlin and
               David Kempe and
               Claire Kenyon and
               Frank McSherry},
  title     = {On profit-maximizing envy-free pricing},
  booktitle = {SODA},
  pages     = {1164--1173},
  year      = {2005}
}

@proceedings{DBLP:conf/soda/2005,
  title     = {Proceedings of the Sixteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2005, Vancouver, British Columbia, Canada, January
               23-25, 2005},
  publisher = {{SIAM}},
  year      = {2005},
  url       = {http://dl.acm.org/citation.cfm?id=1070432},
  isbn      = {0-89871-585-7},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/soda/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{HartlineK05:NearOptimalPricingNearLinearTime,
  author    = {Jason D. Hartline and
               Vladlen Koltun},
  title     = {Near-Optimal Pricing in Near-Linear Time},
  booktitle = {Algorithms and Data Structures, 9th Int'l Workshop, {WADS}},
  pages     = {422--431},
  year      = {2005}
}
@proceedings{DBLP:conf/wads/2005,
  editor    = {Frank K. H. A. Dehne and
               Alejandro L{\'{o}}pez{-}Ortiz and
               J{\"{o}}rg{-}R{\"{u}}diger Sack},
  title     = {Algorithms and Data Structures, 9th International Workshop, {WADS}
               2005, Waterloo, Canada, August 15-17, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3608},
  publisher = {Springer},
  year      = {2005},
  isbn      = {3-540-28101-0},
  timestamp = {Wed, 14 Sep 2005 11:12:01 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wads/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{BriestHGV09:StackelbergPricingBoundedConsumers,
  author    = {Patrick Briest and
               Martin Hoefer and
               Luciano Gual{\`{a}} and
               Carmine Ventre},
  title     = {On Stackelberg Pricing with Computationally Bounded Consumers},
  booktitle = {{WINE}},
  pages     = {42--54},
  year      = {2009}
}
@proceedings{DBLP:conf/wine/2009,
  editor    = {Stefano Leonardi},
  title     = {Internet and Network Economics, 5th International Workshop, {WINE}
               2009, Rome, Italy, December 14-18, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5929},
  publisher = {Springer},
  year      = {2009},
  url       = {http://dx.doi.org/10.1007/978-3-642-10841-9},
  doi       = {10.1007/978-3-642-10841-9},
  isbn      = {978-3-642-10840-2},
  timestamp = {Tue, 15 Dec 2009 11:21:34 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wine/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{BriestHK12:StackelbergNetworkPricing,
  author    = {Patrick Briest and
               Martin Hoefer and
               Piotr Krysta},
  title     = {Stackelberg Network Pricing Games},
  journal   = {Algorithmica},
  volume    = {62},
  number    = {3-4},
  pages     = {733--753},
  year      = {2012},
  url       = {http://dx.doi.org/10.1007/s00453-010-9480-3},
  doi       = {10.1007/s00453-010-9480-3},
  timestamp = {Mon, 09 Jan 2012 13:14:23 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/algorithmica/BriestHK12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}


@comment badge system

@inproceedings{FrazierKKK14:IncentiveExploration,
  author    = {Peter Frazier and
               David Kempe and
               Jon M. Kleinberg and
               Robert Kleinberg},
  title     = {Incentivizing exploration},
  booktitle = {{ACM} Conference on Economics and Computation, {EC}},
  pages     = {5--22},
  year      = {2014}
}
@proceedings{DBLP:conf/sigecom/2014,
  editor    = {Moshe Babaioff and
               Vincent Conitzer and
               David Easley},
  title     = {{ACM} Conference on Economics and Computation, {EC} '14, Stanford
               , CA, USA, June 8-12, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2600057},
  isbn      = {978-1-4503-2565-3},
  timestamp = {Wed, 02 Jul 2014 09:33:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sigecom/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{AndersonHKL13:BadgesSteer,
  author    = {Ashton Anderson and
               Daniel P. Huttenlocher and
               Jon M. Kleinberg and
               Jure Leskovec},
  title     = {Steering user behavior with badges},
  booktitle = {22nd Int'l World Wide Web Conference, {WWW}},
  year      = {2013}
}
@proceedings{DBLP:conf/www/2013,
  editor    = {Daniel Schwabe and
               Virg{\'{\i}}lio A. F. Almeida and
               Hartmut Glaser and
               Ricardo A. Baeza{-}Yates and
               Sue B. Moon},
  title     = {22nd International World Wide Web Conference, {WWW} '13, Rio de Janeiro,
               Brazil, May 13-17, 2013},
  publisher = {International World Wide Web Conferences Steering Committee / {ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2488388},
  isbn      = {978-1-4503-2035-1},
  timestamp = {Sat, 24 Aug 2013 18:12:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/www/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}


@article{CaiDP14:OptStatEstStrategicDataSource,
  author    = {Yang Cai and
               Constantinos Daskalakis and
               Christos H. Papadimitriou},
  title     = {Optimum Statistical Estimation with Strategic Data Sources},
  journal   = {CoRR 14},
year = {2014}
}


@inproceedings{Horton2010:LaborEconCrowdSourcing,
 author = {Horton, John Joseph and Chilton, Lydia B.},
 title = {The Labor Economics of Paid Crowdsourcing},
 booktitle = {Proceedings of the 11th ACM Conference on Electronic Commerce (EC)},
 year = {2010}
} 


@inproceedings{Singer2013:PricingMechanismsCrowdMarkets,
 author = {Singer, Yaron and Mittal, Manas},
 title = {Pricing Mechanisms for Crowdsourcing Markets},
 booktitle = {Proceedings of the 22nd Internat. Conf. on World Wide Web (WWW)},
 year = {2013}
} 


@inproceedings{BadanidiyuruKS13:BanditsWithKnapsacks,
  author    = {Ashwinkumar Badanidiyuru and
               Robert Kleinberg and
               Aleksandrs Slivkins},
  title     = {Bandits with Knapsacks},
  booktitle = {54th Annual {IEEE} Symposium on Foundations of Computer Science {FOCS}},
  pages     = {207--216},
  year      = {2013}
}
@proceedings{DBLP:conf/focs/2013,
  title     = {54th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
               2013, 26-29 October, 2013, Berkeley, CA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6685222},
  isbn      = {978-0-7695-5135-7},
  timestamp = {Mon, 15 Dec 2014 18:48:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{ChenLZ13:OptBudgetAlloc,
  author    = {Xi Chen and
               Qihang Lin and
               Dengyong Zhou},
  title     = {Optimistic Knowledge Gradient Policy for Optimal Budget Allocation
               in Crowdsourcing},
  booktitle = {{ICML}},
  year      = {2013}
}
@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} Proceedings},
  volume    = {28},
  publisher = {JMLR.org},
  year      = {2013},
  url       = {http://jmlr.org/proceedings/papers/v28/},
  timestamp = {Thu, 11 Sep 2014 07:28:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icml/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{FrazierPD08:KnowledgeGradient,
  author    = {Peter Frazier and
               Warren B. Powell and
               Savas Dayanik},
  title     = {A Knowledge-Gradient Policy for Sequential Information Collection},
  journal   = {{SIAM} J. Control and Optimization},
  volume    = {47},
  number    = {5},
  pages     = {2410--2439},
  year      = {2008},
  url       = {http://dx.doi.org/10.1137/070693424},
  doi       = {10.1137/070693424},
  timestamp = {Fri, 11 Jun 2010 16:14:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/siamco/FrazierPD08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

%comment admm

@inproceedings{MartinsFASX11:ADMMMAP,
  author    = {Andr{\'{e}} F. T. Martins and
               M{\'{a}}rio A. T. Figueiredo and
               Pedro M. Q. Aguiar and
               Noah A. Smith and
               Eric P. Xing},
  title     = {An Augmented Lagrangian Approach to Constrained {MAP} Inference},
  booktitle = {Proceedings of ICML},
  pages     = {169--176},
  year      = {2011}
}
@proceedings{DBLP:conf/icml/2011,
  editor    = {Lise Getoor and
               Tobias Scheffer},
  title     = {Proceedings of the 28th International Conference on Machine Learning,
               {ICML} 2011, Bellevue, Washington, USA, June 28 - July 2, 2011},
  publisher = {Omnipress},
  year      = {2011},
  timestamp = {Fri, 16 Dec 2011 12:22:26 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icml/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{BoydPCPE11:ADMM,
  author    = {Stephen P. Boyd and
               Neal Parikh and
               Eric Chu and
               Borja Peleato and
               Jonathan Eckstein},
  title     = {Distributed Optimization and Statistical Learning via the Alternating
               Direction Method of Multipliers},
  journal   = {Foundations and Trends in Machine Learning},
  volume    = {3},
  number    = {1},
  pages     = {1--122},
  year      = {2011}
}

@inproceedings{LiuCQ15:MLMechanismInducedData,
  author    = {Tie{-}Yan Liu and
               Wei Chen and
               Tao Qin},
  title     = {Mechanism Learning with Mechanism Induced Data},
  booktitle = {{AAAI}},
  year      = {2015}
}


@inproceedings{HeCWL13:MLRevenueMaximization,
  author    = {Di He and
               Wei Chen and
               Liwei Wang and
               Tie{-}Yan Liu},
  title     = {A Game-Theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search},
  booktitle = {{IJCAI}},
  year      = {2013}
}
@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},
  isbn      = {978-1-57735-633-2},
  timestamp = {Tue, 20 Aug 2013 19:20:23 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{Kawajiri2014SteeringCrowd,
 author = {Kawajiri, Ryoma and Shimosaka, Masamichi and Kashima, Hisashi},
 title = {Steered Crowdsensing: Incentive Design Towards Quality-oriented Place-centric Crowdsensing},
 booktitle = {UbiComp},
 year = {2014},
} 

@article{tran2014efficient,
  title={Efficient crowdsourcing of unknown experts using bounded multi-armed bandits},
  author={Tran-Thanh, Long and Stein, Sebastian and Rogers, Alex and Jennings, Nicholas R},
  journal={Artificial Intelligence},
  volume={214},
  pages={89--111},
  year={2014},
  publisher={Elsevier}
}

%

@article{Hamadi2013Challenge,
  author    = {Youssef Hamadi and
               Christoph M. Wintersteiger},
  title     = {Seven Challenges in Parallel {SAT} Solving},
  journal   = {{AI} Magazine},
  year      = {2013},
  volume    = {34},
  number    = {2},
  pages     = {99--106},
}


@inproceedings{2013ReginEmbarrasinglyParallel,
  author = {Regin, Jean-Charles and Rezgui, Mohamed and Malapert, Arnaud},
  booktitle = {CP},
  pages = {596-610},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Embarrassingly Parallel Search.},
  volume = 8124,
  year = 2013
}

@inproceedings{2013MoisanParallelDiscrepancySearch,
  author    = {Thierry Moisan and
               Jonathan Gaudreault and
               Claude-Guy Quimper},
  title     = {Parallel Discrepancy-Based Search},
  booktitle = {CP},
  year      = {2013},
  pages     = {30-46},
  ee        = {http://dx.doi.org/10.1007/978-3-642-40627-0_6},
  crossref  = {DBLP:conf/cp/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cp/2013,
  editor    = {Christian Schulte},
  title     = {Principles and Practice of Constraint Programming - 19th
               International Conference, CP 2013},
  booktitle = {CP},
  year      = {2013},
  isbn      = {978-3-642-40626-3},
  ee        = {http://dx.doi.org/10.1007/978-3-642-40627-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{2014FischettiSelfSplittingParallel,
   author              = {Matteo Fischetti and 
                          Michele Monaci and 
                          Domenico Salvagnin},
   title               = {Self-splitting of Workload in Parallel Computation.},
   booktitle           = {CPAIOR},
   year                = {2014},
   pages               = {394-404},
   ee                  = {http://dx.doi.org/10.1007/978-3-319-07046-9_28}
}



@inproceedings{2012HamadiParallelChallenge,
  author    = {Youssef Hamadi and
               Christoph M. Wintersteiger},
  title     = {Seven Challenges in Parallel SAT Solving},
  booktitle = {AAAI},
  year      = {2012},
  ee        = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5001},
  crossref  = {DBLP:conf/aaai/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aaai/2012,
  editor    = {J{\"o}rg Hoffmann and
               Bart Selman},
  title     = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial
               Intelligence, July 22-26, 2012, Toronto, Ontario, Canada},
  booktitle = {AAAI},
  publisher = {AAAI Press},
  year      = {2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{2011HamadiLazyDecomp,
  author    = {Youssef Hamadi and
               Jo{\~a}o Marques-Silva and
               Christoph M. Wintersteiger},
  title     = {Lazy Decomposition for Distributed Decision Procedures},
  booktitle = {PDMC},
  year      = {2011},
  pages     = {43-54},
  ee        = {http://dx.doi.org/10.4204/EPTCS.72.5},
  crossref  = {DBLP:journals/corr/abs-1111-0064},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:journals/corr/abs-1111-0064,
  title     = {Proceedings 10th International Workshop on Parallel and
               Distributed Methods in verifiCation, PDMC 2011, Snowbird,
               Utah, USA, July 14, 2011},
  booktitle = {PDMC},
  year      = {2011}
}


@inproceedings{DeMoura2008z3,
 author = {De Moura, Leonardo and Bj{\o}rner, Nikolaj},
 title = {Z3: An Efficient SMT Solver},
 booktitle = {Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 series = {TACAS'08/ETAPS'08},
 year = {2008},
 pages = {337--340},
 numpages = {4},
}
% 

 
@inproceedings{le2005fifty,
  title={Fifty-five solvers in Vancouver: The SAT 2004 competition},
  author={Le Berre, Daniel and Simon, Laurent},
  booktitle={Theory and Applications of Satisfiability Testing},
  pages={321--344},
  year={2005},
  organization={Springer}
}

@inproceedings{katsirelos2013resolution,
  title={Resolution and parallelizability: Barriers to the efficient parallelization of sat solvers},
  author={Katsirelos, George and Sabharwal, A and Samulowitz, H and Simon, L},
  booktitle={Proceedings of the Twenty-Seventh Conference on Artificial Intelligence (AAAI-13)},
  year={2013}
}

@article{dean2008mapreduce,
  title={MapReduce: simplified data processing on large clusters},
  author={Dean, Jeffrey and Ghemawat, Sanjay},
  journal={Communications of the ACM},
  volume={51},
  number={1},
  pages={107--113},
  year={2008},
  publisher={ACM}
}

@article{chu2007map,
  title={Map-reduce for machine learning on multicore},
  author={Chu, Cheng and Kim, Sang Kyun and Lin, Yi-An and Yu, YuanYuan and Bradski, Gary and Ng, Andrew Y and Olukotun, Kunle},
  journal={NIPS},
  year={2007},
  publisher={MIT; 1998}
}

@incollection{Yedidia2003BeliefPropagation,
 author = {Yedidia, Jonathan S. and Freeman, William T. and Weiss, Yair},
 chapter = {Understanding Belief Propagation and Its Generalizations},
 title = {Exploring Artificial Intelligence in the New Millennium},
 editor = {Lakemeyer, Gerhard and Nebel, Bernhard},
 year = {2003},
 isbn = {1-55860-811-7},
 pages = {239--269},
 numpages = {31},
 url = {http://dl.acm.org/citation.cfm?id=779343.779352},
 acmid = {779352},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
} 

@inproceedings{Dilkina2007Backdoor,
 author = {Dilkina, Bistra and Gomes, Carla P. and Sabharwal, Ashish},
 title = {Tradeoffs in the Complexity of Backdoor Detection},
 booktitle = {CP'07},
 year = {2007},
 isbn = {978-3-540-74969-1},
 location = {Providence, RI, USA},
 pages = {256--270},
 numpages = {15},
 url = {http://dl.acm.org/citation.cfm?id=1771668.1771691},
 acmid = {1771691},
} %Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming  series = {CP'07}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg},


@inproceedings{Malitsky20113Sa,
 author = {Malitsky, Yuri and Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf},
 title = {Non-model-based Algorithm Portfolios for SAT},
 booktitle = {Proceedings of the 14th International Conference on Theory and Application of Satisfiability Testing},
 series = {SAT'11},
 year = {2011},
 pages = {369--370},
 numpages = {2},
}% 
 

@inproceedings{Kadioglu20113Sb,
 author = {Kadioglu, Serdar and Malitsky, Yuri and Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf},
 title = {Algorithm Selection and Scheduling},
 booktitle = {Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming},
 series = {CP'11},
 year = {2011},
 pages = {454--469},
 numpages = {16},
} %Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming  series = {CP'11},

@INPROCEEDINGS{OMahony2008CaseBasedReasoning,
    author = {Eoin O'Mahony and Emmanuel Hebrard and Alan Holland and Conor Nugent},
    title = {Using Case-based Reasoning in an Algorithm Portfolio for Constraint Solving},
    booktitle = {Irish Conference On Artificial Intelligence And Cognitive Science},
    year = {2008},
    publisher = {}
}

@INPROCEEDINGS{Leyton-Brown2003portfolio,
    author = {Kevin Leyton-Brown and Eugene Nudelman and Galen Andrew and Jim Mcfadden and Yoav Shoham},
    title = {A Portfolio Approach to Algorithm Selection},
    booktitle = {IJCAI'03},
    year = {2003},
    pages = {1542--1543}
}


@ARTICLE{Hamadi2009manysat,
    author = {Youssef Hamadi and Lakhdar Sais},
    title = {ManySAT: a parallel SAT solver},
    journal = {Journal On Satisfiability, Boolean Modeling and Computation (JSAT)},
    year = {2009},
    volume = {6}
}

@conference{KottlerKaufmann2011,
author = "Stephan Kottler and Michael Kaufmann",
booktitle = "Pragmatics of SAT",
keywords = "multi-core, SAT, parallel",
title = " {SA}r{T}agnan - {A} parallel portfolio {SAT} solver with lockless physical clause sharing",
year = "2011",
}

@TECHREPORT{Biere2010lingeling,
    author = {Armin Biere},
    title = {Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010},
    institution = {SAT race},
    year = {2010}
}

@TECHREPORT{Schubert2010Antom,
    author = {Tobias Schubert and Matthew Lewis and Bernd Becker},
    title = {Antom – Solver Description},
    institution = {SAT race},
    year = {2010}
}

@techreport{Chrabakh2003gradsat,
    author = {Wahid Chrabakh and Rich Wolski},
    title = {GrADSAT: A Parallel SAT Solver for the Grid},
    year = {2003},
    institution = {UCSB Computer Science},
    number = {2003-05},
}

@TECHREPORT{Chu2008pminisat,
    author = {Geoffrey Chu and Peter J. Stuckey and Aaron Harwood},
    title = {PMiniSAT: A Parallelization of MiniSAT 2.0},
    institution = {SAT race},
    year = {2008}
}

@article{Pruul1988parallelBB,
 author = {Pruul, E.A and Nemhauser, G.L and Rushmeier, R.A},
 title = {Branch-and-bound and Parallel Computation: A Historical Note},
 journal = {Oper. Res. Lett.},
 issue_date = {April, 1988},
 volume = {7},
 number = {2},
 month = apr,
 year = {1988},
 issn = {0167-6377},
 pages = {65--69},
 numpages = {5},
 url = {http://dx.doi.org/10.1016/0167-6377(88)90067-3},
 doi = {10.1016/0167-6377(88)90067-3},
 acmid = {2309979},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {branch-and-bound, parallel processing, traveling salesman problem},
} 

@ARTICLE{Rao1993pbacktrack, 
author={Rao, V.N. and Kumar, V.}, 
journal={Parallel and Distributed Systems, IEEE Transactions on}, 
title={On the efficiency of parallel backtracking}, 
year={1993}, 
month={Apr}, 
volume={4}, 
number={4}, 
pages={427-437}, 
}

@inproceedings{Zhai2012ParallelTopicModel,
 author = {Zhai, Ke and Boyd-Graber, Jordan and Asadi, Nima and Alkhouja, Mohamad L.},
 title = {Mr. LDA: A Flexible Large Scale Topic Modeling Package Using Variational Inference in MapReduce},
 booktitle = {Proceedings of the 21st International Conference on World Wide Web},
 series = {WWW '12},
 year = {2012},
 isbn = {978-1-4503-1229-5},
 location = {Lyon, France},
 pages = {879--888},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/2187836.2187955},
 doi = {10.1145/2187836.2187955},
 acmid = {2187955},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {mapreduce, scalability, topic models},
} 

@article{Smola2010ParallelTopicModel,
 author = {Smola, Alexander and Narayanamurthy, Shravan},
 title = {An Architecture for Parallel Topic Models},
 journal = {Proc. VLDB Endow.},
 issue_date = {September 2010},
 volume = {3},
 number = {1-2},
 month = sep,
 year = {2010},
 issn = {2150-8097},
 pages = {703--710},
 numpages = {8},
 url = {http://dl.acm.org/citation.cfm?id=1920841.1920931},
 acmid = {1920931},
 publisher = {VLDB Endowment},
} 

@article{Newman2009DistributedTopicModel,
 author = {Newman, David and Asuncion, Arthur and Smyth, Padhraic and Welling, Max},
 title = {Distributed Algorithms for Topic Models},
 journal = {J. Mach. Learn. Res.},
 issue_date = {12/1/2009},
 volume = {10},
 month = dec,
 year = {2009},
 issn = {1532-4435},
 pages = {1801--1828},
 numpages = {28},
 url = {http://dl.acm.org/citation.cfm?id=1577069.1755845},
 acmid = {1755845},
 publisher = {JMLR.org},
} 

@INPROCEEDINGS{Shu2006Encrypt, 
author={Guoqiang Shu and Lee, D. and Yannakakis, Mihalis}, 
booktitle={20th International Parallel and Distributed Processing Symposium (IPDPS)}, 
title={A note on broadcast encryption key management with applications to large scale emergency alert systems}, 
year={2006}, 
pages={8 pp.-}, 
}%

@article{Nau1978LeukocyteAntigen,
title = "A mathematical analysis of human leukocyte antigen serology ",
journal = "Mathematical Biosciences ",
volume = "40",
number = "3–4",
pages = "243 - 270",
year = "1978",
note = "",
issn = "0025-5564",
author = "Dana S. Nau and George Markowsky and Max A. Woodbury and D. Bernard Amos"
}

@inproceedings{Liu2010DistributedNMF,
 author = {Liu, Chao and Yang, Hung-chih and Fan, Jinliang and He, Li-Wei and Wang, Yi-Min},
 title = {Distributed Nonnegative Matrix Factorization for Web-scale Dyadic Data Analysis on Mapreduce},
 booktitle = {Proceedings of the 19th International Conference on World Wide Web},
 series = {WWW '10},
 year = {2010},
 isbn = {978-1-60558-799-8},
 location = {Raleigh, North Carolina, USA},
 pages = {681--690},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1772690.1772760},
 doi = {10.1145/1772690.1772760},
 acmid = {1772760},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {distributed computing, dyadic data, mapreduce, nonnegative matrix factorization},
} 

@article{Xu2008SatZilla,
  author    = {Lin Xu and
               Frank Hutter and
               Holger H. Hoos and
               Kevin Leyton-Brown},
  title     = {SATzilla: Portfolio-based Algorithm Selection for SAT},
  journal   = {J. Artif. Intell. Res. (JAIR)},
  volume    = {32},
  year      = {2008},
  pages     = {565-606},
  ee        = {http://dx.doi.org/10.1613/jair.2490},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Low2010GraphLab,
  author    = {Yucheng Low and
               Joseph Gonzalez and
               Aapo Kyrola and
               Danny Bickson and
               Carlos Guestrin and
               Joseph M. Hellerstein},
  title     = {GraphLab: A New Framework For Parallel Machine Learning},
  booktitle = {UAI},
  year      = {2010},
  pages     = {340-349},
  ee        = {http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1{\&}smnu=2{\&}article_id=2126{\&}proceeding_id=26},
  crossref  = {DBLP:conf/uai/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
  booktitle = {UAI},
  publisher = {AUAI Press},
  year      = {2010},
  isbn      = {978-0-9749039-6-5},
  ee        = {http://uai.sis.pitt.edu/displayArticles.jsp?mmnu=1{\&}smnu=1{\&}proceeding_id=26},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Niu2011Tuffy,
  author    = {Feng Niu and
               Christopher R{\'e} and
               AnHai Doan and
               Jude W. Shavlik},
  title     = {Tuffy: Scaling up Statistical Inference in Markov Logic
               Networks using an RDBMS},
  journal   = {PVLDB},
  volume    = {4},
  number    = {6},
  year      = {2011},
  pages     = {373-384},
  ee        = {http://www.vldb.org/pvldb/vol4/p373-niu.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Malewicz2010Pregel,
  author    = {Grzegorz Malewicz and
               Matthew H. Austern and
               Aart J. C. Bik and
               James C. Dehnert and
               Ilan Horn and
               Naty Leiser and
               Grzegorz Czajkowski},
  title     = {Pregel: a system for large-scale graph processing},
  booktitle = {SIGMOD Conference},
  year      = {2010},
  pages     = {135-146},
  ee        = {http://doi.acm.org/10.1145/1807167.1807184},
  crossref  = {DBLP:conf/sigmod/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sigmod/2010,
  editor    = {Ahmed K. Elmagarmid and
               Divyakant Agrawal},
  title     = {Proceedings of the ACM SIGMOD International Conference on
               Management of Data, SIGMOD 2010, Indianapolis, Indiana,
               USA, June 6-10, 2010},
  booktitle = {SIGMOD Conference},
  publisher = {ACM},
  year      = {2010},
  isbn      = {978-1-4503-0032-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Rush2012DualDecomp,
  author    = {Alexander M. Rush and
               Michael Collins},
  title     = {A Tutorial on Dual Decomposition and Lagrangian Relaxation
               for Inference in Natural Language Processing},
  journal   = {J. Artif. Intell. Res. (JAIR)},
  volume    = {45},
  year      = {2012},
  pages     = {305-362},
  ee        = {http://dx.doi.org/10.1613/jair.3680},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@techreport{stockmeyer75setbasis,
Author = {Stockmeyer, Larry J.},
Institution = {IBM},
Number = {RC-5431},
Title = {The set basis problem is NP-complete},
Type = {Technical Report},
Year = {1975},
}

@article{Miettinen2008setbasis,
author = {Pauli Miettinen and Taneli Mielikainen and Aristides Gionis and Gautam Das and Heikki Mannila},
title = {The Discrete Basis Problem},
journal ={IEEE Transactions on Knowledge and Data Engineering},
volume = {20},
number = {10},
issn = {1041-4347},
year = {2008},
pages = {1348-1362},
}

@inproceedings{Ene2008roleMinimization,
  author    = {Alina Ene and
               William G. Horne and
               Nikola Milosavljevic and
               Prasad Rao and
               Robert Schreiber and
               Robert Endre Tarjan},
  title     = {Fast exact and heuristic methods for role minimization problems},
  booktitle = {SACMAT},
  year      = {2008},
  pages     = {1-10},
  ee        = {http://doi.acm.org/10.1145/1377836.1377838},
  crossref  = {DBLP:conf/sacmat/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sacmat/2008,
  editor    = {Indrakshi Ray and
               Ninghui Li},
  title     = {SACMAT 2008, 13th ACM Symposium on Access Control Models
               and Technologies, Estes Park, CO, USA, June 11-13, 2008,
               Proceedings},
  booktitle = {SACMAT},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-60558-129-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Molloy2009evaluationsetbasis,
  author    = {Ian Molloy and
               Ninghui Li and
               Tiancheng Li and
               Ziqing Mao and
               Qihua Wang and
               Jorge Lobo},
  title     = {Evaluating role mining algorithms},
  booktitle = {SACMAT},
  year      = {2009},
  pages     = {95-104},
  ee        = {http://doi.acm.org/10.1145/1542207.1542224},
  crossref  = {DBLP:conf/sacmat/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sacmat/2009,
  editor    = {Barbara Carminati and
               James Joshi},
  title     = {SACMAT 2009, 14th ACM Symposium on Access Control Models
               and Technologies, Stresa, Italy, June 3-5, 2009, Proceedings},
  booktitle = {SACMAT},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-537-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Vaidya2006rolemining,
 author = {Vaidya, Jaideep and Atluri, Vijayalakshmi and Warner, Janice},
 title = {RoleMiner: Mining Roles Using Subset Enumeration},
 booktitle = {Proceedings of the 13th ACM Conference on Computer and Communications Security},
 series = {CCS '06},
 year = {2006}
} 

@INPROCEEDINGS{Vaidya2007rolemining,
    author = {Jaideep Vaidya and Vijayalakshmi Atluri and Qi Guo},
    title = {The Role Mining Problem: Finding a Minimal Descriptive Set of Roles},
    booktitle = {In Symposium on Access Control Models and Technologies (SACMAT)},
    year = {2007},
    pages = {175--184}
}


@book{GareyJohnson1990,
  author    = {M. R. Garey and
               David S. Johnson},
  title     = {Computers and Intractability: A Guide to the Theory of NP-Completeness},
  publisher = {W. H. Freeman},
  year      = {1990},
  isbn      = {0716710455},
}


@INPROCEEDINGS{LeBras2013Crowdsourcing, 
author = {{Le Bras}, Ronan and Bernstein, Richard and Gomes, Carla P. and Selman, Bart}, 
title = {Crowdsourcing Backdoor Identification for Combinatorial Optimization}, 
booktitle = {IJCAI'13}, 
year = {2013}, 
location = {Beijing, China} 
} %Proceedings of the 23rd International Joint Conference on Artificial Intelligence series = {IJCAI'13}, 

 % MATERIAL DISCOVERY
@INPROCEEDINGS{LeBras2011constraint,
author = {{Le Bras}, R. and Damoulas, T. and Gregoire, J. M. and
Sabharwal, A. and Gomes, C. P. and van Dover, R. B.},
title = {Constraint reasoning and Kernel clustering for pattern decomposition
with scaling},
booktitle = {CP'11},
year = {2011},
pages = {508--522}
}%Proceedings of the 17th international conference on Principles and
%practice of constraint programming series = {CP'11},

@INPROCEEDINGS{Ermon2012smt,
author = {Ermon, S. and {Le Bras}, R. and Gomes, C. P. and Selman, B. and {van Dover}, R. B.},
title = {SMT-Aided Combinatorial Materials Discovery},
booktitle = {SAT'12},
year = {2012},
series = {SAT'12}
}%Proc. of the Conference on Theory and Applications of Satisfiability Testing
 
@article{gomes09:compsust-thebridge,
title = {{C}omputational {S}ustainability: Computational Methods for a Sustainable Environment, Economy, and Society},
author = {Carla P. Gomes},
journal = {The Bridge, National Academy of Engineering},
Volume = {39},
Number = {4},
year = {Winter 2009}
}

@article{de2008z3,
  title={Z3: An efficient SMT solver},
  author={De Moura, L. and Bj{\o}rner, N.},
  journal={Tools and Algorithms for the Construction and Analysis of Systems},
  pages={337--340},
  year={2008},
  publisher={Springer}
}

@inproceedings{bruttomesso2008mathsat,
  title={The mathsat 4 smt solver},
  author={Bruttomesso, R. and Cimatti, A. and Franz{\'e}n, A. and Griggio, A. and Sebastiani, R.},
  booktitle={Computer Aided Verification},
  pages={299--303},
  year={2008},
  organization={Springer}
}
@inproceedings{bruttomesso2007lazy,
  title={A lazy and layered SMT (BV) solver for hard industrial verification problems},
  author={Bruttomesso, R. and Cimatti, A. and Franz{\'e}n, A. and Griggio, A. and Hanna, Z. and Nadel, A. and Palti, A. and Sebastiani, R.},
  booktitle={Proceedings of the 19th international conference on Computer aided verification},
  pages={547--560},
  year={2007},
  organization={Springer-Verlag}
}

@article{biere2009sat,
  title={SAT, SMT and Applications},
  author={Biere, A.},
  journal={Logic Programming and Nonmonotonic Reasoning},
  pages={1--1},
  year={2009},
  publisher={Springer}
}

@article{brummayer2009boolector,
  title={Boolector: An efficient SMT solver for bit-vectors and arrays},
  author={Brummayer, R. and Biere, A.},
  journal={Tools and Algorithms for the Construction and Analysis of Systems},
  pages={174--177},
  year={2009},
  publisher={Springer}
}

@article{van1998discovery,
  title={Discovery of a useful thin-film dielectric using a composition-spread approach},
  author={Van Dover, R. B. and Schneemeyer, LF and Fleming, RM},
  journal={Nature},
  volume={392},
  number={6672},
  pages={162--164},
  year={1998},
  publisher={Nature Publishing Group}
}
@Article{mathsat5,
  author =       {Alberto Griggio},
  title =        {{A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic}},
  journal =      {JSAT},
  year =         {2012},
  volume =    {8},
  pages =     {1-27},
  month =     {January},
}

@InProceedings{BarST-SMT-10,
  author =	 {Clark Barrett and Aaron Stump and Cesare Tinelli},
  title =	 {{The SMT-LIB Standard: Version 2.0}},
  year =	 2010,
  booktitle =	 {Proceedings of the 8th International Workshop on
                  Satisfiability Modulo Theories (Edinburgh, England)},
  editor =	 {A.~Gupta and D.~Kroening},
}

@book{narasimhan2007combinatorial,
  title={Combinatorial materials science},
  author={Narasimhan, B. and Mallapragada, S. and Porter, M.D.},
  year={2007},
  publisher={John Wiley and Sons}
}

@InProceedings{ginley,
  title={Combinatorial materials science},
  author={Ginley, D. and Teplin, C. and Taylor, M. and van Hest, M. and Perkins, J.},
  year={2005},
  booktitle = {AccessScience},
  publisher={McGraw-Hill Companies}
}

@article{halevy2009unreasonable,
  title={The unreasonable effectiveness of data},
  author={Halevy, A. and Norvig, P. and Pereira, F.},
  journal={Intelligent Systems, IEEE},
  volume={24},
  number={2},
  pages={8--12},
  year={2009},
  publisher={IEEE}
}

@inproceedings{frank2004sofia,
  title={SOFIA's choice: an AI approach to scheduling airborne astronomy observations},
  author={Frank, J. and Gross, M.A.K. and Kurklu, E.},
  booktitle={Proceedings of the National Conference on Artificial Intelligence},
  pages={828--835},
  year={2004},
  organization={Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999}
}

@article{altschul1990basic,
  title={Basic local alignment search tool},
  author={Altschul, S.F. and Gish, W. and Miller, W. and Myers, E.W. and Lipman, D.J.},
  journal={Journal of molecular biology},
  volume={215},
  number={3},
  pages={403--410},
  year={1990},
  publisher={Elsevier}
}

@article{powerdifff,
	journal = {Powder Diffract. File, JCPDS Internat. Centre Diffract. Data, PA},
	year = {2004}
}

@article{gregoire2012improved,
Author = {J. M. Gregoire AND M. E. Tague AND S. Cahen AND S. Khan AND H. D. Abruna AND F. J. DiSalvo AND R. B. van Dover},
Title = {Improved Fuel Cell Oxidation Catalysis in Pt1-xTax},
Journal = {Chem. Mater.},
Year = {2010},
Volume = {22},
Number = {3},
Pages = {1080}
}

@article{barber2008review,
Author = {Z. H. Barber and M. G. Blamire},
Title = {High throughput thin film materials science},
Journal = {Mat. Sci. Tech.},
Year = {2008},
Volume = {24},
Number = {7},
Pages = {757-770}
}

@Article{gregoire2009rsi,
title = {High energy x-ray diffraction/x-ray Fluorescence spectroscopy for high-throughput analysis of composition spread thin Films},
author = {J. M. Gregoire AND D. Dale AND A. Kazimirov AND F. J. DiSalvo AND R. B. van Dover},
journal = {Rev. Sci. Instrum.},
volume = {80},
number = {12},
pages = {123905},
year = {2009}
}


@Article{gregoire2007rsi,
title = {Getter Sputtering System for High Throughput Fabrication of Composition Spreads},
author = {J M Gregoire AND R B van Dover AND J Jin AND F J DiSalvo AND H D Abru{\~{n}}a},
journal = {Rev. Sci. Instrum.},
volume = {78},
number = {7},
pages = {072212},
year = {2007}
}

@BOOK{potyrailo2007,
editor = {Radislav A. Potyrailo AND Wilhelm F. Maier},
title = {Combinatorial and High-Throughput Discovery and Optimization of Catalysts and Materials},
publisher={CRC Press},
year = {2007}
}

@article{barrpolysnap3,
Author = {G. Barr AND W. Dong AND C. J. Gilmore},
Title = {PolySNAP3: a computer program for analysing and visualizing high-throughput data from diffraction and spectroscopic sources},
Journal = {J. Appl. Cryst.},
Year = {2009},
Volume = {42},
Pages = {965}
}


@article{baumes2009,
Author = {L. A. Baumes AND M. Moliner AND A. Corma},
Title = {Design of a Full-Profile-Matching Solution for High-Throughput Analysis of
Multiphase Samples Through Powder X-ray Diffraction},
Journal = {Chem. Eur. J.},
Year = {2009},
Volume = {15},
Pages = {4258}
}





@article {long07,
	title = {Rapid Structural Mapping of Ternary Metallic Alloy Systems Using the Combinatorial Approach and Cluster Analysis},
	journal = {Rev. Sci. Inst.},
	volume = {78},
	year = {2007},
	author = {C. J. Long and  J. Hattrick-Simpers and  M. Murakami and  R. C. Srivastava and  I. Takeuchi and  V. L. Karen  and  X. Li}
}

@article {long09,
	title = {Rapid identification of structural phases in combinatorial thin-film libraries using x-ray diffraction and non-negative matrix factorization},
	journal = {Rev. Sci. Instruments},
	volume = {80},
	number = {103902},
	year = {2009},
	author = {C. J. Long  and D. Bunker and  V. L. Karen  and  X. Li and  I. Takeuchi}
}


@article {cherry53,
author = {Cherry, E. C.}, 
year = {1953},
title = {Some experiments on the recognition of speech, with one and two ears},

journal = {Journal of the Acoustical Society of America},
volume = 25,
pages = {975--979}
}

@article{haykin05,
 author = {Haykin, Simon and Chen, Zhe},
 title = {The Cocktail Party Problem},
 journal = {Neural Comput.},
 volume = {17},
 number = {9},
 year = {2005},
 issn = {0899-7667},
 pages = {1875--1902},
 doi = {http://dx.doi.org/10.1162/0899766054322964},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@article{comon94,
 author = {Comon, Pierre},
 title = {Independent component analysis, a new concept?},
 journal = {Signal Process.},
 volume = {36},
 number = {3},
 year = {1994},
 issn = {0165-1684},
 pages = {287--314},
 doi = {http://dx.doi.org/10.1016/0165-1684(94)90029-9},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands},
 }


@ARTICLE{smrcok99,
   author = {{Smr{\v c} Ok}, L. and {Dur{\'{\i}}k}, M. and {Jor{\'{\i}}k}, V.
	},
    title = "{Wavelet denoising of powder diffraction patterns}",
  journal = {Powder Diffraction},
     year = 1999,
    month = dec,
   volume = 14,
    pages = {300-304},
   adsurl = {http://adsabs.harvard.edu/abs/1999PDiff..14..300S},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@article{du06,
 author = {Du, Pan and Kibbe, Warren A. and Lin, Simon M.},
 title = {Improved peak detection in mass spectrum by incorporating continuous wavelet transform-based pattern matching},
 journal = {Bioinformatics},
 volume = {22},
 number = {17},
 year = {2006},
 issn = {1367-4803},
 pages = {2059--2065},
 doi = {http://dx.doi.org/10.1093/bioinformatics/btl355},
 publisher = {Oxford University Press},
 address = {Oxford, UK},
 }



% CONSTRAINT REASONING

@book{rossi06,
 author = {Rossi, Francesca and Beek, Peter van and Walsh, Toby},
 title = {Handbook of Constraint Programming (Foundations of Artificial Intelligence)},
 year = {2006},
 isbn = {0444527265},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA},
} 


% SMT

@inbook{BSST09,
  author    = "Clark Barrett and Roberto Sebastiani and Sanjit Seshia and Cesare Tinelli",
  title     = "Satisfiability Modulo Theories",
  chapter   = 26,
  pages     = "825--885",
  year		= "2009"
}


@book{HandbookOfSAT2009,
    Editor = {Biere, Armin and Heule, Marijn J. H. and van Maaren, Hans and Walsh, Toby},
    Title = {Handbook of Satisfiability},
    Publisher = {IOS Press},
    Year = {2009},
    Month = {February},
    Volume = {185},
    ISBN = {978-1-58603-929-5},
    ISSN = {0922-6389},
    Series = {Frontiers in Artificial Intelligence and Applications},
    Pages = {980}
}


@PhdThesis{seshia05,
  author = 	 "Sanjit A. Seshia",
  title = 	 "Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification",
  school = 	 "Carnegie Mellon University",
  year = 	 "2005",
  month = {May},
  abstract = {
Decision procedures for first-order logics are widely applicable in design verification and static program analysis. However, existing procedures rarely scale to large systems, especially for verifying properties that depend on data or timing, in addition to control.
This thesis presents a new approach for building efficient, automated decision procedures for first-order logics involving arithmetic. In this approach, decision problems involving arithmetic are transformed to problems in the Boolean domain, such as Boolean satisfiability solving, thereby leveraging recent advances in that area. The transformation automatically detects and exploits problem structure based on new theoretical results and machine learning. The results of experimental evaluations show that our decision procedures can outperform other state-of-the-art procedures by several orders of magnitude.
The decision procedures form the computational engines for two verification systems, UCLID and TMV. These systems have been applied to problems in computer security, electronic design automation, and software engineering that require efficient and precise analysis of system functionality and timing. This thesis describes two such applications: finding format-string exploits in software, and verifying circuits that operate under timing assumptions.},
}

@inproceedings{MouraB09,
  author = {de Moura, Leonardo MendonÃ§a and BjÃ¸rner, Nikolaj},
  editor = {Oliveira, Marcel Vinicius Medeiros and Woodcock, Jim},
  booktitle = {SBMF},
  interhash = {5f8ac9554872c0955f5c3522f3bffe46},
  intrahash = {f1a32b6fd8df31eed7aa2774fecace9b},
  pages = {23-36},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Satisfiability Modulo Theories: An Appetizer.},
  url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2009.html#MouraB09},
  volume = 5902,
  year = 2009,
  timestamp = {2009-11-06T00:00:00.000+0100},
  keywords = {dblp},
  ee = {http://dx.doi.org/10.1007/978-3-642-10452-7_3},
  added-at = {2009-11-06T00:00:00.000+0100},
  description = {dblp},
  isbn = {978-3-642-10451-0},
  biburl = {http://www.bibsonomy.org/bibtex/2f1a32b6fd8df31eed7aa2774fecace9b/dblp},
  date = {2009-11-06}
}


@INPROCEEDINGS{Flanagan03,
    author = {Cormac Flanagan and Rajeev Joshi and Jamesb. Saxe},
    title = {Theorem proving using lazy proof explication},
    booktitle = {In CAV},
    year = {2003},
    pages = {355--367},
    publisher = {Springer}
}




% HUMAN COMPUTATION

% HUMAN COMPUTATION


@book{Law2011,
author = {Law, E. and von Ahn, L.},
booktitle = {Human Computation},
publisher = {Morgan \& Claypool Publishers},
series = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
title = {{Human Computation}},
year = {2011}
}


@inproceedings{VonAhn2004,
  author = {von Ahn, Luis and Dabbish, Laura},
  address = {New York, NY, USA},
  booktitle = {CHI '04: Proceedings of the SIGCHI conference on Human factors in computing systems},
  interhash = {e6707f0bdf2f7b50b87248a5f5ce5bff},
  intrahash = {67aebccb31713acdeb41feda54ecd22b},
  pages = {319--326},
  publisher = {ACM},
  title = {Labeling images with a computer game},
  url = {http://portal.acm.org/citation.cfm?id=985692.985733&coll=Portal&dl=GUIDE&CFID=64029485&CFTOKEN=61124568},
  year = 2004,
  timestamp = {2011-04-11T11:39:09.000+0200},
  keywords = {esp-game game hpi labeling ss2011 taggig},
  added-at = {2011-04-11T11:39:09.000+0200},
  location = {Vienna, Austria},
  description = {Labeling images with a computer game},
  isbn = {1-58113-702-8},
  biburl = {http://www.bibsonomy.org/bibtex/267aebccb31713acdeb41feda54ecd22b/datentaste},
  doi = {http://doi.acm.org/10.1145/985692.985733},
  abstract = {We introduce a new interactive system: a game that is fun and can be used to create valuable output. When people play the game they help determine the contents of images by providing meaningful labels for them. If the game is played as much as popular online games, we estimate that most images on the Web can be labeled in a few months. Having proper labels associated with each image on the Web would allow for more accurate image search, improve the accessibility of sites (by providing descriptions of images to visually impaired individuals), and help users block inappropriate images. Our system makes a significant contribution because of its valuable output and because of the way it addresses the image-labeling problem. Rather than using computer vision techniques, which don't work well enough, we encourage people to do the work by taking advantage of their desire to be entertained.}
}

@article{cooper2010,
    abstract = {{People exert large amounts of problem-solving effort playing computer games. Simple image- and text-recognition tasks have been successfully 'crowd-sourced' through games1, 2, 3, but it is not clear if more complex scientific problems can be solved with human-directed computing. Protein structure prediction is one such problem: locating the biologically relevant native conformation of a protein is a formidable computational challenge given the very large size of the search space. Here we describe Foldit, a multiplayer online game that engages non-scientists in solving hard prediction problems. Foldit players interact with protein structures using direct manipulation tools and user-friendly versions of algorithms from the Rosetta structure prediction methodology4, while they compete and collaborate to optimize the computed energy. We show that top-ranked Foldit players excel at solving challenging structure refinement problems in which substantial backbone rearrangements are necessary to achieve the burial of hydrophobic residues. Players working collaboratively develop a rich assortment of new strategies and algorithms; unlike computational approaches, they explore not only the conformational space but also the space of possible search strategies. The integration of human visual problem-solving and strategy development capabilities with traditional computational algorithms through interactive multiplayer games is a powerful new approach to solving computationally-limited scientific problems.}},
    author = {Cooper, S. and Khatib, F. and Treuille, A. and Barbero, J. and Lee, J. and Beenen, M. and Leaver-Fay, A. and Baker, D. and Popovi\'{c}, Z. and Players, Foldit},
    citeulike-article-id = {7572779},
    citeulike-linkout-0 = {http://dx.doi.org/10.1038/nature09304},
    citeulike-linkout-1 = {http://dx.doi.org/10.1038/nature09304},
    citeulike-linkout-2 = {http://view.ncbi.nlm.nih.gov/pubmed/20686574},
    citeulike-linkout-3 = {http://www.hubmed.org/display.cgi?uids=20686574},
    day = {5},
    doi = {10.1038/nature09304},
    issn = {0028-0836},
    journal = {Nature},
    keywords = {crowdsourcing, games, gwap, humanfitnessfunction, predict, protein},
    month = aug,
    number = {7307},
    pages = {756--760},
    pmid = {20686574},
    posted-at = {2010-08-25 00:31:19},
    priority = {2},
    publisher = {Nature Publishing Group},
    title = {{Predicting protein structures with a multiplayer online game}},
    url = {http://dx.doi.org/10.1038/nature09304},
    volume = {466},
    year = {2010}
}


@techreport{settles09,
Author = {Burr Settles},
Institution = {University of Wisconsin--Madison},
Number = {1648},
Title = {Active Learning Literature Survey},
Type = {Computer Sciences Technical Report},
Year = {2009},
}

@article{Horvitz07,
  author    = {Eric Horvitz},
  title     = {Reflections on Challenges and Promises of Mixed-Initiative
               Interaction},
  journal   = {AI Magazine},
  volume    = {28},
  number    = {2},
  year      = {2007},
  pages     = {13-22},
  ee        = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2036},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@MISC{Huang10,
    author = {Yifen Huang and Jaime G. Carbonell and William W. Cohen and Adam Cheyer Siri},
    title = {Mixed-Initiative Clustering},
    year = {2010}
}

@inproceedings{gomes11,
   author = {R. Gomes and P. Welinder and A. Krause and P. Perona},
   title = {Crowdclustering},
   booktitle = {Advances in Neural Information Processing Systems (NIPS 2011)},
   location = {Granada, Spain},
   year = {2011}
}

@inproceedings {welinder10,
	title = {The Multidimensional Wisdom of Crowds},
	booktitle = {Neural Information Processing Systems Conference (NIPS)},
	year = {2010},
	URL = {http://vision.ucsd.edu/project/visipedia},
	author = {Peter Welinder and Steve Branson and Serge Belongie and Pietro Perona}
}


%-------Theo's bib

@article{damoulas10,
author = "Yannis Psorakis and Theodoros Damoulas and Mark A. Girolami",
title = "Multiclass Relevance Vector Machines: An Evaluation of Sparsity and Accuracy",
journal = "IEEE Transactions on Neural Networks",
Publisher = " IEEE Computational Intelligence Society",
volume="21",
number="10",
pages="1588--1598",
year = "2010"}

@INPROCEEDINGS{LeBras11,
    author = {R. {Le Bras} and T. Damoulas and J. M. Gregoire and A. Sabharwal and C. Gomes and R. B. van Dover},
    title = {Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling},
    booktitle = {CP},
    year = {2011}
   }

@INPROCEEDINGS{jmlrworkshop,
    author = {Isabelle Guyon and Gavin Cawley and Gideon Dror and Vincent Lemaire and Alexander Statnikov},
    title = {Active Learning and Experimental Design workshop},
    booktitle = {AISTATS},
    year = {2010}
}

@inproceedings{agrawal2019differentiable,
  title={Differentiable convex optimization layers},
  author={Agrawal, Akshay and Amos, Brandon and Barratt, Shane and Boyd, Stephen and Diamond, Steven and Kolter, J Zico},
  booktitle={Advances in neural information processing systems},
  pages={9562--9574},
  year={2019}
}

@article{de2020combining,
  title={Combining Differentiable PDE Solvers and Graph Neural Networks for Fluid Flow Prediction},
  author={de Avila Belbute-Peres, Filipe and Economon, Thomas D and Kolter, J Zico},
  year={2020}
}

@article{amos2017optnet,
  title={Optnet: Differentiable optimization as a layer in neural networks},
  author={Amos, Brandon and Kolter, J Zico},
  journal={arXiv preprint arXiv:1703.00443},
  year={2017}
}

@book{FisherDoE,
	author = {Ronald A. Fisher},
	title = {The Design of Experiments},
	year = {1935},
	publisher = {Oliver and Boyd},
	address = {Edinburgh},
}

@inproceedings{schohn2000less,
  title={Less is more: Active learning with support vector machines},
  author={Schohn, G. and Cohn, D.},
  booktitle={ICML},
  pages={839--846},
  year={2000},
}

@inproceedings{golovin2010adaptive,
  title={Adaptive submodularity: A new approach to active learning and stochastic optimization},
  author={Golovin, D. and Krause, A.},
  booktitle={Proceedings of International Conference on Learning Theory (COLT)},
  year={2010}
}

@article{Krause2008a,
  author = {A. Krause and A. Singh and C. Guestrin},
  title = {Near-Optimal Sensor Placements in Gaussian Processes: Theory, Efficient Algorithms and Empirical Studies},
  journal = {JMLR},
  year = {2008},
  pages = {235--284},
}

@inproceedings{Krause2007b,
  author = {A. Krause and C. Guestrin},
  title = {Near-optimal observation selection using submodular functions},
  booktitle = {AAAI},
  year = {2007},
  pages = {1650--1654},
  }

@inproceedings{Kapoor2007,
  author = {Kapoor, Ashish and Horvitz, Eric and Basu, Sumit},
  title = {Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning.},
  booktitle = {IJCAI},
  year = {2007},
  pages = {877--882},
}

@inproceedings{Zhen2010a,
  author = {Y. Zhen and D. Yeung},
  title = {SED: supervised experimental design and its application to text classification},
  booktitle = {SIGIR},
  year = {2010},
  pages = {299--306},
  }

@inproceedings{Guo2007NIPS,
author = {Guo, Y. and Schuurmans, D.},
booktitle = {NIPS},
year = {2007},
title = {{Discriminative batch mode active learning}},
}

@article{TSP,
  author = {J.B. Robinson},
  title = {On the Hamiltonian game (a traveling-salesman problem)},
  journal = {RAND Research Memorandum RM-303},
  year = {1949},
}

@INPROCEEDINGS{Dilkina,
    author = {B. Dilkina and T. Damoulas and C. Gomes and D. Fink},
    title = {AL2:Learning for Active Learning},
    booktitle = {NIPS MLSUST workshop},
    year = {2011}
}


@inproceedings{zhong2009reversible,
  title={Reversible jump MCMC for non-negative matrix factorization},
  author={Zhong, M. and Girolami, M.},
  booktitle={Artificial Intelligence and Statistics, International Conference on (AISTATS)},
  volume={5},
  pages={663--670},
  year={2009}
}

@inproceedings{damoulas2010bayesian,
  title={Bayesian Classification of Flight Calls with a novel Dynamic Time Warping Kernel},
  author={Damoulas, T. and Henry, S. and Farnsworth, A. and Lanzone, M. and Gomes, C.},
  booktitle={Machine Learning and Applications (ICMLA), 2010 Ninth International Conference on},
  pages={424--429},
  year={2010},
  organization={IEEE}
}

@inproceedings{zhang2009efficient,
  title={An efficient nonnegative matrix factorization approach in flexible kernel space},
  author={Zhang, D. and Liu, W.},
  booktitle={Proceedings of the 21st international jont conference on Artifical intelligence},
  pages={1345--1350},
  year={2009},
  organization={Morgan Kaufmann Publishers Inc.}
}

@inproceedings{yu2010modeling,
  title={Modeling experts and novices in citizen science data for species distribution modeling},
  author={Yu, J. and Wong, W.K. and Hutchinson, R.A.},
  booktitle={Data Mining (ICDM), 2010 IEEE 10th International Conference on},
  pages={1157--1162},
  year={2010},
  organization={IEEE}
}

@book{trevor2009elements,
  title={The elements of statistical learning},
  author={Trevor. Hastie and Robert. Tibshirani and JH (Jerome H.) Friedman},
  year={2009},
  publisher={Springer}
}

@book{bishop2006pattern,
  title={Pattern recognition and machine learning},
  author={Bishop, C.M. and SpringerLink (Service en ligne)},
  volume={4},
  year={2006},
  publisher={springer New York}
}
%--Stefano's bib

@article{richardson2006markov,
  title={{Markov logic networks}},
  author={Richardson, M. and Domingos, P.},
  journal={Machine Learning},
  volume={62},
  number={1},
  pages={107--136},
  year={2006},
  publisher={Springer}
}


@conference{CP2010dos,
title={{Computing the density of states of Boolean formulas}},
author={Ermon, S. and Gomes, C. and Selman,  B.},
booktitle={Proc. of CP-2010},
year={2010},
}


@article{nips2011dos,
  title={{Accelerated Adaptive Markov Chain for Partition Function Computation.}},
  author={Ermon, S. and Gomes, C. and Sabharwal, A. and Selman, B.},
  journal={Neural Information Processing Systems},
  year={2011}
}



@inproceedings{domingosUnify,
 author = {Domingos, P. and Kok, S. and Poon, H. and Richardson, M. and Singla, P.},
 title = {Unifying logical and statistical AI},
 booktitle = {Proc. of AAAI-06},
 year = {2006},
 isbn = {978-1-57735-281-5},
 pages = {2--7},
 location = {Boston, Massachusetts},
 publisher = {AAAI Press},
 }


   @article{2004jordan,
     jstor_articletype = {research-article},
     title = {Graphical Models},
     author = {Jordan, Michael I.},
     journal = {Statistical Science},
     jstor_issuetitle = {},
     volume = {19},
     number = {1},
     jstor_formatteddate = {Feb., 2004},
     pages = {pp. 140-155},
     url = {http://www.jstor.org/stable/4144379},
     ISSN = {08834237},
     abstract = {Statistical applications in fields such as bioinformatics, information retrieval, speech processing, image processing and communications often involve large-scale models in which thousands or millions of random variables are linked in complex ways. Graphical models provide a general methodology for approaching these problems, and indeed many of the models developed by researchers in these applied fields are instances of the general graphical model formalism. We review some of the basic ideas underlying graphical models, including the algorithmic ideas that allow graphical models to be deployed in large-scale data analysis problems. We also present examples of graphical models in bioinformatics, error-control coding and language processing.},
     language = {English},
     year = {2004},
     publisher = {Institute of Mathematical Statistics},
     copyright = {Copyright ?2004 Institute of Mathematical Statistics},
    }

@article{roth1996hardness,
  title={{On the hardness of approximate reasoning}},
  author={Roth, D.},
  journal={Artificial Intelligence},
  volume={82},
  number={1-2},
  pages={273--302},
  year={1996},
  publisher={Elsevier}
}

@article{nips2010,
  title={{A flat histogram method for inference with probabilistic and deterministic constraints}},
  author={Ermon, S. and Gomes, C. and Sabharwal, A. and Selman, B.},
  journal={NIPS Workshop on Monte Carlo Methods for Modern Applications},
  year={2010}
}


@conference{selman1996local,
  title={{Local search strategies for satisfiability testing}},
  author={Selman, B. and Kautz, H.A. and Cohen, B.},
  booktitle={DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
  year={1996},
}

@conference{gogate2007approximate,
  title={{Approximate counting by sampling the backtrack-free search space}},
  author={Gogate, V. and Dechter, R.},
  booktitle={Proc. of AAAI-07},
  volume={22},
  number={1},
  pages={198},
  year={2007}
}

@conference{sang2004combining,
  title={{Combining component caching and clause learning for effective model counting}},
  author={Sang, T. and Bacchus, F. and Beame, P. and Kautz, H. and Pitassi, T.},
  booktitle={SAT},
  year={2004},
}

@conference{montanari2007counting,
  title={{Counting good truth assignments of random k-SAT formulae}},
  author={Montanari, A. and Shah, D.},
  booktitle={Proceedings of the 18th ACM-SIAM symposium on Discrete algorithms},
  pages={1264},
  year={2007},
  organization={Society for Industrial and Applied Mathematics}
}




@article{atchade2010wang,
  title={{The Wang-Landau algorithm in general state spaces: applications and convergence analysis}},
  author={Atchad{\'e}, Y.F. and Liu, J.S.},
  journal={Statistica Sinica},
  volume={20},
  pages={209--233},
  year={2010}
}

@Article{PhysRevE.72.025701,
  title = {Understanding and improving the Wang-Landau algorithm},
  author = {Zhou, Chenggang  and Bhatt, R. N.},
  journal = {Phys. Rev. E},
  volume = {72},
  number = {2},
  pages = {025701},
  numpages = {4},
  year = {2005},
  month = {Aug},
  doi = {10.1103/PhysRevE.72.025701},
  publisher = {American Physical Society}
}

@article{jerrum1986random,
  title={{Random generation of combinatorial structures from a uniform distribution}},
  author={Jerrum, M.R. and Valiant, L.G. and Vazirani, V.V.},
  journal={Theoretical Computer Science},
  volume={43},
  pages={169--188},
  issn={0304-3975},
  year={1986},
  publisher={Elsevier}
}

@article{Valiant1986uniqueSAT,
 author = {Valiant, L. G. and Vazirani, V. V.},
 title = {NP is As Easy As Detecting Unique Solutions},
 journal = {Theoretical Computer Science},
 volume = {47},
 year = {1986},
 pages = {85--93},
}


@inbook{Jerrum:1996:MCM:241938.241950,
 author = {Jerrum, Mark and Sinclair, Alistair},
 title = {The Markov chain Monte Carlo method: an approach to approximate counting and integration},
 book = {Approximation algorithms for NP-hard problems},
 year = {1997},
 isbn = {0-534-94968-1},
 pages = {482--520},
 numpages = {39},
 url = {http://portal.acm.org/citation.cfm?id=241938.241950},
 acmid = {241950},
 publisher = {PWS Publishing Co.},
 address = {Boston, MA, USA},
} 

@article{DBLP:journals/jmlr/GogateD07,
  author    = {Vibhav Gogate and
               Rina Dechter},
  title     = {{SampleSearch: A Scheme that Searches for Consistent Samples}},
  journal   = {Journal of Machine Learning Research},
  volume    = {2},
  year      = {2007},
  pages     = {147-154},
}

@book{madras2002lectures,
  title={{Lectures on Monte Carlo Methods}},
  author={Madras, N.N.},
  isbn={0821829785},
  year={2002},
  publisher={American Mathematical Society}
}

@article{wainwright2005new,
  title={A new class of upper bounds on the log partition function},
  author={Wainwright, M.J. and Jaakkola, T.S. and Willsky, A.S.},
  journal={Information Theory, IEEE Transactions on},
  volume={51},
  number={7},
  pages={2313--2335},
  year={2005},
  publisher={IEEE}
}

@book{jolliffe2002principal,
  title={Principal component analysis},
  author={Jolliffe, I.T. and MyiLibrary},
  volume={2},
  year={2002},
  publisher={Wiley Online Library}
}

@inproceedings{Williams-et-al-2003,
  title={Backdoors to typical case complexity},
  author={Williams, R. and Gomes, C.P. and Selman, B.},
  booktitle={IJCAI'03},
  volume={18},
  pages={1173--1178},
  year={2003}
}

@article{Williams-et-al-2003b,
  title={On the connections between backdoors, restarts, and heavy-tailedness in combinatorial search},
  author={Williams, R. and Gomes, C. and Selman, B.},
  journal={structure},
  volume={23},
  pages={4},
  year={2003},
  publisher={Citeseer}
}

@inproceedings{Gomes-et-al-2006,
  title={Boosting combinatorial search through randomization},
  author={Gomes, C.P. and Selman, B. and Kautz, H. and others},
  booktitle={Proceedings of the National Conference on Artificial Intelligence},
  pages={431--437},
  year=1998,
}%  organization={John Wiley \& Sons Ltd}


@article{Dilkina-et-al-2009,
  title={Backdoors to combinatorial optimization: Feasibility and optimality},
  author={Dilkina, B. and Gomes, C. and Malitsky, Y. and Sabharwal, A. and Sellmann, M.},
  journal={CPAIOR},
  pages={56--70},
  year={2009},
  publisher={Springer}
}

@article{Dilkina-et-al-2009b,
  title={Backdoors in the Context of Learning},
  author={Dilkina, B. and Gomes, C. and Sabharwal, A.},
  journal={Theory and Applications of Satisfiability Testing-SAT 2009},
  pages={73--79},
  year={2009},
  publisher={Springer}
}

@article{Fischetti-Monaci-2012,
  title={Backdoor branching},
  author={Fischetti, M. and Monaci, M.},
  journal={Integer Programming and Combinatoral Optimization},
  pages={183--191},
  year={2011},
  publisher={Springer}
}

@article{Samer=Szeider-2007,
  title={Backdoor sets of quantified Boolean formulas},
  author={Samer, M. and Szeider, S.},
  journal={Journal of Automated Reasoning},
  volume={42},
  number={1},
  pages={77--97},
  year={2009},
  publisher={Springer}
}

@article{Szeider-2005,
  title={Backdoor sets for DLL subsolvers},
  author={Szeider, S.},
  journal={SAT 2005},
  pages={73--88},
  year={2006},
  publisher={Springer}
}

@inproceedings{Kilby-et-al-2005,
  title={Backbones and backdoors in satisfiability},
  author={Kilby, P. and Slaney, J. and Thi{\'e}baux, S. and Walsh, T.},
  booktitle={Proceedings of the National Conference on Artificial Intelligence},
  volume={20},
  pages={1368},
  year={2005},
  organization={Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999}
}

@inproceedings{OSUllivan2010,
  title={Backdoors to Satisfaction. Tutorial at CP 2010},
  author={Barry O'Sullivan},
  booktitle={Proceedings of the Principles and Practice of Constraint Programming (CP)},
  year={2010}
}

@inproceedings{Gregory-et-al-2008,
  title={A new empirical study of weak backdoors},
  author={Gregory, P. and Fox, M. and Long, D.},
  booktitle={Principles and Practice of Constraint Programming},
  pages={618--623},
  year={2008},
  organization={Springer}
}

@article{Gaspers-Szeider-2012,
  title={Backdoors to satisfaction},
  author={Gaspers, S. and Szeider, S.},
  journal={The Multivariate Algorithmic Revolution and Beyond},
  pages={287--317},
  year={2012},
  publisher={Springer}
}

@article{Foldit,
  title={Algorithm discovery by protein folding game players},
  author={Khatib, F. and Cooper, S. and Tyka, M.D. and Xu, K. and Makedon, I. and Popovi{\'c}, Z. and Baker, D. and Players, F.},
  journal={Proceedings of the National Academy of Sciences},
  volume={108},
  number={47},
  pages={18949--18953},
  year={2011},
  publisher={National Acad Sciences}
}

@book{Human-computation,
  author    = {Edith Law and
               Luis von Ahn},
  title     = {Human Computation},
  booktitle = {Human Computation},
  publisher = {Morgan {\&} Claypool Publishers},
  series    = {Synthesis Lectures on Artificial Intelligence and Machine
               Learning},
  year      = {2011}
}

@article{McLennan2012,
author = {McLennan, Sarah and Gainer, Mary},
journal = {NASA History Program Office News \& Notes},
number = {1},
pages = {25--32},
title = {{When the Computer Wore a Skirt: Langley’s Computers, 1935–1970}},
volume = {29},
year = {2012}
}

@article{hoffmann2007structure,
  title={Structure and problem hardness: Goal asymmetry and DPLL proofs in SAT-based planning},
  author={Hoffmann, J. and Gomes, C. and Selman, B.},
  journal={Logical Methods in Computer Science},
  volume={3},
  number={1},
  pages={6},
  year={2007}
}

@inproceedings{Cooper2010thechallenge,
 author = {Cooper, S. and Treuille, A. and Barbero, J. and Leaver-Fay, A. and Tuite, K. and Khatib, F. and Snyder, A. C. and Beenen, M. and Salesin, D. and Baker, D. and Popovi\'{c}, Z.},
 title = {The challenge of designing scientific discovery games},
 booktitle = {Proceedings of the Fifth International Conference on the Foundations of Digital Games},
 series = {FDG '10},
 year = {2010},
 isbn = {978-1-60558-937-4},
 location = {Monterey, California},
 pages = {40--47},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1822348.1822354},
 doi = {http://doi.acm.org/10.1145/1822348.1822354},
 acmid = {1822354},
 publisher = {ACM},
 address = {New York, NY, USA}
}

@article{Pontin2007artificial,
    author = {Pontin, Jason},
    citeulike-article-id = {3833078},
    citeulike-linkout-0 = {http://www.nytimes.com/2007/03/25/business/yourmoney/25Stream.html},
    journal = {The New York Times},
    keywords = {file-import-08-12-29, mechanical-turk},
    local-url = {file://localhost/Users/hpiwowar/Documents/Papers/2007/Pontin/The\%20New\%20York\%20Times\%202007\%20Pontin.pdf},
    number = {March 24, 2007},
    posted-at = {2008-12-29 16:12:35},
    priority = {0},
    title = {{Artificial Intelligence, With Help From the Humans}},
    url = {http://www.nytimes.com/2007/03/25/business/yourmoney/25Stream.html},
    year = {2007}
}

@article{acuna2010people,
  title={People efficiently explore the solution space of the computationally intractable traveling salesman problem to find near-optimal tours},
  author={Acu{\~n}a, D.E. and Parada, V.},
  journal={PloS one},
  volume={5},
  number={7},
  pages={e11685},
  year={2010},
  publisher={Public Library of Science}
}

@article{takeuchi2002combinatorial,
  title={Combinatorial synthesis and evaluation of functional inorganic materials using thin-film techniques},
  author={Takeuchi, Ichiro and Dover, Robert Bruce van and Koinuma, Hideomi},
  journal={MRS bulletin},
  volume={27},
  number={04},
  pages={301--308},
  year={2002},
  publisher={Cambridge Univ Press}
}

@article{gregoire2009high,
  title={High energy x-ray diffraction/x-ray fluorescence spectroscopy for high-throughput analysis of composition spread thin films},
  author={Gregoire, John M and Dale, Darren and Kazimirov, Alexander and DiSalvo, Francis J and van Dover, R Bruce},
  journal={Review of Scientific Instruments},
  volume={80},
  number={12},
  pages={123905--123905},
  year={2009},
  publisher={AIP}
}

@article{white2012materials,
  title={The Materials Genome Initiative: One year on},
  author={White, Ashley},
  journal={MRS Bulletin},
  volume={37},
  number={08},
  pages={715--716},
  year={2012},
  publisher={Cambridge Univ Press}
}

@article{patel2011materials,
  title={Materials Genome Initiative and energy},
  author={Patel, Prachi},
  journal={MRS bulletin},
  volume={36},
  number={12},
  pages={964--966},
  year={2011},
  publisher={Cambridge Univ Press}
}

@inproceedings{He16ResNet,
  author    = {Kaiming He and
               Xiangyu Zhang and
               Shaoqing Ren and
               Jian Sun},
  title     = {Deep Residual Learning for Image Recognition},
  booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition,
               {CVPR}},
  pages     = {770--778},
  year      = {2016},
}

@inproceedings{Bierelingeling,
    author = {Armin Biere},
    title = {Lingeling, Plingeling and Treengeling Entering the SAT Competition 2013},
    year = {2013},
    booktitle = {Proceedings of SAT Competition},
    pages = {51--52},
}

@inproceedings{Krizhevsky2012AlexNet,
 author = {Krizhevsky, Alex and Sutskever, Ilya and Hinton, Geoffrey E.},
 title = {ImageNet Classification with Deep Convolutional Neural Networks},
 booktitle = {Proceedings of the 25th International Conference on Neural Information Processing Systems},
 series = {NIPS},
 year = {2012},
 pages = {1097--1105},
 numpages = {9},
}

@article{pollock2014understanding,
  title={Understanding co-occurrence by modelling species simultaneously with a Joint Species Distribution Model (JSDM)},
  author={Pollock, Laura J and Tingley, Reid and Morris, William K and Golding, Nick and O'Hara, Robert B and Parris, Kirsten M and Vesk, Peter A and McCarthy, Michael A},
  journal={Methods in Ecology and Evolution},
  year={2014},
  publisher={Wiley Online Library}
}

@article{herrando2017high,
  title={High resolution maps for the second European Breeding Bird Atlas: A first provision of standardised data and pilot modelled maps},
  author={Herrando, Sergi and Keller, Verena and Vo{\v{r}}{\'\i}{\v{s}}ek, Petr and Kipson, Marina and Franch, Mart{\'\i} and Anton, Marc and Pla, Magda and Villero, Dani and Sierdsema, Henk and Kampichler, Christian and others},
  journal={Vogelwelt},
  year={2017}
}
@article{us2000north,
  title={North American Bird Conservation Initiative: Bird conservation region descriptions, a supplement to the North American Bird Conservation Initiative Bird Conservation Regions Map},
  author={US NABCI Committee and others},
  year={2000}
}

@article{mccullagh1984generalized,
  title={Generalized linear models},
  author={McCullagh, Peter},
  journal={European Journal of Operational Research},
  year={1984},
  publisher={Elsevier}
}

@inproceedings{rudolph2016exponential,
  title={Exponential Family Embeddings},
  author={Rudolph, Maja and Ruiz, Francisco and Mandt, Stephan and Blei, David},
  booktitle={Advances in Neural Information Processing Systems},
  year={2016}
}

@inproceedings{tsoumakas2007random,
  title={Random k-labelsets: An ensemble method for multilabel classification},
  author={Tsoumakas, Grigorios and Vlahavas, Ioannis},
  booktitle={European Conference on Machine Learning},
  pages={406--417},
  year={2007},
  organization={Springer}
}

@inproceedings{yu2005multi,
  title={Multi-label informed latent semantic indexing},
  author={Yu, Kai and Yu, Shipeng and Tresp, Volker},
  booktitle={Proceedings of the 28th annual international ACM SIGIR conference on Research and development in information retrieval},
  year={2005},
  organization={ACM}
}
@inproceedings{ji2009linear,
  title={Linear Dimensionality Reduction for Multi-label Classification.},
  author={Ji, Shuiwang and Ye, Jieping},
  booktitle={IJCAI},
  year={2009}
}
@article{zhang2010multilabel,
  title={Multilabel dimensionality reduction via dependence maximization},
  author={Zhang, Yin and Zhou, Zhi-Hua},
  journal={ACM Transactions on Knowledge Discovery from Data},
  year={2010}
}



@article{jones2011multi,
  title={Multi-label Classification for Species Distribution Modeling},
  author={Jones, Julia and Miller, Jeffrey and White, Matt},
  year={2011},
  publisher={Citeseer}
}
@article{read2015scalable,
  title={Scalable multi-output label prediction: From classifier chains to classifier trellises},
  author={Read, Jesse and Martino, Luca and Olmos, Pablo M and Luengo, David},
  journal={Pattern Recognition},
  year={2015},
  publisher={Elsevier}
}






@article{bengio2003neural,
  title={A neural probabilistic language model},
  author={Bengio, Yoshua and Ducharme, R{\'e}jean and Vincent, Pascal and Jauvin, Christian},
  journal={journal of machine learning research},
  volume={3},
  number={Feb},
  year={2003}
}

@article{mikolov2013distributed,
  title={Distributed representations of words and phrases and their compositionality},
  author={Mikolov, T and Dean, J},
  journal={Advances in neural information processing systems},
  year={2013}
}

@article{fithian2013finite,
  title={Finite-sample equivalence in statistical models for presence-only data},
  author={Fithian, William and Hastie, Trevor},
  journal={The annals of applied statistics},
  volume={7},
  number={4},
  pages={1917},
  year={2013},
  publisher={NIH Public Access}
}

@article{guillera2015my,
  title={Is my species distribution model fit for purpose? Matching data and models to applications},
  author={Guillera-Arroita, Gurutzeta and Lahoz-Monfort, Jos{\'e} J and Elith, Jane and Gordon, Ascelin and Kujala, Heini and Lentini, Pia E and McCarthy, Michael A and Tingley, Reid and Wintle, Brendan A},
  journal={Global Ecology and Biogeography},
  year={2015},
  publisher={Wiley Online Library}
}

@article{harris2015generating,
  title={Generating realistic assemblages with a joint species distribution model},
  author={Harris, David J},
  journal={Methods in Ecology and Evolution},
  year={2015},
  publisher={Wiley Online Library}
}

@article{thorson2016joint,
  title={Joint dynamic species distribution models: a tool for community ordination and spatio-temporal monitoring},
  author={Thorson, James T and Ianelli, James N and Larsen, Elise A and Ries, Leslie and Scheuerell, Mark D and Szuwalski, Cody and Zipkin, Elise F},
  journal={Global Ecology and Biogeography},
  year={2016},
  publisher={Wiley Online Library}
}


@article{chib1998analysis,
  title={Analysis of multivariate probit models},
  author={Chib, Siddhartha and Greenberg, Edward},
  journal={Biometrika},
  year={1998},
  publisher={Biometrika Trust}
}

@book{Diggle2003,
title = "Statistical Analysis of Spatial Point Patterns.",
publisher = "Hodder Education Publishers",
author = "Diggle, Peter J.",
note = "2nd edition",
year = "2003",
isbn = "0340740701",
}
@article{MacKenzie2004cooccurrence,
abstract = {1. Over the last 30 years there has been a great deal of interest in investigating patterns of species co-occurrence across a number of locations, which has led to the development of numerous methods to determine whether there is evidence that a particular pattern may not have occurred by random chance. 2. A key aspect that seems to have been largely overlooked is the possibility that species may not always be detected at a location when present, which leads to false absences in a species presence/absence matrix that may cause incorrect inferences to be made about co-occurrence patterns. Furthermore, many of the published methods for invest- igating patterns of species co-occurrence do not account for potential differences in the site characteristics that may partially (at least) explain non-random patterns (e.g. due to species having similar/different habitat preferences). 3. Here we present a statistical method for modelling co-occurrence patterns between species while accounting for imperfect detection and site characteristics. This method requires that multiple presence/absence surveys for the species be conducted over a rea- sonably short period of time at most sites. The method yields unbiased estimates of probabilities of occurrence, and is practical when the number of species is small < 4). 4. To illustrate the method we consider data collected on two terrestrial salamander species, Plethodon jordani and members of the Plethodon glutinosus complex, collected in the Great Smoky Mountains National Park, USA. We find no evidence that the spe- cies do not occur independently at sites once site elevation has been allowed for, although we find some evidence of a statistical interaction between species in terms of detectability that we suggest may be due to changes in relative abundances.},
author = {MacKenzie, D I and Bailey, L L and Nichols, J D},
doi = {10.1111/j.0021-8790.2004.00828.x},
file = {:home/yexiang/Advanced\_Edu/bird\_embedding/literature/[2004Mackenzie]Investigating species co-occurrence patterns when species are detected imperfectly.pdf:pdf},
issn = {00218790},
journal = {Journal of Animal Ecology},
pages = {546--555},
title = {{Investigating species co-occurrence patterns when species}},
volume = {73},
year = {2004}
}
@INPROCEEDINGS{Williams98Kriging,
    author = {C. K. I. Williams},
    title = {Prediction with Gaussian processes: From linear regression to linear prediction and beyond},
    booktitle = {Learning and Inference in Graphical Models},
    year = {1998},
    pages = {599--621},
    publisher = {Kluwer}
}
@article{horne2007BrownianBridge,
  title={Analyzing animal movements using Brownian bridges},
  author={Horne, Jon S and Garton, Edward O and Krone, Stephen M and Lewis, Jesse S},
  journal={Ecology},
  volume={88},
  number={9},
  pages={2354--2363},
  year={2007},
  publisher={Eco Soc America}
}
@Article{McRae2008circuitscape,
author="McRae, Brad H.
and Dickson, Brett G.
and Keitt, Timothy H.
and Shah, Viral B.",
title="USING CIRCUIT THEORY TO MODEL CONNECTIVITY IN ECOLOGY, EVOLUTION, AND CONSERVATION",
journal="Ecology",
year="2008",
}
@book{mackenzie2006occupancy,
  title={Occupancy Estimation And Modeling: Inferring Patterns And Dynamics of Species Occurrence},
  author={MacKenzie, D.I.},
  isbn={9780120887668},
  lccn={05051372},
  url={http://books.google.com/books?id=RaCmF9PioCIC},
  year={2006},
  publisher={Elsevier Science \& Tech}
}

@article{elith2009species,
  title={Species distribution models: ecological explanation and prediction across space and time},
  author={Elith, Jane and Leathwick, John R},
  journal={Annual Review of Ecology, Evolution, and Systematics},
  volume={40},
  number={1},
  pages={677},
  year={2009}
}
@inproceedings{Phillips2004Maxent,
 author = {Phillips, Steven J. and Dud\'{\i}k, Miroslav and Schapire, Robert E.},
 title = {A Maximum Entropy Approach to Species Distribution Modeling},
 booktitle = {Proceedings of the Twenty-first International Conference on Machine Learning},
 series = {ICML '04},
 year = {2004},
 isbn = {1-58113-838-5},
 location = {Banff, Alberta, Canada},
 pages = {83--},
 url = {http://doi.acm.org/10.1145/1015330.1015412},
 doi = {10.1145/1015330.1015412},
 acmid = {1015412},
 publisher = {ACM},
 address = {New York, NY, USA},
} 
@inproceedings{fink2013adaptive,
  title={Adaptive Spatio-Temporal Exploratory Models: Hemisphere-wide species distributions from massively crowdsourced eBird data.},
  author={Fink, Daniel and Damoulas, Theodoros and Dave, Jaimin},
  booktitle={AAAI},
  year={2013}
}
@inproceedings{sheldon2011collective,
  title={Collective graphical models},
  author={Sheldon, Daniel R and Dietterich, Thomas G},
  booktitle={Advances in Neural Information Processing Systems},
  pages={1161--1169},
  year={2011}
}
@inproceedings{chen2012playlist,
  title={Playlist prediction via metric embedding},
  author={Chen, Shuo and Moore, Josh L and Turnbull, Douglas and Joachims, Thorsten},
  booktitle={Proceedings of the 18th ACM SIGKDD international conference on Knowledge discovery and data mining},
  year={2012},
  organization={ACM}
}

@inproceedings{socher2012semantic,
  title={Semantic compositionality through recursive matrix-vector spaces},
  author={Socher, Richard and Huval, Brody and Manning, Christopher D and Ng, Andrew Y},
  booktitle={Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning},
  pages={1201--1211},
  year={2012},
  organization={Association for Computational Linguistics}
}
@article{globerson2007euclidean,
  title={Euclidean Embedding of Co-occurrence Data.},
  author={Globerson, Amir and Chechik, Gal and Pereira, Fernando and Tishby, Naftali},
  journal={Journal of Machine Learning Research},
  volume={8},
  number={10},
  year={2007}
}
@inproceedings{rendle2010factorizing,
  title={Factorizing personalized markov chains for next-basket recommendation},
  author={Rendle, Steffen and Freudenthaler, Christoph and Schmidt-Thieme, Lars},
  booktitle={Proceedings of the 19th international conference on World wide web},
  year={2010},
  organization={ACM}
}
@inproceedings{hinton2002stochastic,
  title={Stochastic neighbor embedding},
  author={Hinton, Geoffrey and Roweis, Sam},
  booktitle={NIPS},
  volume={2},
  pages={833--840},
  year={2002}
}
@inproceedings{mnih2007three,
  title={Three new graphical models for statistical language modelling},
  author={Mnih, Andriy and Hinton, Geoffrey},
  booktitle={Proceedings of the 24th international conference on Machine learning},
  pages={641--648},
  year={2007},
  organization={ACM}
}
@inproceedings{maron2010sphere,
  title={Sphere Embedding: An Application to Part-of-Speech Induction.},
  author={Maron, Yariv and Lamar, Michael and Bienenstock, Elie},
  booktitle={NIPS},
  pages={1567--1575},
  year={2010}
}
@incollection{bengio2006neural,
  title={Neural probabilistic language models},
  author={Bengio, Yoshua and Schwenk, Holger and Sen{\'e}cal, Jean-S{\'e}bastien and Morin, Fr{\'e}deric and Gauvain, Jean-Luc},
  booktitle={Innovations in Machine Learning},
  pages={137--186},
  year={2006},
  publisher={Springer}
}
@inproceedings{mnih2007three,
  title={Three new graphical models for statistical language modelling},
  author={Mnih, Andriy and Hinton, Geoffrey},
  booktitle={Proceedings of the 24th international conference on Machine learning},
  pages={641--648},
  year={2007},
  organization={ACM}
}
@article{maaten2008visualizing,
  title={Visualizing data using t-SNE},
  author={Maaten, Laurens van der and Hinton, Geoffrey},
  journal={Journal of Machine Learning Research},
  volume={9},
  number={Nov},
  pages={2579--2605},
  year={2008}
}
@article{homer2015completion,
  title={Completion of the 2011 National Land Cover Database for the conterminous United States-Representing a decade of land cover change information},
  author={Homer, Collin G and Dewitz, Jon A and Yang, Limin and Jin, Suming and Danielson, Patrick and Xian, George and Coulston, John and Herold, Nathaniel D and Wickham, JD and Megown, Kevin},
  journal={Photogramm. Eng. Remote Sens},
  year={2015}
}

@misc{ebird4,
  author={Munson, M. Arthur and Webb, Kevin and Sheldon, Daniel and 
      Fink, Daniel and Hochachka, Wesley M and Iliff, Marshall and
      Riedewald, Mirek and Sorokina, Dara and Sullivant, Brian and
      Wood, Christopher and Kelling, Steve},
  title={{The eBird Reference Dataset, Version 4.0}},
  url = {http://www.ccs.neu.edu/home/mirek/papers/ebird-ref-data.pdf},
  year = {2012}
}
@article{Wood2011eBird,
  title={eBird: engaging birders in science and conservation},
  author={Wood, Chris and Sullivan, Brian and Iliff, Marshall and Fink, Daniel and Kelling, Steve},
  journal={PLoS biology},
  volume={9},
  number={12},
  pages={e1001220},
  year={2011},
  publisher={Public Library of Science}
}
@misc{BugGuide,
author = {Troy Bartlett},
title = {BugGuide},
howpublished = {bugguide.net},
year = {2011}
}
@article{Chiappone1996CoralWatch,
  title={Coral Watch program summary. A report on volunteer and scientific efforts to document the status of reefs in the Florida Keys National Marine Sanctuary},
  author={Chiappone, M},
  journal={The Nature Conservancy, Summerland Key, Florida},
  year={1996}
}

@article{duchi2011adaptive,
  title={Adaptive subgradient methods for online learning and stochastic optimization},
  author={Duchi, John and Hazan, Elad and Singer, Yoram},
  journal={The Journal of Machine Learning Research},
  year={2011},
  publisher={JMLR. org}
}
@incollection{bottou2004stochastic,
  title={Stochastic learning},
  author={Bottou, L{\'e}on},
  booktitle={Advanced lectures on machine learning},
  pages={146--168},
  year={2004},
  publisher={Springer}
}
@article{genz1992numerical,
  title={Numerical computation of multivariate normal probabilities},
  author={Genz, Alan},
  journal={Journal of computational and graphical statistics}, 
  year={1992},
}

@inproceedings{gutmann2010noise,
  title={Noise-contrastive estimation: A new estimation principle for unnormalized statistical models},
  author={Gutmann, Michael and Hyv{\"a}rinen, Aapo},
  booktitle={International Conference on Artificial Intelligence and Statistics},
  pages={297--304},
  year={2010}
}

@inproceedings{Yu2011multispecies,
  title={Multi-label Classification for Species Distribution},
  author={Jun, Yu and Wong, Weng-Keen and Dietterich, Tom and Jones, Julia and Betts, Matthew and Frey, Sarah and Shirley, Susan and Miller, Jeffrey and White, Matt},
  booktitle={Proceedings of the ICML 2011 Workshop on Machine Learning for Global Challenges},
  year={2011}
}

@inproceedings{Hutchinson2011,
 author = {Hutchinson, Rebecca A. and Liu, Li-Ping and Dietterich, Thomas G.},
 title = {Incorporating Boosted Regression Trees into Ecological Latent Variable Models},
 booktitle = {Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence},
 year = {2011}
}


@article{shapiro2003monte,
  title={Monte Carlo sampling methods},
  author={Shapiro, Alexander},
  journal={Handbooks in operations research and management science},
  volume={10},
  pages={353--425},
  year={2003},
  publisher={Elsevier}
}


@article{rodriguez2012influenceOLD,
  title={Influence maximization in continuous time diffusion networks},
  author={Rodriguez, Manuel Gomez and Sch{\"o}lkopf, Bernhard},
  journal={arXiv preprint arXiv:1205.1682},
  year={2012}
}

@inproceedings{rodriguez2012influence,
    Title = {Influence Maximization in Continuous Time Diffusion Networks}, 
    Booktitle = {Proceedings of the 29th International Conference on Machine Learning (ICML)}, 
    Author = {Manuel G. Rodriguez and Bernhard Sch{\"o}lkopf}, 
    Year = {2012}, 
    Editor = {John Langford and Joelle Pineau}, 
    Address = {New York, NY, USA}, 
    Pages = {313--320}
   }
   

@inproceedings{du2013scalable,
  title={Scalable influence estimation in continuous-time diffusion networks},
  author={Du, Nan and Song, Le and Gomez-Rodriguez, Manuel and Zha, Hongyuan},
  booktitle={Advances in Neural Information Processing Systems},
  pages={3147--3155},
  year={2013}
}

@inproceedings{schichl2015predisaster,
  title={Predisaster Preparation of Transportation Networks},
  author={Schichl, Hermann and Sellmann, Meinolf},
  booktitle={Proceedings of the 29th Conference on Artificial Intelligence},
  pages={709-715},
  year={2015}
}

@article{gao2011network,
  title={Network immunization and virus propagation in email networks: experimental evaluation and analysis},
  author={Gao, Chao and Liu, Jiming and Zhong, Ning},
  journal={Knowledge and information systems},
  volume={27},
  number={2},
  pages={253--279},
  year={2011},
  publisher={Springer}
}


@book{williamson2011design,
  title={The design of approximation algorithms},
  author={Williamson, David P. and Shmoys, David B.},
  year={2011},
  publisher={Cambridge University Press}
}

@inproceedings{Wu2015,
  title={Fast Combinatorial Algorithm for Optimizing the Spread of Cascades},
  author={Wu, Xiaojian and Sheldon, Daniel and Zilberstein, Shlomo},
  booktitle={Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)},
  year= {2015},
  pages={2655-2661}
}

@techreport{Martin2011,
author = {Martin, Erik H. and Apse, Colin D.},
institution = {The Nature Conservancy, Eastern Freshwater Program},
title = {Northeast Aquatic Connectivity: An Assessment of Dams on Northeastern Rivers},
year = {2011}
}

@article{Bowden2013,
author = {Alison A. Bowden},
journal = {ICES Journal of Marine Science},
keywords = {fisheries,resilience,river herring,watershed management},
title = {Towards a comprehensive strategy to recover river herring on the {A}tlantic seaboard: {L}essons from {P}acific salmon},
year = {2013}
}

@article{Letcher2007,
author = {Letcher, Benjamin H. and Nislow, Keith H. and Coombs, Jason A. and O'Donnell, Matthew J. and Dubreuil, Todd L.},
journal = {PloS one},
keywords = {Animal Migration,Animals,Likelihood Functions,Models, Theoretical,Population Growth,Trout},
mendeley-groups = {CyberSEES 2014},
month = jan,
number = {11},
pages = {e1139},
pmid = {18188404},
title = {Population response to habitat fragmentation in a stream-dwelling brook trout population},
volume = {2},
year = {2007}
}

@inproceedings{Xue2014,
author = {Xue, Shan and Fern, Alan and Sheldon, Daniel},
booktitle = {Proceedings of the Conference on Artificial Intelligence and Statistics (AISTATS)},
file = {:Users/sheldon/Documents/Mendeley Desktop/Xue, Fern, Sheldon/Xue, Fern, Sheldon - 2014 - Dynamic Resource Allocation for Optimizing Population Diffusion.pdf:pdf},
title = {Dynamic Resource Allocation for Optimizing Population Diffusion},
year = {2014}
}

@inproceedings{Xue2012,
author = {Xue, Shan and Fern, Alan and Sheldon, Daniel},
booktitle = {Proceedings of the 26th Conference on Artificial Intelligence},
keywords = {Special Track on Computational Sustainability},
pages = {391--397},
title = {Scheduling Conservation Designs via Network Cascade Optimization},
year = {2012}
}

@article{aneja1980integer,
  title={An integer linear programming approach to the Steiner problem in graphs},
  author={Aneja, Yash P},
  journal={Networks},
  volume={10},
  number={2},
  pages={167--178},
  year={1980},
  publisher={Wiley Online Library}
}

@inproceedings{garg1998polylogarithmic,
  title={A polylogarithmic approximation algorithm for the group Steiner tree problem},
  author={Garg, Naveen and Konjevod, Goran and Ravi, R},
  booktitle={Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms},
  pages={253--259},
  year={1998},
  organization={Society for Industrial and Applied Mathematics}
}
@book{gro94,
	title={Handbook in Operations Research and Management Science, chapter Design of Survivable Networks},
	author={Gr{\"o}tschel, M and Monma, C.  and and Stoer, M. },
	publisher={Noth-Holland},
	year={1994}
}

@article{peeta2010pre,
  title={Pre-disaster investment decisions for strengthening a highway network},
  author={Peeta, Srinivas and Sibel Salman, F. and Gunnec, Dilek and Viswanath, Kannan},
  journal={Computers and Operations Research},
  volume={37},
  number={10},
  pages={1708--1719},
  year={2010},
  publisher={Elsevier}
}

@article{foltete2014methodological,
  title={A methodological framework for the use of landscape graphs in land-use planning},
  author={Folt{\^e}te, Jean-Christophe and Girardet, Xavier and Clauzel, C{\'e}line},
  journal={Landscape and Urban Planning},
  year={2014},
  volume={124},
  pages={140-150},
  publisher={Elsevier}
}

@article{tambosi2013framework,
  title={A Framework to Optimize Biodiversity Restoration Efforts Based on Habitat Amount and Landscape Connectivity},
  author={Tambosi, Leandro R. and Martensen, Alexandre C. and Ribeiro, Milton C. and Metzger, Jean P.},
  journal={Restoration Ecology},
  year={2014},
  volume={22},
  number={2},
  pages={169-177},
  publisher={Wiley Online Library}
}





@article{saura2007,
title={A new habitat availability index to integrate connectivity in landscape conservation planning: Comparison with existing indices and application to a case study},
author={Santiago Saura and Luc{\'i}a Pascual-Hortal},
journal={Landscape and Urban Planning},
volume={83},
issue={2},
pages={91-103},
year={2007},
}


@inproceedings{chen2010scalable,
  title={Scalable influence maximization for prevalent viral marketing in large-scale social networks},
  author={Chen, Wei and Wang, Chi and Wang, Yajun},
  booktitle={Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining},
  pages={1029--1038},
  year={2010},
}


@incollection{kempe2005influential,
  title={Influential nodes in a diffusion model for social networks},
  author={Kempe, David and Kleinberg, Jon and Tardos, {\'E}va},
  booktitle={Automata, languages and programming},
  pages={1127--1138},
  year={2005},
  publisher={Springer}
}

@techreport{McGarigal11,
author={Kevin McGarigal and Bradley W. Compton and Scott D. Jackson and Ethan Plunkett and Kasey Rolih and Theresa Portante and Eduard Ene},
title={Conservation Assessment and Prioritization System ({CAPS})},
institution = {Department of Environmental Conservation, Univ. of Massachusetts Amherst},
year = {2011}
}



@book{Vazirani03,
author="V. Vazirani",
title="Approximation Algorithms",
publisher="Springer",
pages="68-72",
year="2003"
}


@article{Valiant79,
author="Leslie G. Valiant",
title="The complexity of enumeration and reliability problems",
year="1979",
journal="SIAM Journal on Computing",
volume="8",
number="2",
pages="410-421"
}

@article{Katherine06,
author="Katherine Lai and MX Goemans",
title="The knapsack problem and fully
polynomial time approximation schemes (FPTAS)",
year="2006",
booktitle="Retrieved November"
}


@article{o2005optimizing,
  title={Optimizing the removal of small fish passage barriers},
  author={O’Hanley, Jesse Rush and Tomberlin, David},
  journal={Environmental Modeling \& Assessment},
  volume={10},
  number={2},
  pages={85--98},
  year={2005},
  publisher={Springer}
}


@article{wustochastic,
  title={Stochastic Network Design for River Networks},
  author={Wu, Xiaojian and Sheldon, Daniel and Zilberstein, Shlomo},
  journal={NIPS Workshop on Machine Learning for Sustainability},
  year={2013}
}


@inproceedings{Kumar12,
author={Akshat Kumar and Xiaojian Wu and Shlomo Zilberstein},
title={Lagrangian relaxation techniques for scalable spatial conservation planning},
booktitle={Proceedings of the 26th Conference on Artificial Intelligence},
pages = {309--315"}, 
year={2012}
}



@inproceedings{Sheldon10,
author = {Daniel Sheldon and Bistra Dilkina and Adam Elmachtoub and Ryan Finseth and Ashish Sabharwal and Jon Conrad and Carla Gomes and David Shmoys and William Allen and Ole Amundsen and William Vaughan},
title = {Maximizing the spread of cascades using network design},
booktitle = {Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence},
 year = {2010},
 pages = {517-526}
}


@inproceedings{Ahmadizadeh10,
 author = {Ahmadizadeh, Kiyan and Dilkina, Bistra and Gomes, Carla P. and Sabharwal, Ashish},
 title = {An empirical study of optimization for maximizing diffusion in networks},
 booktitle = {Proceedings of the 16th international conference on Principles and practice of constraint programming},
 year = {2010},
 pages = {514--521}
} 

@inproceedings{Golovin11,
 author = {Daniel Golovin and Andreas Krause and Beth Gardner and Sarah J. Converse and Steve Morey},
 title = {Dynamic Resource Allocation in Conservation Planning},
 booktitle = {Proceedings of the 25th Conference on Artificial Intelligence},
year = {2011},
pages = {1331-1336}
}


@inproceedings{Kempe03,
 author = {Kempe, David and Kleinberg, Jon and Tardos, {\'E}va},
 title = {Maximizing the spread of influence through a social network},
 booktitle = {Proceedings of the 9th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining},
 year = {2003},
 pages = {137--146}
} 

@inproceedings{Leskovec07,
 author = {Leskovec, Jure and Krause, Andreas and Guestrin, Carlos and Faloutsos, Christos and VanBriesen, Jeanne and Glance, Natalie},
 title = {Cost-effective outbreak detection in networks},
 booktitle = {Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining},
 year = {2007},
 pages = {420--429}
} 

@article{krause-jwrpm08,
AUTHOR = {Andreas Krause and Jure Leskovec and Carlos Guestrin and Jeanne VanBriesen and Christos Faloutsos},
TITLE = {Efficient Sensor Placement Optimization for Securing Large Water Distribution Networks},
JOURNAL = {Journal of Water Resources Planning and Management},
YEAR = {2008},
volume = {134},
number = {6},
pages = {516-526}
}

@article {Nemhauser78,
   author = {Nemhauser, G. L. and Wolsey, L. A. and Fisher, M. L.},
   title = {An analysis of approximations for maximizing submodular set functions—I},
   journal = {Mathematical Programming},
   pages = {265-294},
   volume = {14},
   issue = {1},
   year = {1978}
}

@article{SAA02,
 author = {Kleywegt, Anton J. and Shapiro, Alexander and Homem-de-Mello, Tito},
 title = {The Sample Average Approximation Method for Stochastic Discrete Optimization},
 journal = {SIAM Journal on Optimization},
 volume = {12},
 issue = {2},
 month = {February},
 year = {2002},
 pages = {479--502}
}

@inproceedings{Lubin11,
 author = {Lubin, Miles and Petra, Cosmin G. and Anitescu, Mihai and Zavala, Victor},
 title = {Scalable stochastic optimization of complex energy systems},
 booktitle = {Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis},
 year = {2011}
} 

@book{bertsekas,
    author = {Bertsekas, Dimitri P.},
    edition = {2nd},
    howpublished = {Hardcover},
    isbn = {1886529000},
    keywords = {nonlinear-programming, optimization, programming},
    publisher = {Athena Scientific},
    title = {Nonlinear Programming},
    url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20\&path=ASIN/1886529000},
    year = {1999}
}


@inproceedings{wu2017robust,
  title={Robust Optimization for Tree-Structured Stochastic Network Design},
  author={Wu, Xiaojian and Kumar, Akshat and Sheldon, Daniel and Zilberstein, Shlomo},
  booktitle={Proceedings of the 31st Conference on Artificial Intelligence},
  year={2017}
}

@inproceedings{wu2014rounded,
  title={Rounded Dynamic Programming for Tree-Structured Stochastic Network Design},
  author={Wu, Xiaojian and Sheldon, Daniel and Zilberstein, Shlomo},
  booktitle={Proceedings of the 28th Conference on Artificial Intelligence},
  year={2014}
}

@inproceedings{wu2014stochastic,
  title={Stochastic Network Design in Bidirected Trees},
  author={Wu, Xiaojian and Sheldon, Daniel and Zilberstein, Shlomo},
  booktitle={Advances in Neural Information Processing Systems},
  pages={882--890},
  year={2014}
}


@article{schumaker1996using,
  title={Using Landscape Indices to Predict Habitat Connectivity},
  author={Schumaker, Nathan H},
  journal={Ecology},
  volume={77},
  number={4},
  pages={1210--1225},
  year={1996}
}


@article{keitt1997detecting,
  title={Detecting Critical Scales in Fragmented Landscapes},
  author={Keitt, Timothy H and Urban, Dean L and Milne, Bruce T},
  journal={Conservation Ecology},
  volume={1},
  number={1},
  pages={4},
  year={1997}
}

@article{tischendorf2000should,
  title={How should we measure landscape connectivity?},
  author={Tischendorf, Lutz and Fahrig, Lenore},
  journal={Landscape ecology},
  volume={15},
  number={7},
  pages={633--641},
  year={2000},
  publisher={Springer}
}

@article{colbourn1987network,
  title={Network resilience},
  author={Colbourn, Charles J.},
  journal={SIAM Journal on Algebraic Discrete Methods},
  volume={8},
  number={3},
  pages={404--409},
  year={1987},
  publisher={SIAM}
}

@article{kleywegt2002sample,
  title={The sample average approximation method for stochastic discrete optimization},
  author={Kleywegt, Anton J and Shapiro, Alexander and Homem-de-Mello, Tito},
  journal={SIAM Journal on Optimization},
  volume={12},
  number={2},
  pages={479--502},
  year={2002},
  publisher={SIAM}
}

@article{saura2009conefor,
  title={Conefor Sensinode 2.2: A software package for quantifying the importance of habitat patches for landscape connectivity},
  author={Saura, Santiago and Torne, Josep},
  journal={Environmental Modelling \& Software},
  volume={24},
  number={1},
  pages={135--139},
  year={2009},
  publisher={Elsevier}
}

@article{Verweij2003SAA,
 author = {Verweij, Bram and Ahmed, Shabbir and Kleywegt, Anton J. and Nemhauser, George and Shapiro, Alexander},
 title = {The Sample Average Approximation Method Applied to Stochastic Routing Problems: A Computational Study},
 journal = {Computational Optimization and Applications},
 issue_date = {February-March 2003},
 volume = {24},
 number = {2-3},
 year = {2003},
 pages = {289--333},
} 


@InProceedings{swamy2006stochasticOptimization,
author="Swamy, Chaitanya
and Shmoys, David B.",
title="Approximation Algorithms for 2-Stage Stochastic Optimization Problems",
booktitle="FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science",
year="2006",
pages="5--19",
}

@article{hanski2000metapopulation,
  title={The metapopulation capacity of a fragmented landscape},
  author={Hanski, Ilkka and Ovaskainen, Otso},
  journal={Nature},
  volume={404},
  number={6779},
  pages={755--758},
  year={2000},
  publisher={Nature Publishing Group}
}

@article{jain2001approximation,
  title={Approximation algorithms for metric facility location and k-median problems using the primal-dual schema and {Lagrangian} relaxation},
  author={Jain, Kamal and Vazirani, Vijay V.},
  journal={Journal of the ACM (JACM)},
  volume={48},
  number={2},
  pages={274--296},
  year={2001},
  publisher={ACM}
}

@article{wong1984dual,
  title={A dual ascent approach for Steiner tree problems on a directed graph},
  author={Wong, Richard T},
  journal={Mathematical programming},
  volume={28},
  number={3},
  pages={271--287},
  year={1984},
  publisher={Springer}
}

@book{bertsekas1999nonlinear,
  title={Nonlinear programming},
  author={Bertsekas, Dimitri P},
  year={1999},
  publisher={Athena scientific Belmont}
}

@article{fkleywegt2002sample,
  title={The sample average approximation method for stochastic discrete optimization},
  author={Kleywegt, Anton J and Shapiro, Alexander and Homem-de-Mello, Tito},
  journal={SIAM Journal on Optimization},
  volume={12},
  number={2},
  pages={479--502},
  year={2002},
  publisher={SIAM}
}

@article{gomes2009computational,
  title={Computational sustainability: Computational methods for a sustainable environment, economy, and society},
  author={Gomes, Carla P},
  journal={The Bridge},
  volume={39},
  number={4},
  pages={5--13},
  year={2009},
  publisher={National Academy of Engineering}
}

@inproceedings{domingos2001mining,
  title={Mining the network value of customers},
  author={Domingos, Pedro and Richardson, Matt},
  booktitle={Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining},
  pages={57--66},
  year={2001},
  organization={ACM}
}


@inproceedings{khalil2014scalable,
  title={Scalable diffusion-aware optimization of network topology},
  author={Khalil, Elias Boutros and Dilkina, Bistra and Song, Le},
  booktitle={Proceedings of the 20th ACM SIGKDD international conference on Knowledge discovery and data mining},
  pages={1226--1235},
  year={2014},
  organization={ACM}
}

@book{ahuja1988network,
  title={Network flows},
  author={Ahuja, Ravindra K and Magnanti, Thomas L and Orlin, James B},
  year={1988},
  institution={DTIC Document}
}

@misc{Subgradient03,
  Author = {Boyd, Stephen and  Xiao, Lin and Mutapcic, Amir},
  Institution = {Stanford University},
  Howpublished = {Lecture notes},
  Year = {2003},
  Title = {Subgradient Methods}
}


@book{vazirani2001approximation,
  title={Approximation algorithms},
  author={Vazirani, Vijay V},
  year={2001},
  publisher={Springer Science \& Business Media}
}


@inproceedings{johnson2000prize,
  title={The Prize Collecting {Steiner} Tree Problem: Theory and Practice},
  author={Johnson, David S. and Minkoff, Maria and Phillips, Steven},
  booktitle={Proceedings of the 11th Annual ACM-SIAM Symposium on Discrete Algorithms},
  location = {San Francisco, California, USA},
  pages = {760--769},
  year={2000},
}

@article{XFSjair15,
    title = {Scheduling Conservation Designs for Maximum Flexibility via Network Cascade Optimization},
    author = {Shan Xue and Alan Fern and Daniel Sheldon},
    journal = {Journal of Artificial Intelligence Research},
    volume = {},
    pages = {},
    year = {2015}
    }
    
@article{Hallegatte13,
    title = {Future flood losses in major coastal cities},
    author = {Hallegatte, Stephane and Green, Colin and Nicholls, Robert J. and Corfee-Morlot, Jan},
    journal = {Nature Climate Change},
    volume = {3},
    pages = {802--806},
    year = {2013}
}
    

@article{neeson2015enhancing,
  title={Enhancing ecosystem restoration efficiency through spatial and temporal coordination},
  author={Neeson, Thomas M and Ferris, Michael C and Diebel, Matthew W and Doran, Patrick J and O’Hanley, Jesse R and McIntyre, Peter B},
  journal={Proceedings of the National Academy of Sciences},
  volume={112},
  number={19},
  pages={6236--6241},
  year={2015},
  publisher={National Acad Sciences}
}
    

@inproceedings{xiaojian2016,
  title={Optimizing Resilience in Large Scale Networks},
  author={Wu, Xiaojian and Sheldon, Daniel R and Zilberstein, Shlomo},
  booktitle={Proceedings of the 30th Conference on Artificial Intelligence},
  year={2016}
}

@inproceedings{neumayer2010network,
  title={Network reliability with geographically correlated failures},
  author={Neumayer, Sebastian and Modiano, Eytan},
  booktitle={INFOCOM, 2010 Proceedings IEEE},
  pages={1--9},
  year={2010},
  organization={IEEE}
}

@inproceedings{rahnamay2011modeling,
  title={Modeling stochastic correlated failures and their effects on network reliability},
  author={Rahnamay-Naeini, Mahshid and Pezoa, Jorge E and Azar, Ghady and Ghani, Nasir and Hayat, Majeed M},
  booktitle={Computer Communications and Networks (ICCCN), 2011 Proceedings of 20th International Conference on},
  pages={1--6},
  year={2011},
  organization={IEEE}
}


@inproceedings{Gomes2006Sampling,
title = {Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints},
author = {Gomes, Carla P and Sabharwal, Ashish and Selman, Bart},
booktitle = {Advances in Neural Information Processing Systems},
year = {2007},
}

@inproceedings{Gomes06XORCounting,
  author    = {Carla P. Gomes and
               Ashish Sabharwal and
               Bart Selman},
  title     = {Model Counting: A New Strategy for Obtaining Good Bounds},
  booktitle = {Proceedings of the 21st National Conference on Artificial Intelligence},
  year      = {2006},
}

@inproceedings{Gomes2007XORCounting,
 author = {Gomes, Carla P. and Van Hoeve, Willem-Jan and Sabharwal, Ashish and Selman, Bart},
 title = {Counting CSP Solutions Using Generalized XOR Constraints},
 booktitle = {Proceedings of the 22nd National Conference on Artificial Intelligence},
 year = {2007},
} 

@article{Knot2010,
title="On Modern Clause-Learning Satisfiability Solvers",
author="Knot Pipatsrisawat and Adnan Darwiche",
journal="Journal of Automated Reasoning",
year={2010}
}

@inproceedings{Sontag08,
 title  = {Tightening {LP} Relaxations for {MAP} using Message-Passing},
 author = {David Sontag and Talya Meltzer and Amir Globerson and Yair Weiss and Tommi Jaakkola},
 booktitle = {24th Conference in Uncertainty in Artificial Intelligence},
 year = {2008}
}

@inproceedings{Riedel2008,
 author = {Riedel, Sebastian},
 title = {Improving the Accuracy and Efficiency of MAP Inference for Markov Logic},
 booktitle = {Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence},
 year = {2008}
}

@inproceedings{Poon2006mcsat,
 author = {Poon, Hoifung and Domingos, Pedro},
 title = {Sound and Efficient Inference with Probabilistic and Deterministic Dependencies},
 booktitle = {Proceedings of the 21st Conference on Artificial Intelligence},
 year = {2006}
}

@article{Gogate2011SampleSearch,
title = "SampleSearch: Importance sampling in presence of determinism",
journal = "Artificial Intelligence Journal",
year = "2011",
author = "Vibhav Gogate and Rina Dechter"
}

@inproceedings{Chakraborty2013scalable,
 author = {Chakraborty, Supratik and Meel, Kuldeep S. and Vardi, Moshe Y.},
 title = {A Scalable and Nearly Uniform Generator of SAT Witnesses},
 booktitle = {Proceedings of the 25th International Conference on Computer Aided Verification},
 year = {2013}
}

@inproceedings{Xue2016SCR,
  author = {Xue, Yexiang and Wu, Xiaojian and Morin, Dana and Dilkina, Bistra and Fuller, Angela and Royle, J. Andrew and Gomes, Carla P.},
  title = {Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information},
  booktitle={Proceedings of the 31th Conference on Artificial Intelligence},
  year = 2017
}

@Article{Dyer2006StochasticProgramming,
author="Dyer, Martin
and Stougie, Leen",
title="Computational complexity of stochastic programming problems",
journal="Mathematical Programming",
year="2006",
volume="106",
number="3",
pages="423--432",
}

@incollection{Yuille2010GaussianSampling,
title = {Gaussian sampling by local perturbations},
author = {George Papandreou and Yuille, Alan L},
booktitle = {Advances in Neural Information Processing Systems 23},
pages = {1858--1866},
year = {2010},
}

@inproceedings{HazanJ12Perturbation,
  author    = {Tamir Hazan and
               Tommi S. Jaakkola},
  title     = {On the Partition Function and Random Maximum A-Posteriori Perturbations},
  booktitle = {Proceedings of the 29th International Conference on Machine Learning, {ICML}},
  year      = {2012},
}

@inproceedings{BalogTGW17,
  author    = {Matej Balog and
               Nilesh Tripuraneni and
               Zoubin Ghahramani and
               Adrian Weller},
  title     = {Lost Relatives of the Gumbel Trick},
  booktitle = {Proceedings of the 34th International Conference on Machine Learning,
               {ICML} },
  pages     = {371--379},
  year      = {2017},
}

@incollection{Gomes2006NearUniformSampling,
title = {Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints},
author = {Gomes, Carla P and Sabharwal, Ashish and Selman, Bart},
booktitle = {Advances in Neural Information Processing Systems 19},
editor = {B. Sch\"{o}lkopf and J. C. Platt and T. Hoffman},
pages = {481--488},
year = {2007},
publisher = {MIT Press}
}

@inproceedings{Lafferty2001CRF,
 author = {Lafferty, John D. and McCallum, Andrew and Pereira, Fernando C. N.},
 title = {Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data},
 booktitle = {Proceedings of the Eighteenth International Conference on Machine Learning},
 series = {ICML},
 year = {2001},
 pages = {282--289},
} 

@inproceedings{Achim2016BeyondXOR,
 author = {Achim, Tudor and Sabharwal, Ashish and Ermon, Stefano},
 title = {Beyond Parity Constraints: Fourier Analysis of Hash Functions for Inference},
 booktitle = {Proceedings of the 33rd International Conference on International Conference on Machine Learning},
 series = {ICML},
 year = {2016},
 pages = {2254--2262},
 numpages = {9},
} 

@inproceedings{CarreiraPerpin2005CD,
  title={On Contrastive Divergence Learning},
  author={Miguel {\'A}. Carreira-Perpi{\~n}{\'a}n and Geoffrey E. Hinton},
  booktitle={AISTATS},
  year={2005}
}

@article{dai2017learning,
  title={Learning Combinatorial Optimization Algorithms over Graphs},
  author={Dai, Hanjun and Khalil, Elias B and Zhang, Yuyu and Dilkina, Bistra and Song, Le},
  journal={arXiv preprint arXiv:1704.01665},
  year={2017},
  url_Paper={papers/dai2017learning.pdf}
}


@article{Boyd2011ADMM,
 author = {Boyd, Stephen and Parikh, Neal and Chu, Eric and Peleato, Borja and Eckstein, Jonathan},
 title = {Distributed Optimization and Statistical Learning via the Alternating Direction Method of Multipliers},
 journal = {Found. Trends Mach. Learn.},
 volume = {3},
 number = {1},
 month = jan,
 year = {2011},
 pages = {1--122},
} 

@article{2013CireMDD,
author = {Cire, A. A. and van Hoeve, W.-J.},
title = {Multivalued Decision Diagrams for Sequencing Problems},
journal = {Operations Research},
volume = {61},
number = {6},
pages = {1411--1428},
year = {2013},
}

@inproceedings{GaLoMeMi2018,
author = {Galassi, A. and Lombardi, M. and Mello, P. and  Milano, M.},
title = {{Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study}},
booktitle = {Proceedings of CPAIOR},
year = {2018},
pages = {254--262},
publisher = {Springer},
volume = {10848},
series = {LNCS}
}

@inproceedings{LoMi2018,
author = {Lombardi, M. and Milano, M.},
title = {{Boosting Combinatorial Problem Modeling with Machine Learning}},
booktitle = {Proceedings of IJCAI},
year = {2018},
pages = {5472--5478}
}

@article{LoMiBa2017,
author = {Lombardi, M. and Milano, M. and Bartolini, A.},
title = {Empirical decision model learning},
journal = {Artif. Intell.},
volume = {244},
pages = {343--367},
year = {2017}
}

@inproceedings{KuGoGoHo1996,
author = {A. Kuchler and C. Goller and G. G\"{o}rz and S. H\"{o}lldobler}, 
title = {Inductive learning in symbolic domains using structure-driven recurrent neural networks},
booktitle = {Advances in Artificial Intelligence},
publisher = {Springer}, 
pages = {183--197},
year = {1996}
}

%P. Frasconi, M. Gori, A. Sperduti, "A general framework for adaptive processing of data structures", IEEE Transactions on Neural Networks, vol. 9, no. 5, pp. 768-786, September 1998.

%A. Sperduti, A. Starita, "Supervised neural networks for the classification of structures", IEEE Transactions on Neural Networks, vol. 8, pp. 429-459, 1997.

%A recursive neural network model for processing directed acyclic graphs with labeled edges M Gori, M Maggini, L Sarti - Neural Networks, 2003

@article{Ake78,
  author = "S. B. Akers",
  title = "Binary decision diagrams",
  journal = "{IEEE} Transactions on Computers",
  volume = "C-27",
  year = 1978,
  pages = "509--516"
}

@article{Bry86,
  author = "R. E. Bryant",
  title = "Graph-based algorithms for boolean function manipulation",
  journal = "{IEEE} Transactions on Computers",
  volume = "C-35",
  year = 1986,
  pages = "677-691"
}

@book{wegener2000branching,
  title={Branching programs and binary decision diagrams: theory and applications},
  author={Wegener, I.},
  isbn={9780898714586},
  lccn={lc00035749},
  series={SIAM monographs on discrete mathematics and applications},
  year={2000},
  publisher={Society for Industrial and Applied Mathematics}
}
%  url={http://books.google.com/books?id=-DZjVz9E4f8C},

@book{BeCiHoHo2016,
title = {{Decision Diagrams for Optimization}},
author = {Bergman, D. and Cire, A. A. and van Hoeve, W.-J. and Hooker, J. N.},
publisher = {Springer},
year = {2016}
}

@inproceedings{LalLopLioVra2010,
author = {Arnaud Lallouet and
          Matthieu Lopez and
          Lionel Marti and
          Christel Vrain},
title = {{On learning constraint problems}},
booktitle = {Proceedings of IJCAI}, 
pages = {45--52}, 
year = {2010}
}

@article{BeKoLaSu2017,
author = {Bessiere, C. and Koriche, F. and Lazaar, N. and O’Sullivan, B.},
title = {Constraint acquisition},
journal = {Artificial Intelligence}, 
volume = {244},
pages = {315--342},
year = {2017}
}

@inproceedings{AdBeEzLa2018,
author = {Addi, H. A. and Bessiere, C. and Ezzahir, R. and Lazaar, N.},
title = {{Time-Bounded Query Generator for Constraint Acquisition}},
booktitle = {Proceedings of CPAIOR},
year = {2018},
pages = {1--17},
publisher = {Springer},
volume = {10848},
series = {LNCS}
}

@inproceedings{Coletta2004,
author = {Coletta, R. and Bessiere, C. and O’Sullivan, B. and Freuder, E. C. and O’Connell, S. and Quinqueton, J.},
year = {2004}, 
title = {{Constraint Acquisition as Semi-Automatic Modeling}},
editor = {Coenen, F. and Preece, A. and Macintosh, A.},
booktitle = {{Research and Development in Intelligent Systems XX. SGAI 2003}},
publisher = {Springer},
pages ={111--124}
}

@inproceedings{BelSim2012,
author = {Nicolas Beldiceanu and Helmut Simonis},
title = {{A Model Seeker: Extracting Global Constraint Models from Positive Examples}},
booktitle = {Proceedings of CP},
year = {2012},
pages = {141--157},
volume = {7514},
series = {LNCS},
publisher = {Springer}
}

@article{LomGua2016,
author = {Michele Lombardi and Stefano Gualandi},
title = {A lagrangian propagator for artificial neural networks in constraint programming},
journal = {Constraints},
volume = {21},
number = {4},
pages = {435--462},
year = {2016}
}

@article{Selsam2018LearningAS,
  title={Learning a SAT Solver from Single-Bit Supervision},
  author={Daniel Selsam and Matthew Lamm and Benedikt B{\"u}nz and Percy Liang and Leonardo de Moura and David L. Dill},
  journal={CoRR},
  year={2018},
  volume={abs/1802.03685}
}

@article{Shi2018FrAngelCS,
  title={FrAngel: Component-Based Synthesis with Control Structures},
  author={Kensen Shi and Jacob Steinhardt and Percy Liang},
  journal={CoRR},
  year={2018},
  volume={abs/1811.05175}
}

@inproceedings{Guu2017FromLT,
  title={From Language to Programs: Bridging Reinforcement Learning and Maximum Marginal Likelihood},
  author={Kelvin Guu and Panupong Pasupat and Evan Zheran Liu and Percy Liang},
  booktitle={ACL},
  year={2017}
}

@article{LalLeg2007,
author = {Arnaud Lallouet and Andrei Legtchenko},
title = {{Building Consistencies for Partially Defined Constraints with Decision Trees and Neural Networks}},
journal = {{International Journal on Artificial Intelligence Tools}},
volume = {16},
number = {4},
pages = {683--706},
year = {2007}
}

@inproceedings{Sutskever2014sequence,
 author = {Sutskever, Ilya and Vinyals, Oriol and Le, Quoc V.},
 title = {Sequence to Sequence Learning with Neural Networks},
 booktitle = {Proceedings of the 27th International Conference on Neural Information Processing Systems - Volume 2},
 series = {NIPS'14},
 year = {2014},
 pages = {3104--3112},
 numpages = {9},
} 

@article{wang2013protein,
  title={Protein structure alignment beyond spatial proximity},
  author={Wang, Sheng and Ma, Jianzhu and Peng, Jian and Xu, Jinbo},
  journal={Scientific reports},
  volume={3},
  pages={1448},
  year={2013},
  publisher={Nature Publishing Group}
}

@article{wu2020deep,
  title={Deep Template-based Protein Structure Prediction},
  author={Wu, Fandi and Xu, Jinbo},
  journal={bioRxiv},
  year={2020},
  publisher={Cold Spring Harbor Laboratory}
}

@article{soding2005protein,
  title={Protein homology detection by HMM--HMM comparison},
  author={S{\"o}ding, Johannes},
  journal={Bioinformatics},
  volume={21},
  number={7},
  pages={951--960},
  year={2005},
  publisher={Oxford University Press}
}

@inproceedings{Goodfellow2014GAN,
 author = {Goodfellow, Ian J. and Pouget-Abadie, Jean and Mirza, Mehdi and Xu, Bing and Warde-Farley, David and Ozair, Sherjil and Courville, Aaron and Bengio, Yoshua},
 title = {Generative Adversarial Nets},
 booktitle = {Proceedings of the 27th International Conference on Neural Information Processing Systems - Volume 2},
 series = {NIPS'14},
 year = {2014},
 pages = {2672--2680},
}  

@article{rychlewski2000comparison,
  title={Comparison of sequence profiles. Strategies for structural predictions using sequence information},
  author={Rychlewski, Leszek and Li, Weizhong and Jaroszewski, Lukasz and Godzik, Adam},
  journal={Protein Science},
  volume={9},
  number={2},
  pages={232--241},
  year={2000},
  publisher={Wiley Online Library}
}

@article{ma2014mrfalign,
  title={MRFalign: protein homology detection through alignment of Markov random fields},
  author={Ma, Jianzhu and Wang, Sheng and Wang, Zhiyong and Xu, Jinbo},
  journal={PLoS Comput Biol},
  volume={10},
  number={3},
  pages={e1003500},
  year={2014},
  publisher={Public Library of Science}
}

@incollection{Bistra2017LearningComb,
title = {Learning Combinatorial Optimization Algorithms over Graphs},
author = {Khalil, Elias and Dai, Hanjun and Zhang, Yuyu and Dilkina, Bistra and Song, Le},
booktitle = {Advances in Neural Information Processing Systems},
pages = {6348--6358},
year = {2017}
}

@incollection{Vinyals2015Pointer,
title = {Pointer Networks},
author = {Vinyals, Oriol and Fortunato, Meire and Jaitly, Navdeep},
booktitle = {Advances in Neural Information Processing Systems},
editor = {C. Cortes and N. D. Lawrence and D. D. Lee and M. Sugiyama and R. Garnett},
pages = {2692--2700},
year = {2015},
}

@article{Bello16CombRL,
  author    = {Irwan Bello and
               Hieu Pham and
               Quoc V. Le and
               Mohammad Norouzi and
               Samy Bengio},
  title     = {Neural Combinatorial Optimization with Reinforcement Learning},
  journal   = {CoRR},
  volume    = {abs/1611.09940},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.09940},
}

@article{GravesWRHDGCGRA16NTM,
  author    = {Alex Graves and
               Greg Wayne and
               Malcolm Reynolds and
               Tim Harley and
               Ivo Danihelka and
               Agnieszka Grabska{-}Barwinska and
               Sergio Gomez Colmenarejo and
               Edward Grefenstette and
               Tiago Ramalho and
               John Agapiou and
               Adri{\`{a}} Puigdom{\`{e}}nech Badia and
               Karl Moritz Hermann and
               Yori Zwols and
               Georg Ostrovski and
               Adam Cain and
               Helen King and
               Christopher Summerfield and
               Phil Blunsom and
               Koray Kavukcuoglu and
               Demis Hassabis},
  title     = {Hybrid computing using a neural network with dynamic external memory},
  journal   = {Nature},
  volume    = {538},
  number    = {7626},
  pages     = {471--476},
  year      = {2016},
}

@article{wang2019satnet,
  title={SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver},
  author={Wang, Po-Wei and Donti, Priya L and Wilder, Bryan and Kolter, Zico},
  journal={arXiv preprint arXiv:1905.12149},
  year={2019}
}


@inproceedings{kingma2018glow,
  title={Glow: Generative flow with invertible 1x1 convolutions},
  author={Kingma, Durk P and Dhariwal, Prafulla},
  booktitle={Advances in neural information processing systems},
  pages={10215--10224},
  year={2018}
}

@inproceedings{prenger2019waveglow,
  title={Waveglow: A flow-based generative network for speech synthesis},
  author={Prenger, Ryan and Valle, Rafael and Catanzaro, Bryan},
  booktitle={ICASSP 2019-2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)},
  pages={3617--3621},
  year={2019},
  organization={IEEE}
}

@inproceedings{grover2019graphite,
  title={Graphite: Iterative generative modeling of graphs},
  author={Grover, Aditya and Zweig, Aaron and Ermon, Stefano},
  booktitle={International conference on machine learning},
  pages={2434--2444},
  year={2019},
  organization={PMLR}
}

@article{zhou2018graph,
  title={Graph neural networks: A review of methods and applications},
  author={Zhou, Jie and Cui, Ganqu and Zhang, Zhengyan and Yang, Cheng and Liu, Zhiyuan and Wang, Lifeng and Li, Changcheng and Sun, Maosong},
  journal={arXiv preprint arXiv:1812.08434},
  year={2018}
}

@InProceedings{kusner17GrammarVAE,
  title = 	 {Grammar Variational Autoencoder},
  author = 	 {Matt J. Kusner and Brooks Paige and Jos{\'e} Miguel Hern{\'a}ndez-Lobato},
  booktitle = 	 {Proceedings of the 34th International Conference on Machine Learning},
  pages = 	 {1945--1954},
  year = 	 {2017},
  volume = 	 {70},
}

@inproceedings{Jin2018JunctionTV,
  title={Junction Tree Variational Autoencoder for Molecular Graph Generation},
  author={Wengong Jin and Regina Barzilay and Tommi S. Jaakkola},
  booktitle={ICML},
  year={2018}
}

@article{Dai2018SyntaxDirectedVA,
  title={Syntax-Directed Variational Autoencoder for Structured Data},
  author={Hanjun Dai and Yingtao Tian and Bo Dai and Steven Skiena and Le Song},
  journal={CoRR},
  year={2018},
  volume={abs/1802.08786}
}


@InProceedings{Hu17ControlledTextGen,
  title = 	 {Toward Controlled Generation of Text},
  author = 	 {Zhiting Hu and Zichao Yang and Xiaodan Liang and Ruslan Salakhutdinov and Eric P. Xing},
  booktitle = 	 {Proceedings of the 34th International Conference on Machine Learning},
  pages = 	 {1587--1596},
  year = 	 {2017},
  volume = 	 {70},
}

@article{Hu2018DeepGM,
  title={Deep Generative Models with Learnable Knowledge Constraints},
  author={Zhiting Hu and Zichao Yang and Ruslan Salakhutdinov and Xiaodan Liang and Lianhui Qin and Haoye Dong and Eric Xing},
  journal={CoRR},
  year={2018},
  volume={abs/1806.09764}
}

@article{Brock2018LargeSG,
  title={Large Scale GAN Training for High Fidelity Natural Image Synthesis},
  author={Andrew Brock and Jeff Donahue and Karen Simonyan},
  journal={CoRR},
  year={2018},
  volume={abs/1809.11096}
}

@article{Radford2015UnsupervisedRL,
  title={Unsupervised Representation Learning with Deep Convolutional Generative Adversarial Networks},
  author={Alec Radford and Luke Metz and Soumith Chintala},
  journal={CoRR},
  year={2015},
  volume={abs/1511.06434}
}

@inproceedings{AnHaHoTi2007,
author = {Andersen, H. R. and Hadzic, T. and Hooker, J. N. and Tiedemann, P.},
title = {{A Constraint Store Based on Multivalued Decision Diagrams}},
booktitle = {Proceedings of CP},
year = {2007},
pages = {118--132},
series = {LNCS},
volume = {4741},
publisher = {Springer}
}

@inproceedings{fan2020BPChainCD,
  title={Contrastive Divergence Learning with Chained Belief Propagation},
  author={Fan, Ding and Yexiang Xue},
  booktitle={International Conference on Probabilistic Graphical Models},
  year={2020}
}

@article{ding2019towards,
  title={Towards Efficient Discrete Integration via Adaptive Quantile Queries},
  author={Ding, Fan and Wang, Hanjing and Sabharwal, Ashish and Xue, Yexiang},
  journal={arXiv preprint arXiv:1910.05811},
  year={2019}
}

@article{Selman1996GeneratingHS,
  title={Generating Hard Satisfiability Problems},
  author={Bart Selman and David G. Mitchell and Hector J. Levesque},
  journal={Artif. Intell.},
  year={1996},
  volume={81},
  pages={17-29}
}
@inproceedings{Chakraborty2014DistributionAwareSA,
  title={Distribution-Aware Sampling and Weighted Model Counting for SAT},
  author={Supratik Chakraborty and Daniel J. Fremont and Kuldeep S. Meel and Sanjit A. Seshia and Moshe Y. Vardi},
  booktitle={AAAI},
  year={2014}
}

@inproceedings{Soos2009ExtendingSS,
  title={Extending SAT Solvers to Cryptographic Problems},
  author={Mate Soos and Karsten Nohl and Claude Castelluccia},
  booktitle={SAT},
  year={2009}
}

@article{ziukov2016literature,
  title={A literature review on models of inventory management under uncertainty},
  author={Ziukov, Serhii},
  year={2016}
}

@inproceedings{Inman2013DevelopingPF,
  title={Developing priorities for metapopulation conservation at the landscape scale: Wolverines in the Western United States},
  author={Robert M. Inman and Brent L. Brock and Kristine H. Inman and Shawn S. Sartorius and Bryan C. Aber and Brian Giddings and Steven L. Cain and Mark L. Orme and Jay A. Fredrick and Bob J. Oakleaf and Kurt Alt and Eric A. Odell and Guillaume Chapron},
  year={2013}
}

@article{McClure2016ConnectingMT,
  title={Connecting models to movements: testing connectivity model predictions against empirical migration and dispersal data},
  author={Meredith L McClure and Andrew J. Hansen and Robert M. Inman},
  journal={Landscape Ecology},
  year={2016},
  volume={31},
  pages={1419-1432}
}
