text:
@misc{openmlcc18,
      title={OpenML Benchmarking Suites},
      author={Bernd Bischl and Giuseppe Casalicchio and Matthias Feurer and Frank Hutter and Michel Lang and Rafael G. Mantovani and Jan N. van Rijn and Joaquin Vanschoren},
      year={2019},
      eprint={1708.03731},
      archivePrefix={arXiv},
      primaryClass={stat.ML}
}

@article{pymfe2020,
  author  = {Edesio Alcobaça and
             Felipe Siqueira and
             Adriano Rivolli and
             Luís P. F. Garcia and
             Jefferson T. Oliva and
             André C. P. L. F. de Carvalho
  },
  title   = {MFE: Towards reproducible meta-feature extraction},
  journal = {Journal of Machine Learning Research},
  year    = {2020},
  volume  = {21},
  number  = {111},
  pages   = {1-5},
  url     = {http://jmlr.org/papers/v21/19-348.html}
}

@inproceedings{langley00,
 author    = {P. Langley},
 title     = {Crafting Papers on Machine Learning},
 year      = {2000},
 pages     = {1207--1216},
 editor    = {Pat Langley},
 booktitle     = {Proceedings of the 17th International Conference
              on Machine Learning (ICML 2000)},
 address   = {Stanford, CA},
 publisher = {Morgan Kaufmann}
}

@TechReport{mitchell80,
  author = 	 "T. M. Mitchell",
  title = 	 "The Need for Biases in Learning Generalizations",
  institution =  "Computer Science Department, Rutgers University",
  year = 	 "1980",
  address =	 "New Brunswick, MA",
}

@phdthesis{kearns89,
  author = {M. J. Kearns},
  title =  {Computational Complexity of Machine Learning},
  school = {Department of Computer Science, Harvard University},
  year =   {1989}
}

@Book{MachineLearningI,
  editor = 	 "R. S. Michalski and J. G. Carbonell and T.
		  M. Mitchell",
  title = 	 "Machine Learning: An Artificial Intelligence
		  Approach, Vol. I",
  publisher = 	 "Tioga",
  year = 	 "1983",
  address =	 "Palo Alto, CA"
}

@Book{DudaHart2nd,
  author =       "R. O. Duda and P. E. Hart and D. G. Stork",
  title =        "Pattern Classification",
  publisher =    "John Wiley and Sons",
  edition =      "2nd",
  year =         "2000"
}

@misc{anonymous,
  title= {Suppressed for Anonymity},
  author= {Author, N. N.},
  year= {2018}
}

@InCollection{Newell81,
  author =       "A. Newell and P. S. Rosenbloom",
  title =        "Mechanisms of Skill Acquisition and the Law of
                  Practice",
  booktitle =    "Cognitive Skills and Their Acquisition",
  pages =        "1--51",
  publisher =    "Lawrence Erlbaum Associates, Inc.",
  year =         "1981",
  editor =       "J. R. Anderson",
  chapter =      "1",
  address =      "Hillsdale, NJ"
}

@Article{Samuel59,
  author = 	 "A. L. Samuel",
  title = 	 "Some Studies in Machine Learning Using the Game of
		  Checkers",
  journal =	 "IBM Journal of Research and Development",
  year =	 "1959",
  volume =	 "3",
  number =	 "3",
  pages =	 "211--229"
}
%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/

%% Created for Paulito Palmes at 2020-05-29 08:51:00 +0100

%% Saved with string encoding Unicode (UTF-8)

@book{unix84,
  author = {Kernighan, Brian W. and Pike, Rob},
  isbn = {013937681},
  publisher = {Prentice-Hall},
  title = {The {UNIX} Programming Environment},
  url = {http://www.worldcat.org/isbn/013937681},
  year = 1984
}

@Article{lale,
  author = "Hirzel, Martin and Kate, Kiran and Shinnar, Avraham and Roy, Subhrajit and Ram, Parikshit",
  title = "Type-Driven Automated Learning with {Lale}",
  journal = "CoRR",
  volume = "abs/1906.03957",
  year = 2019,
  month = may,
  url = "https://arxiv.org/abs/1906.03957" }

@misc{anthony_blaom_2019_3541506,
  author       = {Anthony Blaom and
                  Franz Kiraly and
                  Thibaut Lienart and
                  Sebastian Vollmer},
  title        = {alan-turing-institute/MLJ.jl: v0.5.3},
  month        = nov,
  year         = 2019,
  publisher    = {Zenodo},
  version      = {v0.5.3},
  doi          = {10.5281/zenodo.3541506},
  url          = {https://doi.org/10.5281/zenodo.3541506}
}

@misc{rcall,
	Author = {Douglas Bates and Randy Lai and Simon Byrne},
	Howpublished = {\url{https://github.com/JuliaInterop/RCall.jl}},
	Journal = {GitHub repository},
	Publisher = {GitHub},
	Title = {{RCall}: Call R from Julia},
	Year = {2015}}

@misc{pycall,
	Author = {Steven G. Johnson},
	Howpublished = {\url{https://github.com/JuliaPy/PyCall.jl}},
	Journal = {GitHub repository},
	Publisher = {GitHub},
	Title = {{PyCall}: Calling Python functions from the Julia language},
	Year = {2013}}

@Manual{r13,
    title = {R: A Language and Environment for Statistical Computing},
    author = {{R Core Team}},
    organization = {R Foundation for Statistical Computing},
    address = {Vienna, Austria},
    year = {2013},
    url = {http://www.R-project.org/},
  }

@book{python95,
  title={Python reference manual},
  author={Van Rossum, Guido and Drake Jr, Fred L},
  year={1995},
  publisher={Centrum voor Wiskunde en Informatica Amsterdam}
}

@article{caret2008,
   author = {Max Kuhn},
   title = {Building Predictive Models in R Using the caret Package},
   journal = {Journal of Statistical Software, Articles},
   volume = {28},
   number = {5},
   year = {2008},
   keywords = {},
   abstract = {The caret package, short for classification and regression training, contains numerous tools for developing predictive models using the rich set of models available in R. The package focuses on simplifying model training and tuning across a wide variety of modeling techniques. It also includes methods for pre-processing training data, calculating variable importance, and model visualizations. An example from computational chemistry is used to illustrate the functionality on a real data set and to benchmark the benefits of parallel processing with several types of models.},
   issn = {1548-7660},
   pages = {1--26},
   doi = {10.18637/jss.v028.i05},
   url = {https://www.jstatsoft.org/v028/i05}
}

@inproceedings{avatar2020,
	Author = {Tien-Dung Nguyen and Tomasz Maszczyk and  Katarzyna Musial and Marc-Andre Z{\"o}ller and Bogdan Gabrys},
	Booktitle = {Advances in Intelligent Data Analysis XVIII},
	Date-Added = {2020-05-29 08:38:02 +0100},
	Date-Modified = {2020-05-29 08:50:59 +0100},
	Pages = {352--365},
	Publisher = {Springer International Publishing},
	Title = {AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model},
	Year = {2020}}

@article{anderson1953,
	Author = {Richard Loree Anderson},
	Date-Added = {2020-05-27 23:07:25 +0100},
	Date-Modified = {2020-05-27 23:09:01 +0100},
	Journal = {Journal of the American Statistical Association},
	Number = {264},
	Pages = {789--798},
	Title = {Recent Advances in Finding Best Operating Conditions},
	Volume = {48},
	Year = {1953}}

@article{atm2017,
	Author = {Thomas Swearingen and Will Drevo and Bennett Cyphers and Alfredo Cuesta-Infante and Arun Ross and Kalyan Veeramachaneni},
	Date-Added = {2020-05-27 23:02:44 +0100},
	Date-Modified = {2020-05-27 23:04:48 +0100},
	Journal = {IEEE International Conference on Big Data},
	Pages = {151--162},
	Title = {ATM: A distributed, collaborative, scalable system for automated machine learning},
	Year = {2017}}

@misc{zoller2019,
	Author = {M.A. Zoller and M. F. Huber},
	Date-Added = {2020-05-27 12:30:16 +0100},
	Date-Modified = {2020-05-27 12:39:35 +0100},
	Howpublished = {\url{https://arxiv.org/pdf/1904.12054.pdf}},
	Journal = {Journal of Machine Learning Research},
	Month = {4},
	Title = {Survey on Automated Machine Learning},
	Year = {2019}}

@misc{profb2014,
	Author = {Stern, H. and Lock, R},
	Date-Added = {2020-05-27 08:50:06 +0100},
	Date-Modified = {2020-05-27 08:59:39 +0100},
	Howpublished = {\url{http://lib.stat.cmu.edu/datasets/profb}},
	Title = {Pro Football Scores},
	Year = {2014}}

@article{bezanson2017julia,
	Author = {Bezanson, Jeff and Edelman, Alan and Karpinski, Stefan and Shah, Viral B},
	Doi = {10.1137/141000671},
	Journal = {SIAM review},
	Number = {1},
	Pages = {65--98},
	Publisher = {SIAM},
	Title = {Julia: A fresh approach to numerical computing},
	Url = {https://doi.org/10.1137/141000671},
	Volume = {59},
	Year = {2017},
	Bdsk-Url-1 = {https://doi.org/10.1137/141000671}}

@article{Moore1990,
	Author = {Moore, James T. and Bard, Jonathan F.},
	Doi = {10.1287/opre.38.5.911},
	Issn = {0030-364X},
	Journal = {Operations Research},
	Keywords = {games: noncooperative,integer: branch-and-bound algorithms,programming},
	Mendeley-Groups = {bilevel - hierarchical},
	Month = {oct},
	Number = {5},
	Pages = {911--921},
	Publisher = {INFORMS},
	Title = {{The Mixed Integer Linear Bilevel Programming Problem}},
	Url = {http://pubsonline.informs.org/doi/abs/10.1287/opre.38.5.911},
	Volume = {38},
	Year = {1990},
	Bdsk-Url-1 = {http://pubsonline.informs.org/doi/abs/10.1287/opre.38.5.911},
	Bdsk-Url-2 = {https://doi.org/10.1287/opre.38.5.911}}

@misc{orchestra2014,
	Author = {Jenkins, S.},
	Commit = {1d01e4b94e08fa19ec0ce41f0d0a1bdc4516bd4f},
	Howpublished = {\url{https://github.com/svs14/Orchestra.jl}},
	Journal = {GitHub repository},
	Publisher = {GitHub},
	Title = {Orchestra: Heterogeneous ensemble learning for Julia},
	Year = {2014}}

@misc{combineml2016,
	Author = {Palmes, P.},
	Commit = {a94fd31f15df1a7eff1e1fdc2a067c67666c3654},
	Doi = {10.5281/zenodo.3385904},
	Howpublished = {\url{https://github.com/ppalmes/CombineML.jl}},
	Journal = {GitHub repository},
	Publisher = {GitHub},
	Title = {{CombineML}: A Package to Create Heterogeneous Ensembles of {ML} from {ScikitLearn}, {Caret}, and {Julia}},
	Url = {https://zenodo.org/badge/latestdoi/83453995},
	Year = {2016},
	Bdsk-Url-1 = {https://zenodo.org/badge/latestdoi/83453995},
	Bdsk-Url-2 = {https://doi.org/10.5281/zenodo.3385904}}

@misc{tsml2019,
	Author = {Palmes, P.},
	Howpublished = {\url{https://github.com/IBM/TSML.jl}},
	Journal = {GitHub repository},
	Publisher = {GitHub},
	Title = {{TSML}: Time Series Machine Learning},
	Year = {2019}}

@misc{amlp2020,
	Author = {P. Palmes and A. Kishimoto, and R. Marinescu and P. Ram and E. Daly},
	Date-Modified = {2020-05-27 12:29:48 +0100},
	Howpublished = {\url{https://github.com/IBM/AutoMLPipeline.jl}},
	Journal = {GitHub repository},
	Publisher = {GitHub},
	Title = {AutoMLPipeline (AMLP)},
	Year = {2020}}

@misc{decisiontree2008,
	Author = {Sadeghi, B and Coelho, L.P.},
	Howpublished = {\url{https://github.com/bensadeghi/DecisionTree.jl}},
	Journal = {GitHub repository},
	Publisher = {GitHub},
	Title = {DecisionTree: Julia implementation of Decision Tree and Random Forest algorithms},
	Year = {2019}}

@misc{tsmlextra2019,
	Author = {Palmes, P.},
	Howpublished = {\url{https://github.com/ppalmes/TSMLextra.jl}},
	Journal = {GitHub repository},
	Publisher = {GitHub},
	Title = {{TSMLextra}: External Machine Learning Libs for TSML},
	Year = {2019}}

@article{Breiman2001,
	Abstract = {Random forests are a combination of tree predictors such that each tree depends on the values of a random vector sampled independently and with the same distribution for all trees in the forest. The generalization error for forests converges a.s. to a limit as the number of trees in the forest becomes large. The generalization error of a forest of tree classifiers depends on the strength of the individual trees in the forest and the correlation between them. Using a random selection of features to split each node yields error rates that compare favorably to Adaboost (Y. Freund {\&} R. Schapire, Machine Learning: Proceedings of the Thirteenth International conference, ***, 148--156), but are more robust with respect to noise. Internal estimates monitor error, strength, and correlation and these are used to show the response to increasing the number of features used in the splitting. Internal estimates are also used to measure variable importance. These ideas are also applicable to regression.},
	Author = {Breiman, Leo},
	Day = {01},
	Doi = {10.1023/A:1010933404324},
	Issn = {1573-0565},
	Journal = {Machine Learning},
	Month = {Oct},
	Number = {1},
	Pages = {5--32},
	Title = {Random Forests},
	Url = {https://doi.org/10.1023/A:1010933404324},
	Volume = {45},
	Year = {2001},
	Bdsk-Url-1 = {https://doi.org/10.1023/A:1010933404324}}

@inproceedings{segovia2017,
	Author = {J. Segovia-Aguas and S. Jimenez and A. Jonsson},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Pages = {4391-4397},
	Title = {Generating context-free grammars using classical planning},
	Year = {2017}}

@article{pedregosa2011,
	Author = {F. Pedregosa and G. Varoquaux and A. Gramfort},
	Journal = {Journal of Machine Learning Research},
	Number = {1},
	Pages = {2825--2830},
	Title = {Scikit-learn: Machine learning in Python},
	Volume = {12},
	Year = {2011}}

@article{bergstra2012,
	Author = {J. Bergstra and Y. Bengio},
	Journal = {Journal of Machine Learning Research},
	Number = {1},
	Pages = {281-305},
	Title = {Random Search for Hyper-Parameter Optimization},
	Volume = {13},
	Year = {2012}}

@article{munoz2018,
	Author = {M. A. Munoz and L. Villanova and D. Baatar and K. Smith-Miles},
	Journal = {Machine Learning},
	Number = {1},
	Pages = {109-147},
	Title = {Instance spaces for machine learning classification},
	Volume = {107},
	Year = {2018}}

@inproceedings{ho1995,
	Author = {T.K. Ho},
	Booktitle = {International Conference on Document Analysis and Recognition},
	Pages = {278-282},
	Title = {Random Decision Forests},
	Year = {1995}}

@article{lale2019,
	Archiveprefix = {arXiv},
	Author = {Martin Hirzel and Kiran Kate and Avraham Shinnar and Subhrajit Roy and Parikshit Ram},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/journals/corr/abs-1906-03957.bib},
	Eprint = {1906.03957},
	Journal = {CoRR},
	Timestamp = {Fri, 14 Jun 2019 09:38:24 +0200},
	Title = {Type-Driven Automated Learning with Lale},
	Url = {http://arxiv.org/abs/1906.03957},
	Volume = {abs/1906.03957},
	Year = {2019},
	Bdsk-Url-1 = {http://arxiv.org/abs/1906.03957}}

@article{openml,
	Author = {J. Vanschoren and J.N. van Rijn and B. Bischl and L. Torgo},
	Journal = {SIGKDD Expl.},
	Number = {2},
	Pages = {49-60},
	Title = {OpenML: Networked Science in Machine Learning},
	Volume = {15},
	Year = {2013}}

@inproceedings{guyon2015,
	Author = {I. Guyon and K. Bennett and G. Cawley},
	Booktitle = {IJCNN},
	Pages = {1-8},
	Title = {Design of the 2015 Chalearn AutoML challenge},
	Year = {2015}}

@inproceedings{guyon2018,
	Author = {I. Guyon and W.-W. Tu},
	Booktitle = {PAKDD 2018 Data Competition},
	Title = {Automatic Machine Learning Challenge 2018: Towards AI for Everyone},
	Year = {2018}}

@inproceedings{liu2020admm,
	Author = {S. Liu and P. Ram and D. Vijaykeerthy and D. Bouneffouf and G. Bramble and H. Samulowitz and D. Wang and A. Conn and A. Gray},
	Booktitle = {Association for the Advancement of Artificial Intelligence (AAAI)},
	Title = {An ADMM Based Framework for AutoML Pipeline Configuration},
	Year = {2020}}

@inproceedings{chen2018,
	Author = {B. Chen and H. Wu and W. Mo and I. Chattopadhyay and H. Lipson},
	Booktitle = {Genetic and Evolutionary Computation Conference (GECO)},
	Pages = {402--409},
	Title = {Autostacker: A compositional evolutionary learning system.},
	Year = {2018}}

@inproceedings{drori2018,
	Author = {I. Drori and Y. Krishnamurthy and R. Rampin and R. de Paula Lourenco and J. Ono and K. Cho and C. Silva and J. Freire},
	Booktitle = {Workshop on AutoML (ICML)},
	Title = {Alphad3m: Machine learning pipeline synthesis},
	Year = {2018}}

@inproceedings{mosaic2019,
	Author = {H. Rakotoarison and M. Schoenauer and M. Sebag},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Title = {Automated Machine Learning with Monte-Carlo Tree Search},
	Year = {2019}}

@inproceedings{feurer2015askl,
	Author = {M. Feurer and A. Klein and K. Eggensperger and J. Springenberg and M. Blum and F. Hutter},
	Booktitle = {Advances in Neural Information Processing Systems},
	Pages = {2962--2970},
	Title = {Efficient and robust automated machine learning},
	Year = {2015}}

@inproceedings{hutter2011smac,
	Author = {F. Hutter and H. Hoos and K. Leyton-Brown},
	Booktitle = {International Conference on Learning and Intelligent Optimization (LION)},
	Pages = {507--523},
	Title = {Sequential model-based optimization for general algorithm configuration},
	Year = {2011}}

@article{kotthoff2017,
	Author = {L. Kotthoff and C. Thornton and H. Hoos and F. Hutter and K. Leyton-Brown},
	Journal = {J. Mach. Learn. Res.},
	Number = {1},
	Pages = {826--830},
	Title = {Auto-weka 2.0: Automatic model selection and hyperparameter optimization in weka},
	Volume = {18},
	Year = {2017}}

@inproceedings{thornton2012,
	Author = {C. Thornton and H. Hoos and F. Hutter and K. Leyton-Brown},
	Booktitle = {CoRR, abs/1208.3719},
	Title = {Auto-weka: Automated selection and hyper-parameter optimization of classification algorithms},
	Year = {2012}}

@inproceedings{tpot2016,
	Author = {R. Olson and N. Bartley and R. Urbanowicz and J. Moore},
	Booktitle = {Genetic and Evolutionary Computation Conference (GECO)},
	Pages = {485--492},
	Title = {Evaluation of a Tree-based Pipeline Optimization Tool for Automating Data Science},
	Year = {2016}}

@inproceedings{recipe2017grammar,
	Author = {A. de Sa and W. Pinto and L. Oliveira and G. Pappa},
	Booktitle = {European Conference on Genetic Programming (EuroGP)},
	Pages = {246-261},
	Title = {RECIPE: A Grammar-Based Framework for Automatically Evolving Classification Pipelines},
	Year = {2017}}

@inproceedings{marinescu2013moopt,
	Author = {R. Marinescu and A. Razak and N. Wilson},
	Booktitle = {International Conference on Principles and Practice of Constraint Programming (CP)},
	Pages = {497--512},
	Title = {Multi-objective constraint optimization with tradeoffs},
	Year = {2013}}

@inproceedings{marinescu-UAI2012,
	Author = {R. Marinescu and A. Razak and N. Wilson},
	Booktitle = {Proceesings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI)},
	Pages = {574--583},
	Title = {Multi-objective Influence Diagrams},
	Year = {2012}}

@inproceedings{bergstra2011nips,
	Author = {J. S. Bergstra and R. Bardenet and Y. Bengio and B. Kegl},
	Booktitle = {Advances in Neural Information Processing Systems (NIPS)},
	Pages = {2546--2554},
	Title = {Algorithms for Hyper-Parameter Optimization},
	Year = {2011}}

@article{li2017hyperband,
	Author = {L. Li and K. Jamieson and G. DeSalvo},
	Journal = {Journal of Machine Learning Research},
	Number = {1},
	Pages = {6765--6816},
	Title = {Hyperband: A novel bandit-based approach to hyperparameter optimization},
	Volume = {18},
	Year = {2017}}

@inproceedings{snoek2012,
	Author = {J. Snoek and H. Larochelle and R. Adams},
	Booktitle = {Advances in Neural Information Processing Systems (NIPS)},
	Pages = {2951--2959},
	Title = {Practical bayesian optimization of machine learning algorithms},
	Year = {2012}}

@inproceedings{snoek2015,
	Author = {J. Snoek and O. Rippel and K. Swersky},
	Booktitle = {International Conference on Machine Learning (ICML)},
	Pages = {2171--2180},
	Title = {Scalable Bayesian Optimization using Deep Neural Networks},
	Year = {2015}}

@article{mohr2018mlplan,
	Authors = {F. Mohr and M. Wever and E. Hullermeier},
	Journal = {Machine Learning},
	Number = {1},
	Pages = {1495--1515},
	Title = {ML-Plan: Automated machine learning via hierarchical planning},
	Volume = {107},
	Year = {2018}}

@inproceedings{mohr2018mlplanul,
	Authors = {M. Wever and F. Mohr and E. Hullermeier},
	Booktitle = {AutoML Workshop (ICML)},
	Title = {ML-Plan for Unlimited-Length Machine Learning Pipelines},
	Year = {2018}}

@inproceedings{RaduNicUAI11,
	Author = {R. Marinescu and N. Wilson},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {489-496},
	Title = {Order-of-Magnitude Influence Diagrams},
	Year = {2011}}

@article{Goldszmidt-Pearl96,
	Author = {M. Goldszmidt and J. Pearl},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1016/0004-3702(95)00090-9},
	Journal = {Artificial Intelligence},
	Number = {1-2},
	Pages = {57-112},
	Title = {Qualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling},
	Volume = {84},
	Year = {1996}}

@book{PraletSV-book09,
	Author = {C. Pralet and T. Schiex and G. Verfaillie},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1848211740.html},
	Isbn = {978-1-84821-174-2},
	Pages = {I-XVI, 1-325},
	Publisher = {Wiley},
	Title = {Sequential Decision-Making Problems---Representation and Solution},
	Year = {2009}}

@book{Kohlas-book2003,
	Author = {J. Kohlas},
	Publisher = {Springer-Verlag},
	Title = {Information Algebras---Generic Structures for Inference},
	Year = {2003}}

@inproceedings{yuan2010,
	Author = {C. Yuan and X. Wu and E. Hansen},
	Booktitle = {Uncertainty in Artificial Intelligence},
	Title = {Solving multistage influence diagrams with branch-and-bound search},
	Year = {2010}}

@inproceedings{maua2011,
	Author = {D. Maua and C. de Campos},
	Booktitle = {Advances in Neural Information Processing Systems (NIPS)},
	Pages = {603--611},
	Title = {Solving Decision Problems with Limited Information},
	Year = {2011}}

@inproceedings{SheSha90,
	Author = {P. Shenoy and G. Shafer},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {575--610},
	Title = {Axioms for Probability and Belief Function Propagation},
	Year = 1990}

@inproceedings{ShenoyUAI88,
	Author = {P. Shenoy and G. Shafer},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {169-198},
	Title = {Axioms for probability and belief-function proagation},
	Year = {1988}}

@article{Shenoy00,
	Author = {P. Shenoy},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1016/S0377-2217(99)00055-7},
	Journal = {European Journal of Operational Research},
	Number = {3},
	Pages = {579-608},
	Title = {Valuation network representation and solution of asymmetric decision problems},
	Volume = {121},
	Year = {2000}}

@inproceedings{ChuHalpern03,
	Author = {F. Chu and J. Halpern},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Pages = {291-296},
	Title = {Great Expectations. {P}art {I}: On the Customizability of {G}eneralized {E}xpected {U}tility},
	Year = {2003}}

@inproceedings{PernySW05,
	Author = {P. Perny and O. Spanjaard and P. Weng},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Pages = {1372-1377},
	Title = {Algebraic {M}arkov {D}ecision {P}rocesses},
	Year = {2005}}

@inproceedings{GiangShenoy00,
	Author = {P.Giang and P. Shenoy},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {220-229},
	Title = {A Qualitative Linear Utility Theory for Spohn's Theory of Epistemic Beliefs},
	Year = {2000}}

@inproceedings{DeCampos-Ji-UAI-08,
	Author = {C. {de~Campos} and Q. Ji},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {121-128},
	Title = {Strategy Selection in Influence Diagrams using Imprecise Probabilities},
	Year = {2008}}

@article{FarRolWil2010,
	Author = {H. Fargier and E. Rollon and N. Wilson},
	Journal = {Constraints},
	Number = {4},
	Pages = {516-539},
	Title = {Enabling Local Computation for Partially Ordered Preferences},
	Volume = {15},
	Year = {2010}}

@article{Kikuti-AIJ11,
	Author = {D. Kikuti and F. Cozman and R. Filho},
	Journal = {Artificial Intelligence},
	Number = {7-8},
	Pages = {1346-1365},
	Title = {Sequential decision making with partially ordered preferences},
	Volume = {175},
	Year = 2011}

@article{Diehl-Haimes04,
	Author = {M. Diehl and Y. Haimes},
	Journal = {IEEE Transactions On Systems, Man, and Cybernetics Part A},
	Number = 3,
	Pages = {293--304},
	Title = {Influence Diagrams With Multiple Objectives and Tradeoff Analysis},
	Volume = 34,
	Year = 2004}

@inproceedings{Kikuti-Cozman-07,
	Author = {D. Kikuti and F. Cozman},
	Booktitle = {Proceedings of 3rd Multidisciplinary Workshop on Advances in Preference Handling},
	Pages = {1-7},
	Title = {Influence diagrams with partially ordered preferences},
	Year = {2007}}

@article{Lopez-DiazR07,
	Author = {M. L{\'o}pez-D\'{\i}az and L. Rodr\'{\i}guez-Mu{\~n}iz},
	Journal = {European Journal of Operational Research},
	Number = {1},
	Pages = {203-219},
	Title = {Influence diagrams with super value nodes involving imprecise information},
	Volume = {179},
	Year = {2007}}

@inproceedings{Zhou09,
	Author = {L. Zhou and W. Liu and L. Wang},
	Booktitle = {IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC)},
	Pages = {601-605},
	Title = {Influence Diagram Model with Interval-Valued Utilities},
	Year = {2009}}

@article{Wiecek2007,
	Author = {Wiecek, M.},
	Journal = {Decision Making in Manufacturing and Services},
	Number = {1-2},
	Pages = {153--173},
	Title = {Advances in cone-based preference modeling for decision making with multiple criteria},
	Volume = {1},
	Year = {2007}}

@article{Yu1974,
	Author = {Yu, P.},
	Journal = {Journal of Optimization Theory and Applications},
	Number = {3},
	Pages = {319--377},
	Publisher = {Springer},
	Title = {Cone convexity, cone extreme points, and nondominated solutions in decision problems with multiobjectives},
	Volume = {14},
	Year = {1974}}

@inproceedings{wilson-marinescu2012,
	Author = {N. Wilson and R. Marinescu},
	Booktitle = {International Conference on Principles of Knowledge Representation and Reasoning (KR)},
	Pages = {210-220},
	Title = {An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities},
	Year = {2012}}

@article{boutilier99,
	Author = {C. Boutilier and T. Dean and S. Hanks},
	Journal = {Journal of Artificial Intelligence Research (JAIR)},
	Number = {1},
	Pages = {1-94},
	Title = {Decision theoretic planning: {Structural} assumptions and computational leverage},
	Volume = {11},
	Year = {1999}}

@article{zheng2009,
	Author = {Y. Zheng and C. Chew},
	Journal = {IEEE Transactions on Robotics},
	Number = {6},
	Pages = {1397--1412},
	Title = {Distance between a point and a convex cone in n-dimensional space: computation and applications},
	Volume = {25},
	Year = {2009}}

@article{lopez07,
	Author = {M. Lopez-Diaz and L. Rodriquez-Muniz},
	Journal = {European Journal of Operational Research},
	Number = {1},
	Pages = {203-219},
	Title = {Influence diagrams with super value nodes involving imprecise information},
	Volume = {179},
	Year = {2007}}

@article{gonzales2011,
	Author = {C. Gonzales and P. Perny and J-P. Dubus},
	Journal = {Artificial Intelligence},
	Number = {1},
	Pages = {1153-1179},
	Title = {Decision making with multiple objectives using {GAI} networks},
	Volume = {175},
	Year = {2011}}

@article{kikuti2011,
	Author = {D. Kikuti and F. Cozman and R. Filho},
	Journal = {Artificial Intelligence, in press},
	Title = {Sequential decision making with partially ordered preferences},
	Year = {2011}}

@article{garcia08,
	Author = {L. Garcia and R. Sabbadin},
	Journal = {Artificial Intelligence},
	Number = {1},
	Pages = {1018-1044},
	Title = {Complexity results and algorithms for possibilistic influence diagrams},
	Volume = {172},
	Year = {2008}}

@article{spohn87,
	Author = {W. Spohn},
	Journal = {Causation in decision, belief change and statistics},
	Pages = {105--134},
	Title = {Ordinal conditional functions: a dynamic theory of epistemic states},
	Volume = {2},
	Year = {1987}}

@book{raiffa68,
	Author = {H. Raiffa},
	Publisher = {Addison-Wesley},
	Title = {Decision analysis},
	Year = {1968}}

@book{deb2001,
	Author = {K. Deb},
	Publisher = {Wiley},
	Title = {Multiobjective optimization using evolutionary algorithms},
	Year = {2001}}

@book{keeney93,
	Author = {R. Keeney and H. Raiffa},
	Publisher = {Cambridge University Press},
	Title = {Decisions with multiple objectives: preferences and value tradeoffs},
	Year = {1993}}

@book{roy96,
	Author = {B. Roy},
	Publisher = {Kluwer Academic Press},
	Title = {Multicriteria methodology for decision analysis},
	Year = {1996}}

@book{ehrgott99,
	Author = {M. Ehrgott},
	Publisher = {Springer},
	Title = {Multicriteria optimization},
	Year = {1999}}

@book{pralet09,
	Author = {C. Pralet and T. Schiex and G. Verfaillie},
	Publisher = {Wiley},
	Title = {Sequential decision making problems - representation and solution},
	Year = {2009}}

@inproceedings{wilson95,
	Author = {N. Wilson},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {548-555},
	Title = {An order of magnitude calculus},
	Year = {1995}}

@inproceedings{bonet02,
	Author = {B. Bonet and J. Pearl},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {61-68},
	Title = {Qualitative {MDP}s and {POMDP}s: an order-of-magnitude approximation},
	Year = {2002}}

@inproceedings{yuan2010,
	Author = {C. Yuan and X. Wu and E. Hansen},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Title = {Solving multistage influence diagrams with branch-and-bound search},
	Year = {2010}}

@inproceedings{shachter2007,
	Author = {D. Bhattacharjya and R. Shachter},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {9--16},
	Title = {Evaluating influence diagrams with decision circuits},
	Year = {2007}}

@inproceedings{darwiche94,
	Author = {A. Darwiche and M. Goldszmidt},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {145--153},
	Title = {On the relation between kappa calculus and probabilistic reasoning},
	Year = {1994}}

@article{tsaggouris09,
	Author = {G. Tsaggouris and C. Zaroliagis},
	Journal = {Theory of Computer Systems},
	Number = {1},
	Pages = {162--186},
	Title = {Multiobjective optimization: improved fptas for shortest paths and non-linear objectives with applications},
	Volume = {45},
	Year = {2009}}

@article{warburton87,
	Author = {A. Warburton},
	Journal = {Operations Research},
	Number = {1},
	Pages = {70--79},
	Title = {Approximation of {P}areto optima in multiple-objective shortest problems},
	Volume = {35},
	Year = {1987}}

@article{erlebach02,
	Author = {T. Erlebach and H. Kellerer and U. Pferschy},
	Journal = {Management Sciences},
	Number = {12},
	Pages = {1603--1612},
	Title = {Approximating multiobjective knapsack problems},
	Volume = {48},
	Year = {2002}}

@inproceedings{bazgan07,
	Author = {C. Bazgan and H. Hugot and D. Vanderpooten},
	Booktitle = {ESA},
	Pages = {717--728},
	Title = {A practical efficient fptas for the 0-1 multiobjective knapsack problem},
	Year = {2007}}

@inproceedings{perny08,
	Author = {P. Perny and O. Spanjaard},
	Booktitle = {ECAI},
	Pages = {490--494},
	Title = {Near admissible algorithms for multiobjective search},
	Year = {2008}}

@inproceedings{perny09,
	Author = {J-P. Dubus and C. Gonzales and P. Perny},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Pages = {1902--1907},
	Title = {Multiobjective optimization using {GAI} models},
	Year = {2009}}

@inproceedings{hansen80,
	Author = {P. Hansen},
	Booktitle = {Multicriteria Decision Making},
	Title = {Bicriterion path problems},
	Year = {1980}}

@inproceedings{papadimitriou00,
	Author = {C. Papadimitriou and M. Yannakakis},
	Booktitle = {IEEE Symposium on Foundations of Computer Science (FOCS)},
	Pages = {86--92},
	Title = {On the approximability of trade-offs and optimal access to web sources},
	Year = {2000}}

@article{loui83,
	Author = {R.P. Loui},
	Journal = {Communications of the ACM},
	Number = {9},
	Pages = {670--676},
	Title = {Optimal paths in graphs with stochastic or multidimensional weights},
	Volume = {26},
	Year = {1983}}

@article{marinescu-aij09a,
	Author = {R. Marinescu and R. Dechter},
	Journal = {Artificial Intelligence},
	Number = {16-17},
	Pages = {1457--1491},
	Title = {{AND/OR} Branch-and-Bound Search for Combinatorial Optimization in Graphical Models},
	Volume = {173},
	Year = {2009}}

@article{marinescu-aij09b,
	Author = {R. Marinescu and R. Dechter},
	Journal = {Artificial Intelligence},
	Number = {16-17},
	Pages = {1492--1524},
	Title = {Memory intensive {AND/OR} search for combinatorial optimization in graphical models},
	Volume = {173},
	Year = {2009}}

@article{liaw95,
	Author = {C. Liaw and B.S. Stewart and C.C. White},
	Journal = {IEEE Transactions on Systems, Man and Cybernetics},
	Number = {11},
	Pages = {1513--1521},
	Title = {Multiobjective heuristic search in {AND/OR} graphs},
	Volume = {25},
	Year = {1995}}

@article{white92,
	Author = {C.C. White and B.S. Stewart and R.L. Carraway},
	Journal = {European Journal of Operational Research},
	Number = {1},
	Pages = {357--363},
	Title = {Multiobjective, preference-based search in acyclic {OR}-graphs},
	Volume = {56},
	Year = {1992}}

@article{stewart91,
	Author = {B.S. Stewart and C.C. White},
	Journal = {Journal of ACM},
	Number = {4},
	Pages = {775--814},
	Title = {Multiobjective {A}*},
	Volume = {38},
	Year = {1991}}

@inproceedings{mandow07,
	Author = {L. Mandow and J.L. Perez de la Cruz},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Pages = {2340-2345},
	Title = {A Multiobjective frontier search algorithm},
	Year = {2007}}

@inproceedings{mandow05,
	Author = {L. Mandow and J.L. Perez de la Cruz},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Pages = {218-223},
	Title = {A New Approach to Multiobjective {A}* Search},
	Year = {2005}}

@article{dasgupta96,
	Author = {P. Dasgupta and P.P. Chakrabarti and S.C. DeSarkar},
	Journal = {Journal of Algorithms},
	Pages = {282-311},
	Title = {Multiobjective heuristic search in {AND/OR} graphs},
	Volume = {20},
	Year = {1996}}

@inproceedings{marinescu09,
	Author = {R. Marinescu},
	Booktitle = {CP},
	Pages = {592--607},
	Title = {Exploiting problem decomposition in multi-objective constraint optimization},
	Year = {2009}}

@inproceedings{marinescu09a,
	Author = {R. Marinescu},
	Booktitle = {29th SGAI International Conference on Artificial Intelligence},
	Pages = {107-120},
	Title = {A new approach for evaluating influence diagrams},
	Year = {2009}}

@phdthesis{holland-thesis05,
	Author = {A. Holland},
	School = {University College Cork},
	Title = {Risk Management in Combinatorial Auctions},
	Year = {2005}}

@techreport{voudouris97,
	Author = {C. Voudouris},
	Institution = {PhD Thesis. University of Essex},
	Title = {Guided Local Search for Combinatorial Optimization Problems},
	Year = {1997}}

@article{rollon06,
	Author = {E. Rollon and J. Larrosa},
	Journal = {Journal of Heuristics},
	Pages = {307--328},
	Title = {Bucket elimination for multi-objective optimization problems},
	Volume = {12},
	Year = {2006}}

@inproceedings{rollon-ecai06,
	Author = {E. Rollon and J. Larrosa},
	Booktitle = {ECAI},
	Pages = {128-132},
	Title = {Multi-objective propagation in constraint programming},
	Year = {2006}}

@inproceedings{rollon07,
	Author = {E. Rollon and J. Larrosa},
	Booktitle = {AAAI},
	Pages = {249-254},
	Title = {Multi-objective {R}ussian Doll Search},
	Year = {2007}}

@inproceedings{rollon08,
	Author = {E. Rollon and J. Larrosa},
	Booktitle = {ICLP},
	Pages = {764-768},
	Title = {Constraint optimization techniques for multiobjective branch and bound search},
	Year = {2008}}

@article{ehrgott01,
	Author = {M. Ehrgott and X. Gandibleux},
	Journal = {Notes in Economics and Mathematical Systems},
	Pages = {241-253},
	Title = {Bounds and bound sets for biobjective combinatorial optimization problems},
	Volume = {507},
	Year = {2001}}

@book{ehrgott02,
	Author = {M. Ehrgott and X. Gandibleux},
	Publisher = {Kluwer Academic Publishers},
	Title = {Multiple criteria optimization. State of the art. Annotated bibliographic surveys.},
	Year = {2002}}

@article{gomez00,
	Author = {Carla P. Gomes and Bart Selman and Nuno Crato and Henry Kautz},
	Journal = {J. of Automated Reasoning},
	Number = {1--2},
	Pages = {67-100},
	Title = {Heavy-tailed phenomena in satisfiability and constraint satisfaction problems},
	Volume = {24},
	Year = {2000}}

@inproceedings{CGS01,
	Author = {H. Chen and C. Gomes and B. Selman},
	Booktitle = {Proceedings of 7th Intl.\ Conference on the Principles and Practice of Constraint Programming (CP-2001), Lecture Notes in Computer Science, Vol. 2239, Springer-Verlag},
	Pages = {408--422},
	Title = {Formal models of heavy-tailed behavior in combinatorial search},
	Year = {2001}}

@inproceedings{walsh00,
	Author = {T. Walsh},
	Booktitle = {Principles and Practice of Constraint Programming (CP)},
	Pages = {441-456},
	Title = {{SAT} vs {CSP}},
	Year = {2000}}

@inproceedings{nic04,
	Author = {Nic Wilson},
	Booktitle = {Workshop on soft constraints in CP2004},
	Title = {Decision diagrams for the computation of Semiring Valuations},
	Year = {2004}}

@inproceedings{nic05,
	Author = {Nic Wilson},
	Booktitle = {Nineteenth International Joint Conference on Artificial Intelligence (IJCAI)},
	Pages = {331-336},
	Title = {Decision diagrams for the computation of Semiring Valuations},
	Year = {2005}}

@article{gomez01,
	Author = {C. Gomes and B. Selman},
	Journal = {Artificial Intelligence},
	Pages = {43--62},
	Title = {Algorithm Portfolios},
	Volume = {126},
	Year = {2001}}

@article{nadel89,
	Author = {B. A. Nadel},
	Journal = {Computational Intelligence},
	Pages = {188-299},
	Title = {Constraint satisfaction algorithms},
	Volume = {5},
	Year = {1989}}

@article{glover89,
	Author = {F. Glover},
	Journal = {ORSA journal of Computing},
	Pages = {190-206},
	Title = {Tabu search - Part I},
	Volume = {1},
	Year = {1989}}

@article{hoeve2001,
	Author = {W.J. van Hoeve},
	Journal = {Constraints, an international journal},
	Pages = {1-26},
	Title = {The alldifferent Constraint: A survey},
	Volume = {15:10},
	Year = {2001}}

@techreport{bodlaender91,
	Author = {H. L. Bodlaender and J. R. Gilbert},
	Institution = {Utrecht University},
	Title = {Approximating Treewidth, Pathwidth and minimum elimination tree-height},
	Year = {1991}}

@inproceedings{bodlaender97,
	Author = {H. L. Bodlaender},
	Booktitle = {The Twenty Second International Symposium on Mathematical Foundations of Computer Science (MFCS'97)},
	Pages = {19-36},
	Title = {Treewidth: Algorithmic techniques and results},
	Year = {1997}}

@inproceedings{schoening99,
	Author = {U. Schoening},
	Booktitle = {Focs99},
	Title = {A probabilistic algorithm for k-SAT and constraint satisfaction problems},
	Year = {1999}}

@inproceedings{rivest90,
	Author = {T. H. Cormen, C.E. Leiserson and R.L. Rivest},
	Booktitle = {Introduction to algorithms},
	Publisher = {The MIT Press},
	Year = {1990}}

@inproceedings{konolige94,
	Author = {K. Konolige},
	Booktitle = {Principles of Knowledge Representation and Reasoning (KR-94)},
	Pages = {374-378},
	Title = {Easy to be Hard: Difficult Problems for Greedy Algorithms},
	Year = {1994}}

@article{appel76,
	Author = {K.I. Appel and W. Haken},
	Journal = {Bull.Amer.Math.Soc.,Vol 82, pp 711-712},
	Title = {Every planar map is four colorable},
	Year = 1976}

@article{hampson93,
	Author = {S. Hampson},
	Journal = {Personal Communication},
	Title = {Changing Max-Flips Automatically},
	Year = 1993}

@article{deville99,
	Author = {Y. Deville, O. Barette and P. Van Hentenryck},
	Journal = {Artificial Intelligence},
	Pages = {243-271},
	Title = {Constraint satisfaction over connected row-convex constraints},
	Volume = {109},
	Year = 1999}

@article{hoos99,
	Author = {H. H. Hoos and T Stutzle},
	Journal = {Artificial Intelligence},
	Pages = {213-232},
	Title = {Towards a characterization of the behaviour of stochastic local search algorithms for sat},
	Volume = {112},
	Year = 1999}

@article{glover86,
	Author = {F. Glover},
	Journal = {Computers and Operational Research},
	Pages = {533--549},
	Title = {Future paths for integer programming and links to artificial intelligence},
	Volume = 13,
	Year = 1986}

@inproceedings{yugami94,
	Author = {N. Yugami and Y. Ohta and H. Hara},
	Booktitle = {Proceedings of the National Conference of Artificial Intelligence (AAAI-94)},
	Title = {Improving Repair-Based Constraint Satisfaction Methods by Value Propagation},
	Year = 1994}

@article{LinKernighanTSP,
	Author = {S. Lin and W. Kernighan},
	Journal = {Oper. Res.},
	Pages = {498--516},
	Title = {An Effective Heuristic for the Traveling Salesman Problem},
	Volume = 21,
	Year = 1973}

@article{kirkpatrick83,
	Author = {S. Kirkpatrick and C. D. Gelatt and M. P. Vecchi},
	Journal = {Science},
	Pages = {671--680},
	Title = {Optimization by Simulated Annealing},
	Volume = 220,
	Year = 1983}

@article{johnson91,
	Author = {D. S. Johnson and C. R. Aragon and L. A. McGeoch and C. Schevon},
	Journal = {Operations Research},
	Pages = {378--406},
	Title = {Optimization by simulated annealing: an experimental evaluation; part II, graph coloring and number partitioning},
	Volume = 39,
	Year = 1991}

@article{papadimitriou91,
	Author = {C. H. Papadimitriou},
	Journal = {Proc. of the Conference on the Foundations of Computer Science},
	Title = {On Selecting a Satisfying Truth Assignment},
	Year = 1991}

@article{LinTSP,
	Author = {S. Lin},
	Journal = {BSTJ},
	Pages = {2245--2269},
	Title = {Computer Solutions of the Traveling Salesman Problem},
	Volume = 44,
	Year = 1965}

@inproceedings{russel2000,
	Author = {J. Pearl and S. Russel},
	Journal = {Handbook of Brain Theory and Neural Networks, M. Arbib ED.},
	Publisher = {MIT Press},
	Title = {Bayesian Networks},
	Year = {2001}}

@article{chow68,
	Author = {C. K. Chow and C. N. Liu},
	Journal = {IEEE Transaction on Information Theory},
	Pages = {462-67},
	Title = {Approximating discrete probability distributions with dependence trees},
	Volume = {14},
	Year = {1968}}

@book{mcmillan-book,
	Author = {K. L. McMillan},
	Publisher = {Kluwer Academic},
	Title = {Symbolic Model Checking},
	Year = {1993}}

@inproceedings{mcmillan94,
	Author = {K. L. McMillan},
	Booktitle = {Computer Aided Verification},
	Pages = {41-54},
	Title = {Hierarchical representation of discrete functions with application to model checking},
	Year = 1994}

@inproceedings{jegou93b,
	Author = {P. J\'egou},
	Booktitle = {National Conference on Artificial Intelligence (AAAI},
	Pages = {114-119},
	Title = {On the consistency of general constraint satisfaction problems},
	Year = 1993}

@inproceedings{jegou90,
	Address = {Sweden},
	Author = {P. J\'egou},
	Booktitle = {European conference on Artificial Intelligence (ECAI)},
	Pages = {369-371},
	Title = {Cyclic clustering: a compromize between tree-clustering and the cycle-cutset method for improving search efficiency},
	Year = 1990}

@article{jegou03b,
	Author = {C. Terrioux and P. J\'egou},
	Journal = {Artificial Intelligence},
	Pages = {43-75},
	Title = {Hybrid backtracking bounded by tree-decomposition of constraint networks},
	Volume = {146},
	Year = 2003}

@inproceedings{jegou03,
	Author = {C. Terrioux and P. J\'egou},
	Booktitle = {Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP'03)},
	Pages = {709-723},
	Title = {Bounded backtracking for the valued constraint satisfaction problems},
	Year = {2003}}

@inproceedings{yokoo2,
	Address = {France},
	Author = {M. Yokoo},
	Booktitle = {First International Conference on Constraint Programming},
	Title = {Asynchronous weak commitment search for solving distributed constraint satisfaction problems},
	Year = 1995}

@inproceedings{vitter99,
	Author = {J. Vitter and W. Wang},
	Booktitle = {Proceedings of SIGMOD},
	Pages = {193-204},
	Title = {Approximate computation of multidimensional aggregates of sparse data using wavelets},
	Year = {1999}}

@inproceedings{johnson96,
	Author = {D. S. Johnson and M. A. Trick, editors},
	Booktitle = {American Mathematical Society},
	Title = {Cliques, Coloring and Satisfiability, Vol 26 of Dimacs Series in Discrete Mathematics and Theoretical ComputerScience},
	Year = {1996}}

@inproceedings{ma83,
	Author = {D. Maier},
	Booktitle = {Computer Science Press, Rockville, MD},
	Title = {The Theory of Relational Databases},
	Year = 1983}

@inproceedings{cozman2000,
	Author = {F. G. Cozman},
	Booktitle = {Workshop on Probabilistic reasoning in Bayesian networks at SBIA/Iberamia 2000},
	Pages = {21-26},
	Title = {Generalizing variable-elimination in Bayesian networks},
	Year = {2000}}

@inproceedings{weiss97,
	Author = {Y. Weiss},
	Booktitle = {NIPs},
	Title = {Belief propagation and revision in networks with loops},
	Year = 1997}

@inproceedings{welling01,
	Author = {M. Welling and Y. W. Teh},
	Booktitle = {UAI2001},
	Title = {Belief optimization for binary networks: a stable alternative to Loopy belief propagation},
	Year = 2001}

@inproceedings{teh01,
	Author = {T. W. Teh and M Welling},
	Booktitle = {xxx},
	Title = {The unified propagation and scaling algorithm},
	Year = 2001}

@inproceedings{yedidia01,
	Author = {J. S. Yedidia and W.T. Freeman and Y. Weiss},
	Booktitle = {ANIPS-13},
	Title = {Generalized belief propagation},
	Year = {2001}}

@inproceedings{yedidia01a,
	Author = {J. S. Yedidia, W.T. Freeman and Y. Weiss},
	Booktitle = {xxx},
	Title = {Bethe free energy, Kikuchi approximations and belief propagation algorithms},
	Year = {2001}}

@inproceedings{pavlov,
	Author = {D. Pavlov and H. Mannila and P. Smyth},
	Booktitle = {Submitted to UAI2000},
	Title = {Probabilistic models for query approximation with 20 large sparse binary data sets},
	Year = 2000}

@inproceedings{zeidel81,
	Author = {R. Seidel},
	Booktitle = {International Joint Conference on Artificial Intelligence (Ijcai-81)},
	Pages = {338-342},
	Title = {A new method for solving constraint satisfaction problems},
	Year = 1981}

@inproceedings{yap2001,
	Author = {Y. Zhang and R. H.C. Yap},
	Booktitle = {International Joint Conference on Artificial Intelligece (Ijcai-01)},
	Pages = {316-321},
	Title = {Making AC-3 an optimal algorithm},
	Year = 2001}

@inproceedings{regin2001,
	Author = {C. Bessiere and J-C Regin},
	Booktitle = {International Joint Conference on Artificial Intelligece (Ijcai-01)},
	Pages = {309-315},
	Title = {Refining the basic constraint propagation algorithm},
	Year = 2001}

@inproceedings{regin96,
	Author = {J-C Regin},
	Booktitle = {National Conference on Artificial Intelligece (AAAI-96)},
	Pages = {209-215},
	Title = {Generalized arc-consistency for global cardinality constraints},
	Year = 1996}

@inproceedings{caseau96,
	Author = {Y. Caseau and F. Laburthe},
	Booktitle = {Joint International Conference and Symposium on Logic Progamming},
	Publisher = {MIT press},
	Title = {Commulative Sceduling with task intervals},
	Year = 1996}

@inproceedings{beldiceanu92,
	Author = {A. Aggoun and N. Beldiceanu},
	Booktitle = {Journees Francophones de Programmation Logique, Lille, France},
	Title = {Extending CHIP to solve complex scheduling and packing problems},
	Year = 1992}

@inproceedings{beldiceanu94,
	Author = {N. Beldiceanu and E. Contejean},
	Booktitle = {Math and Computational modelling},
	No = {12},
	Pages = {97-123},
	Title = {Introducing global constraints in CHIP},
	Volume = {20},
	Year = 1994}

@inproceedings{wallace93,
	Author = {R. J. Wallace},
	Booktitle = {International Joint Conference on Artificial Intelligece (Ijcai-93)},
	Pages = {239-245},
	Title = {Why AC-3 is almost always better than AC-4},
	Year = 1993}

@inproceedings{allen85,
	Author = {J. F. Allenand P. J. Hayes},
	Booktitle = {International Joint Conference oon Artificial Intelligece (Ijcai-85)},
	Pages = {528-531},
	Title = {A common-sense theory of time},
	Year = 1985}

@article{gottlob1999,
	Author = {Georg Gottlob and Nicola Leone and Francesco Scarcello},
	Journal = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Title = {A comparison of structural CSP decomposition methods},
	Year = 1999}

@article{gottlob2000,
	Author = {Georg Gottlob and Nicola Leone and Francesco Scarcello},
	Journal = {Artificial Intelligence},
	Pages = {243-282},
	Title = {A comparison of structural CSP decomposition methods},
	Year = 2000}

@article{preiditis93,
	Author = {A.E. Preiditis},
	Journal = {Machine learning},
	Pages = {117-141},
	Title = {Machine discovery of effective admissible heuristics},
	Volume = {12},
	Year = 1993}

@article{othar92,
	Author = {Othar Hansson, A. E. Mayer, and M. M. Yung},
	Journal = {Information Sciences},
	Pages = {207-227},
	Title = {Criticizing Solutions To relaxed models yields powerful admissible heuristics},
	Volume = {63(3)},
	Year = 1992}

@article{MacKayNeal,
	Author = {D.J.C. MacKay and R.M. Neal},
	Journal = {Electronic Letters},
	Pages = {457--458},
	Title = {Near Shannon Limit Performance of Low Density Parity Check Codes},
	Volume = 33,
	Year = 1996}

@article{korf93,
	Author = {R. Korf},
	Journal = {Artificial Intelligence},
	Pages = {41-78},
	Title = {Linear-space best-first search},
	Volume = {62},
	Year = {1993}}

@inproceedings{sadeh90,
	Author = {Norman Sadeh and Mark S. Fox},
	Booktitle = {Proceedings of the Fourth International Conference on Expert Systems in Production and Management},
	Pages = {134-144},
	Title = {Variable and Value Ordering Heuristics for Activity-based Job-shop Scheduling},
	Year = {1990}}

@inproceedings{lerner98,
	Author = {D. Koller and U. Lerner and D. Angelov},
	Booktitle = {Proceedings of the 14th Conference on Uncertainty in Artifi cial Intelligence (UAI98)},
	Pages = {324-333},
	Title = {A general algorithm for approximate inference and its applciation to hybrid Bayes nets},
	Year = 1998}

@inproceedings{boyen98,
	Author = {X. Boyen and D. Koller},
	Booktitle = {Proceedings of the 14th Conference on Uncertainty in Artifi cial Intelligence (UAI98)},
	Pages = {33-42},
	Title = {Tractable inference in complex stochastic processes},
	Year = 1998}

@inproceedings{portinale99,
	Author = {L. Portinale and A. Bobbio},
	Booktitle = {Proceedings of the 15th Conference on Uncertainty in Artifi cial Intelligence (UAI99)},
	Pages = {551-558},
	Title = {Bayesian networks for dependency analysis: an application to digital control},
	Year = 1999}

@inproceedings{pascal91,
	Address = {Sydney, Australia},
	Author = {Deville, Y. and Van Hentenryck, P.},
	Booktitle = {IJCAI-91},
	Pages = {325-330},
	Title = {An Efficient Arc Consistency Algorithm for a of {CSP} Problems},
	Year = {1991}}

@inproceedings{malik83,
	Author = {J. Malik and T. O. Binford},
	Booktitle = {International Joint Cnference on Artificial Intelligence (IJCAI83)},
	Pages = {343-345},
	Title = {Reasoning in time and space},
	Year = 1983}

@inproceedings{bessiere93,
	Author = {C. Bessiere and M Cordier},
	Booktitle = {National Conference of Artificial Intelligence (AAAI-93)},
	Pages = {108-113},
	Title = {Arc-consistency and arc-consistency again},
	Year = 1993}

@inproceedings{kautz91,
	Author = {H. Kautz and P. B. Ladkin},
	Booktitle = {National Conference of Artificial Intelligence (AAAI-91)},
	Pages = {241-246},
	Title = {Integrating metric and qualitative temporal reasoning},
	Year = 1991}

@inproceedings{ladkin86,
	Author = {P. B. Ladkin},
	Booktitle = {National Conference of Artificial Intelligence (AAAI-86)},
	Pages = {360-366},
	Title = {Time representation: A taxonomy of interval relations},
	Year = 1988}

@inproceedings{ladkin89a,
	Author = {P. B. Ladkin},
	Booktitle = {Technical Report, TR-89-038, Interional Computer Science Institut, Berkeley, CA},
	Title = {Metric constraint satisfaction with intervals},
	Year = 1989}

@inproceedings{ladkin89b,
	Author = {P. B. Ladkin and R. D. Maddux},
	Booktitle = {Technical Report, Kerstel Institute, Palo Alto, CA},
	Title = {On binary Constraint networks},
	Year = 1989}

@inproceedings{perez87,
	Author = {R. E. Valdes-Perez},
	Booktitle = {National Conference of Artificial Intelligence (AAAI-87)},
	Pages = {256-260},
	Title = {The satisfiability of temporal constraint networks},
	Year = 1987}

@inproceedings{perez86,
	Author = {R. E. Valdes-Perez},
	Booktitle = {Tech Report AIM-875, Artificial Intelligence Lab, MIT, Cambridge, MA},
	Title = {Spatio-temporal reasoning and linear inequalities},
	Year = 1986}

@inproceedings{hugin89,
	Author = {DS.K. Anderson, K.G. Olesen, F.V. Jensen and F. Jensen},
	Booktitle = {International Joint Conference on Artficial Intelligence (Ijcai89)},
	Pages = {1080-1085},
	Title = {Hugin: a shell for building Bayesian belief universes for expert systems},
	Year = 1989}

@article{javier2001b,
	Author = {J Larrosa and R. Dechter},
	Journal = {Submitted},
	Title = {Dynamic Combination of Search and Variable-Elimination in CSP and Max-csp},
	Year = 2001}

@inproceedings{verfaillie96,
	Author = {G. Verfaillie and M. Lematre and T. Schiex},
	Booktitle = {AAAI},
	Pages = {181-187},
	Title = {Russian doll search for solving constraint optimization problems},
	Year = {1996}}

@inproceedings{zhang-zhang96,
	Author = {J. Zhang and H. Zhang},
	Book = {AAAI96},
	Pageas = {369-374},
	Title = {Combining local search and backtacking techniques for constraint satisfaction},
	Year = 1996}

@article{javier01,
	Author = {J Larrosa, and K. Kask and R. Dechter},
	Journal = {Submitted},
	Title = {Up and Down mini-bucket: a scheme for approximating combinatorial optimization tasks},
	Year = 2001}

@article{larrosa99,
	Author = {J. Larrosa, P. Meseguer and T. Schiex},
	Journal = {Artificial Intellignce},
	Pages = {149-163},
	Title = {Maintaining reversible DAC for Max-CSP},
	Year = 1999}

@article{regin94,
	Author = {J-C Regin},
	Journal = {Proceedings of Natinal Conference of Artificial Intelligence (AAAI94)},
	Pages = {362-367},
	Title = {A filtering algorithm for constraints of difference in CSPs},
	Year = 1994}

@article{susan02,
	Author = {S. L. Epstein, E. C. Freuder, R. Wallace, A. Morozov and B. Samuels},
	Journal = {Principles and Practice of Constraint Programming (CP2002)},
	Pages = {525-540},
	Title = {The adaptive constraint engine},
	Year = 2002}

@article{schiex2000,
	Author = {T. Schiex},
	Journal = {Principles and Practice of Constraint Programming (CP2000)},
	Pages = {411-424},
	Title = {Arc consistency for soft constraints},
	Year = 2000}

@article{mehlhorn2000,
	Author = {K. Mehlhorn and S. Thiel},
	Journal = {Principles and Practice of Constraint Programming (CP2000)},
	Pages = {306-319},
	Title = {Faster algorithms for bounds-consistency of the sortedness and the alldifferent constraint},
	Year = 2000}

@article{javier2001c,
	Author = {R. Dechter and K. Kask and J. Larrosa},
	Journal = {Principles and Practice of Constraint Programming (CP2000)},
	Title = {A general scheme for multiple lower bound computation in constraint optimization},
	Year = 2001}

@article{javier2000,
	Author = {J. Larrosa},
	Journal = {Principles and Practice of Constraint Programming (CP2000)},
	Pages = {291-305},
	Title = {Boosting search with variable-elimination},
	Year = 2000}

@article{javier2002,
	Author = {J. Larrosa and R. Dechter},
	Journal = {Constraints},
	Pages = {407-419},
	Title = {Boosting search with variable-elimination},
	Volume = {7(3-4)},
	Year = 2002}

@article{prestwich2000,
	Author = {S. Prestwich},
	Journal = {Principles and Practice of Constraint Programming (CP2000)},
	Pages = {337-352},
	Title = {A hybrid search architecture applied to hard random 3-SAT and low autocorrelation binary sequences},
	Year = 2000}

@article{kalev2000,
	Author = {K. Kask},
	Journal = {Principles and Practice of Constraint Programming (CP2000)},
	Pages = {255-269},
	Title = {New Search Heuristics for Max-CSP},
	Year = 2000}

@article{kalev2001,
	Author = {K. Kask and R. Dechter and J. Larrosa and G. Fabio},
	Journal = {Submitted -2001},
	Title = {Bucket-tree elimination for automated reasoning},
	Year = 2001}

@article{koller99,
	Author = {D. Koller and R. Parr},
	Journal = {International Joint Conference on Artficial Intelligence (Ijcai99)},
	Title = {Computing factored value functions for policies is sstructured MDP},
	Year = 1999}

@article{selman99,
	Author = {H. Kautz and B. Selman},
	Journal = {International Joint Conference on Artficial Intelligence (Ijcai99)},
	Pages = {318-325},
	Title = {Unifying SAT-based and Graph-based in planning},
	Year = 1999}

@article{kautz92,
	Author = {H. Kautz and B. Selman},
	Journal = {Proc. of the European Conference on Artificial Intelligence (ECAI)},
	Pages = {359-363},
	Title = {Planning as satisfiability},
	Year = 1992}

@article{kalev-ijcai-99,
	Author = {K. Kask and R. Dechter},
	Journal = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Title = {Branch and Bound with Mini-Bucket Heuristics},
	Year = 1999}

@inproceedings{waltz75,
	Author = {D Waltz},
	Booktitle = {The Psychology of Computer Vision},
	Title = {Understanding line drawings of scenes with shadows},
	Year = 1975}

@article{ladkin92,
	Author = {P. Ladkin ad A. Reinefeld},
	Journal = {Artificial Intelligence},
	Pages = {105-124},
	Title = {Effective solution of qualitative interval constraint problrms},
	Volume = {57},
	Year = {1992}}

@article{diez96,
	Author = {F. J. Diez},
	Journal = {Artificial Intelligence},
	Pages = {1-20},
	Title = {Local conditioning in Bayesian networks},
	Volume = {87},
	Year = {1996}}

@article{mohr86,
	Author = {Mohr, R. and Henderson, T. C.},
	Journal = {Artificial Intelligence},
	Pages = {225-233},
	Title = {Arc and Path Consistency Revisited},
	Volume = {28},
	Year = {1986}}

@article{pascal92,
	Author = {P. van Henetenryck, Y. Deville, and C, Teng},
	Journal = {Artificial Intelligence},
	Pages = {291-321},
	Title = {A generic arc-consistency algorithm and its specialization},
	Volume = {57},
	Year = {1992}}

@article{ibaraki78,
	Author = {T. Ibaraki},
	Journal = {Information and Control},
	Pages = {1-27},
	Title = {Branch-and-Bound procedure and state-space representation of combinatorial optmization problems},
	Volume = {36},
	Year = 1978}

@article{ibaraki76,
	Author = {T. Ibaraki},
	Journal = {Computer and Information Sciences},
	Pages = {315-344},
	Title = {Theoretical comparisons of search strategies in Branch-and-Bound algorithms},
	Volume = {5},
	Year = 1976}

@article{wright21,
	Author = {S. Wright},
	Journal = {Journal of agricaltural research},
	Pages = {557-585},
	Title = {Correlation and causation},
	Volume = {20},
	Year = 1921}

@article{dean89,
	Author = {T. L. Dean},
	Journal = {Journal of the ACM},
	Pages = {687-714},
	Title = {Using temporal hierarchies to efficiently maintain large temporal databases},
	Volume = {36},
	Year = 1989}

@article{dean87,
	Author = {T. L. Dean and D. V. McDermott},
	Journal = {Artificial Intelligence},
	Pages = {1-55},
	Title = {Temporal database management},
	Volume = {32},
	Year = 1987}

@article{gent93,
	Author = {I. Gent and T. Walsh},
	Journal = {Artificial Intelligence Research (JAIR)},
	Title = {An empirical analysis of search in GSAT},
	Year = 1993}

@inproceedings{gent93b,
	Author = {I. Gent and T. Walsh},
	Booktitle = {11th National consference on Artificial Intelligence (AAAI93)},
	Pages = {28-33},
	Title = {Towards understanding of Hill-climbing procedures in SAT},
	Year = 1993}

@article{craig99,
	Author = {C. Boutilier and T. Dean and S. Hanks},
	Journal = {Artificial Intelligence Research (JAIR)},
	Pages = {1-94},
	Title = {Decision-Theoretic Planning: Structural Assumptions and Computational Leverag},
	Volume = {11},
	Year = 1999}

@article{larkin01a,
	Author = {R. Dechter and D. Larkin},
	Journal = {UCI Technical report, www.ics.uci.edu/~dechter},
	Title = {Hybrid processing of belief and constraints},
	Year = 2001}

@inproceedings{larkin03,
	Author = {D. Larkin and R. Dechter},
	Booktitle = {International Workshop on Artificial Intelligence and Statistics (AISTATS)},
	Title = {Bayesian Inference in the Presence of Determinism},
	Year = 2003}

@article{BFMBUCI99,
	Author = {K. Kask and R. Dechter},
	Journal = {UCI Technical report},
	Title = {On the Power of Mini-Bucket Heuristics for Improved Search},
	Year = 1999}

@inproceedings{henrion86,
	Author = {M Henrion},
	Booktitle = {Technical report, Department of Engineering and Public Policy, Carnegie Melon University},
	Title = {Propagating uncertainty by logic sampling},
	Year = 1986}

@inproceedings{biere99,
	Author = {A. Biere, A. Cimatti, E. Clark, M Fujita and Y. Zhu},
	Booktitle = {Proc. 36th Design Automation Conference},
	Pages = {317-320},
	Title = {Symbolic model checking using SAT procedures instead of BDDs},
	Year = 1999}

@inproceedings{Pradhan94,
	Author = {M. Pradhan and G. Provan and B. Middleton and M. Henrion},
	Booktitle = {Proc. Tenth Conf. on Uncertainty in Artificial Intelligence},
	Title = {Knowledge engineering for large belief networks},
	Year = 1994}

@article{darwiche01,
	Author = {A. Darwiche},
	Journal = {Artificial Intelligence},
	Number = {1-2},
	Pages = {5-41},
	Title = {Recursive Conditioning},
	Volume = {125},
	Year = 2001}

@inproceedings{darwiche95,
	Author = {A. Darwiche},
	Booktitle = {Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI95)},
	Pages = {99-107},
	Title = {Conditioning methods for exact and approximate inference in causal networks},
	Year = 1995}

@inproceedings{Parker87,
	Author = {R. Parker and R. Miller},
	Booktitle = {Proc. 11th Symp. Comp. Appl. in Medical Care},
	Pages = {473 -- 480},
	Title = {Using causal knowledge to create simulated patient cases: the {CPCS} project as an extension of {INTERNIST}-1},
	Year = 1987}

@article{robertson95,
	Author = {N. Robertson and P. Seymour},
	Journal = {Combinatorial Theory, Series B},
	Pages = {65-110},
	Title = {Graph minor. XIII. The disjoint paths problem},
	Volume = {63},
	Year = 1995}

@article{Roth96,
	Author = {Roth, D.},
	Journal = AI,
	Month = Apr,
	Number = {1-2},
	Pages = {273--302},
	Title = {On the hardness of approximate reasoning},
	Volume = 82,
	Year = {1996}}

@article{shamir93,
	Author = {M. C. Golumbic, and R. Shamir},
	Journal = {Journal of the ACM},
	Pages = {1108--1133},
	Title = {Complexity and algorithms for reasoning about time: a graph-theoretic approach},
	Volume = {40},
	Year = {1993}}

@article{geman86,
	Author = {S. Geman and D. Geman},
	Journal = {IEEE Transaction on Pattern analysis and Machine Intelligence (PAMI-6)},
	Pages = {721-42},
	Title = {Stochastic relaxations, Gibbs distributions and the Bayesian restoration of images},
	Year = {1984}}

@article{silva99,
	Author = {J. P. Marques-Silva and K. A. Sakalla},
	Journal = {IEEE Transaction on Computers},
	Pages = {506-521},
	Title = {GRASP: A search algorithm for propositional satisfiability},
	Volume = {48 (5)},
	Year = {1999}}

@article{mceliece97,
	Author = {R.J. McEliece, D.J.C. MacKay, and J.-F. Cheng},
	Journal = {IEEE J. Selected Areas in Communication},
	Title = {Turbo decoding as an instance of Pearl's belief propagation algorithm},
	Year = {1997}}

@article{jaffar95,
	Author = {J. Jaffar and J. Lassez},
	Journal = {Journal of Logic Programming},
	Number = {20},
	Pages = {503-581},
	Title = {Constraint logic programming: A survey},
	Volume = {19},
	Year = {1994}}

@article{spiegelhalter88,
	Author = {S.L. Lauritzen and D.J. Spiegelhalter},
	Journal = {Journal of the Royal Statistical Society, Series B},
	Pages = {157-224},
	Title = {Local computation with probabilities on graphical structures and their application to expert systems},
	Volume = {50(2)},
	Year = 1988}

@article{freuder82,
	Author = {E. C. Freuder},
	Journal = {Journal of the ACM},
	Number = 1,
	Pages = {24--32},
	Title = {A Sufficient Condition for Backtrack-Free Search},
	Volume = 29,
	Year = 1982}

@article{lassez92,
	Author = {J.-L. Lassez and M. Mahler},
	Journal = {Journal of Automated Reasoning},
	Title = {On Fourier's algorithm for linear constraints},
	Volume = {9},
	Year = 1992}

@article{elston71,
	Author = {R.C. Elston and J. Stewart},
	Journal = {Human Hereditry},
	Pages = {523-542},
	Title = {A general model for the analysis of pedigree data},
	Volume = {21},
	Year = 1971}

@article{schaffer96,
	Author = {A. A. Schaffer},
	Journal = {Human Hereditry},
	Pages = {226-235},
	Title = {Faster linkage analysis computations for pedigrees with loops or unused alleles},
	Volume = {46},
	Year = 1996}

@article{canning78,
	Author = {C. Cannings, and E.A. Thompson and H.H. Skolnick},
	Journal = {Advances in Applied Probability},
	Pages = {26-61},
	Title = {Probability functions on complex pedigrees},
	Volume = {10},
	Year = 1978}

@article{mackay,
	Author = {D. C. MacKay, R. McEliece and J. Cheng},
	Title = {Turbo decoding as an instance of Pearl's ``Belief Propagation'' Algorithm},
	Year = 1996}

@article{eddie96,
	Author = {E. Schwalb, L. Vila and R. Dechter},
	Journal = {UCI Technical report},
	Title = {Decidability and finite representability of deductive databases with temporal constraints},
	Year = 1996}

@book{howard84b,
	Author = {R. Howard and J. Matheson},
	Publisher = {Strategic Decisions Group, Menlo Park, CA, USA},
	Title = {Influence diagrams. The principles and applications of Decision analyis},
	Year = {1984}}

@inproceedings{howard84,
	Author = {R. Howard and J. Matheson},
	Booktitle = {Readings on the Principles and Applications of Decision Analyis},
	Pages = {721-762},
	Title = {Influence diagrams},
	Year = {1984}}

@book{wolsey98,
	Author = {L. A. Wolsey},
	Publisher = {Wiley},
	Title = {Integer Programming},
	Year = {1998}}

@article{tatman90,
	Author = {J. Tatman and R. Shachter},
	Journal = {IEEE Transactions on Systems, Man, and Cybernetics},
	Number = {1},
	Pages = {365-379},
	Title = {Dynamic programming and influence diagrams},
	Volume = {20},
	Year = {1990}}

@article{jensen90,
	Author = {F.V. Jensen and S.L Lauritzen and K.G. Olesen},
	Journal = {Computational Statistics Quarterly},
	Pages = {269-282},
	Title = {Bayesian updating in causal probabilistic networks by local computation},
	Volume = {4},
	Year = {1990}}

@article{held70,
	Author = {M. Held and R. M. Karp},
	Journal = {Operations Research},
	Pages = {1138-1162},
	Title = {The travelling salesman roblem and minimum spanning trees, multistage processes},
	Volume = {18},
	Year = 1970}

@article{mitten64,
	Author = {L. G. Mitten},
	Journal = {Operations Research},
	Pages = {610-619},
	Title = {Composition principles for the synthesis of optimal multistage processes},
	Volume = {12},
	Year = {1964}}

@article{shachter86,
	Author = {R. Shachter},
	Journal = {Operations Research},
	Number = {6},
	Pages = {871-882},
	Title = {Evaluating influence diagrams},
	Volume = {34},
	Year = 1986}

@article{shachter88,
	Author = {R. Shachter},
	Journal = {Operations Research},
	Title = {Probabilistic inference and influence diagrams},
	Volume = {36},
	Year = 1988}

@inproceedings{prosser95,
	Author = {Patrick Prosser},
	Institution = {The University of Strathclyde, Glasgow, Scotland, Department of Computer Science},
	Number = {95/77},
	Title = {MAC-CBJ: maintaining arc consistency with conflict-directed backjumping},
	Year = {1995}}

@inproceedings{jensen94,
	Author = {F. Jensen and V. Jensen and S. Dittmer},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {367-363},
	Title = {From influence diagrams to junction trees},
	Year = 1994}

@inproceedings{vangelder96,
	Author = {A. Van Gelder and Y. K. Tsuji},
	Booktitle = {David, Johnson and Michael A. Trick, editors, Cliques, Coloring and Satisfiability},
	Title = {Satisfiability testing with more reasoning and less guessing},
	Volume = {26 of DIMACS series in Discrete Mathematics and Theoretical Computer Science},
	Year = {1996}}

@inproceedings{lander87,
	Author = {E.S. Lander and P. Green},
	Booktitle = {National academy of science},
	Pages = {2363-2367},
	Title = {Construction of multilocus genetic maps in humans},
	Volume = {84},
	Year = 1987}

@inproceedings{howard76,
	Author = {R. A. Howard},
	Booktitle = {Readings in Decision Analysis},
	Editors = {R. A. Howard, J. E. Matheson and K. L. Miller},
	Pages = {491-520},
	Title = {The used car buyer},
	Year = 1976}

@inproceedings{shimony,
	Author = {S.E. Shimony and E. Charniak},
	Booktitle = {P. Bonissone, M. Henrion, L. Kanal, and J. Lemmer (Eds.), Uncertainty in Artificial Intelligence},
	Pages = {185-193},
	Title = {A new algorithm for finding MAP assignments to belief networks},
	Volume = {6},
	Year = 1991}

@inproceedings{suermondt91,
	Author = {H. J. Suermondt, G. F. Cooper and D. E. Heckerman},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'91)},
	Pages = {245-253},
	Title = {A combination of cutset conditioning with clique-tree propagation in the path-finder system},
	Year = 1991}

@inproceedings{shachter91,
	Author = {R. D. Shachter, S.K. Anderson and P. Solovitz},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'94)},
	Pages = {514-522},
	Title = {Global conditioning for probabilistic inference in belief networks},
	Year = 1994}

@inproceedings{heckerman89,
	Author = {D. Heckerman},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'89)},
	Pages = {171-181},
	Title = {A tractable inference algorithm for diagnosing multiple diseases},
	Year = 1989}

@inproceedings{heckerman94,
	Author = {D. Heckerman and J. Breese},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'94)},
	Pages = {286-292},
	Title = {A new look at causal independence},
	Year = 1994}

@inproceedings{henrion96,
	Author = {M. Henrion, and M. Pradhan and B. Del Favero and K. Huang and G. Provan and P. O'Rorke},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'96)},
	Title = {Why is diagnosis using belief networks is insensitive to imprecision in probabilities?},
	Year = 1996}

@article{zhang98,
	Author = {N. L. Zhang},
	Journal = {Computational Intelligence},
	Number = {4},
	Pages = {475-497},
	Title = {Probabilistic Inference in Influence Diagrams},
	Volume = {14},
	Year = 1998}

@article{zhang97a,
	Author = {H Zhang},
	Journal = {Proc. International Conference on Automation Deduction (CADE)},
	Pages = {272-275},
	Title = {Sato: An efficient propositional prover},
	Volume = {1249 of LNCS},
	Year = 1997}

@article{moskewicz01,
	Author = {M. Moskewicz and C. Madigan and Y. Zhao and L. Zhang and S. Malik},
	Journal = {{Design and Automation Conference}},
	Title = {Chaff: Engineering an efficient sat solver},
	Year = 2001}

@article{zhang94,
	Author = {N. Zhang and R. Qi, and D. Poole},
	Journal = {International Journal of Approximate Reasoning},
	Number = {2},
	Pages = {83-158},
	Title = {A computational theory of decision networks},
	Volume = {11},
	Year = 1994}

@article{qi95,
	Author = {R. Qi and D. Poole},
	Journal = {Computational Intelligence},
	Pages = {498--528},
	Title = {A new method for influence diagram evaluation},
	Volume = {11},
	Year = {1995}}

@article{shafer96,
	Author = {G. Shafer},
	Journal = {Society for indutrial and Applied Mathematics, Philadelphia, PA},
	Title = {Probabilistic expert systems},
	Year = {1996}}

@article{kalev2000a,
	Author = {K. Kask and R. Dechter},
	Journal = {Artificial Intelligence},
	Title = {A general Scheme for Automatic Search Heuristics from Specification Dependencies},
	Year = {2001}}

@article{shenoy98,
	Author = {T. Schmidt and P.P. Shenoy},
	Journal = {Artificial Intelligence},
	Pages = {323-333},
	Title = {Some improvements to the Shenoy-Shafer and Hugin architecture for computing marginals},
	Volume = {102},
	Year = {1998}}

@article{shenoy90,
	Author = {G. R. Shafer and P.P. Shenoy},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Pages = {327-352},
	Title = {Probability propagation},
	Volume = {2},
	Year = {1990}}

@inproceedings{shenoy90a,
	Author = {P.P. Shenoy and G. Shafer},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {169-178},
	Title = {Axioms for probability and belief-function propagation},
	Year = {1990}}

@inproceedings{shenoy96,
	Author = {P.P. Shenoy},
	Book = {Porceedings of the 12th Conference on Uncertainty in Artificial Intelligence (UAI96)},
	Pages = {492-499},
	Title = {Binary join trees},
	Year = {1996}}

@article{shenoy92,
	Author = {P. Shenoy},
	Journal = {Operations Research},
	Number = {1},
	Pages = {463-484},
	Title = {Valuation-based systems for {B}ayesian decision analysis},
	Volume = {40},
	Year = {1992}}

@article{rossi97,
	Author = {S. Bistarelli and U. Montanari and F. Rossi},
	Journal = {Journal of the ACM},
	Number = {2},
	Pages = {165-201},
	Title = {Semiring-based Constraint Satisfaction and Optimization},
	Volume = {44},
	Year = {1997}}

@article{dambrosio94,
	Author = {Z. Li and B. D'Ambrosio},
	Journal = {International Journal of Approximate Reasoning},
	Pages = {1-58},
	Title = {Efficient Inference in Bayes Networks as a combinatorial optimization problem},
	Volume = {11},
	Year = {1994}}

@inproceedings{dambrosio93,
	Author = {Z. Li and B. D'Ambrosio},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'93)},
	Pages = {342-349},
	Title = {An efficient approach for finding the MPE in belief networks},
	Year = {1993}}

@inproceedings{dechter2000,
	Author = {R. Dechter},
	Booktitle = {International Conference on Artificial Intelligence Planning Systems (AIPS-2000)},
	Pages = {72-81},
	Title = {A new perspective on algorithms for optimizing policies under uncertainty},
	Year = {2000}}

@inproceedings{dechter2000a,
	Author = {R. Dechter},
	Booktitle = {Workshop of Decision Theoretic Planning in (AIPS-2000)},
	Title = {An anytime approximation for optimizing policies under uncertainty},
	Year = {2000}}

@inproceedings{littman98,
	Author = {S. M. Majercik and M. L. Littman},
	Booktitle = {Fourth International Conference on Artificial Intelligence Planning Systems (AIPS-98)},
	Pages = {86-93},
	Title = {MAXPLAN: A new approach to probabilistic planning},
	Year = {1998}}

@inproceedings{vilain86,
	Author = {M. Villain and H. Kautz},
	Booktitle = {National Conference on Artificial Intelligence (AAAI'86)},
	Pages = {377-382},
	Title = {Constraint propagation algorithms for temporal reasoning},
	Year = {1986}}

@inproceedings{gomez98,
	Author = {C. P. Gomez, B. Selman and H. Kautz},
	Booktitle = {National Conference on Artificial Intelligence (AAAI'86)},
	Title = {Boosting combinatorial search through randomization},
	Year = {1998}}

@inproceedings{geiger97,
	Author = {K. Shoiket and D. Geiger},
	Booktitle = {Fourteenth National Conference on Artificial Intelligence (AAAI'97)},
	Pages = {185-190},
	Title = {A proctical algorithm for finding optimal triangulations},
	Year = {1997}}

@inproceedings{dambrosio,
	Author = {R.D. Shachter, B. D'Ambrosio and B.A. Del Favero},
	Booktitle = {National Conference on Artificial Intelligence (AAAI'90)},
	Pages = {126-131},
	Title = {Symbolic probabilistic inference in belief networks},
	Year = {1990}}

@article{frey,
	Author = {F. R. Kschischang, and B.H. Frey},
	Journal = {submitted},
	Title = {Iterative decoding of compound codes by probability propagation in graphical models},
	Year = 1996}

@article{tommi96,
	Author = {T. S. Jaakkola and M. I. Jordan},
	Journal = {Advances in Neural Information Processing Systems},
	Title = {Recursive algorithms for approximating probabilities in graphical models},
	Volume = 9,
	Year = 1996}

@article{jordan94,
	Author = {L. K. Saul and M. I. Jordan},
	Journal = {Neural Computation},
	Pages = {1173--1183},
	Title = {Learning in Boltzmann Trees},
	Volume = 6,
	Year = 1994}

@article{saul96,
	Author = {L.K. Saul, and T.S. Jaakkola and M. I. Jordan},
	Journal = {Journal of Artificial Intelligence Research},
	Pages = {61-76},
	Title = {Mean field theory for sigmoid belief networks},
	Volume = 4,
	Year = 1996}

@article{arnborg85,
	Author = {S. A. Arnborg},
	Journal = {BIT},
	Pages = {2-23},
	Title = {Efficient algorithms for combinatorial problems on graphs with bounded decomposability - a survey},
	Volume = {25},
	Year = {1985}}

@article{arnborg89,
	Author = {S. Arnborg and A. Proskourowski},
	Journal = {Discrete and Applied Mathematics},
	Pages = {11-24},
	Title = {Linear time algorithms for NP-hard problems restricted to partial $k$-trees},
	Volume = {23},
	Year = {1989}}

@article{even76,
	Author = {S. Even, A. Itai and A. Shamir},
	Journal = {SIAM Journal on Computing},
	Pages = {691-703},
	Title = {On the complexity of timetable and multicommodity flow},
	Volume = {5},
	Year = {1976}}

@article{arnborg87,
	Author = {S. A. Arnborg, D. G. Corneil, and A. Proskourowski},
	Journal = {SIAM Journal of Discrete Mathematics.},
	Pages = {277-284},
	Title = {Complexity of finding embeddings in a $k$-tree},
	Volume = {8},
	Year = {1987}}

@article{tarjan84,
	Author = {R. E. Tarjan and M. Yannakakis},
	Journal = {SIAM Journal of Computation.},
	Pages = {566-579},
	Title = {Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs and selectively reduce acyclic hypergraphs},
	Volume = {13(3)},
	Year = {1984}}

@inproceedings{selman92,
	Author = {B. Selman and Levesque, H. and D. Mitchell},
	Booktitle = {National Conference on Artificial Intelligence},
	Pages = {440-446},
	Title = {A new method for solving hard satisfiability problems},
	Year = {1992}}

@inproceedings{uffe97,
	Author = {U. Kj{\ae}aerulff},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'97)},
	Pages = {294-301},
	Title = {Nested junction trees},
	Year = {1997}}

@inproceedings{uffe94,
	Author = {U. Kj{\ae}aerulff},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'94)},
	Title = {Reduction of computational complexity in Bayesian networks through remova of weak dependencies},
	Year = {1994}}

@inproceedings{uffe95,
	Author = {U. Kj{\ae}aerulff},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'95)},
	Title = {HUGS: combining exact inference and Gibbs sampling in junction trees},
	Year = {1995}}

@techreport{uffe90,
	Author = {U. Kj{\ae}aerulff},
	Institution = {University of Aalborg, Denmark},
	Title = {Triangulation of graph-based algorithms giving small total state space},
	Year = {1990}}

@article{uffe92,
	Author = {U. Kj{\ae}aerulff},
	Journal = {Statistics and Computing},
	Pages = {7-17},
	Title = {Optimal decomposition of probabilistic netwroks by simulated annealing},
	Volume = 2,
	Year = {1992}}

@inproceedings{uffe93,
	Author = {U. Kj{\ae}aerulff},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'93)},
	Pages = {121-149},
	Title = {A computational scheme for reasoning in dynamic probabilistic networks},
	Year = {1993}}

@inproceedings{cheesman91,
	Author = {P. Cheesman and B. Kanefsky, and W. Taylor},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI-91)},
	Pages = {331--337},
	Title = {Where the {\it really} hard problems are},
	Year = 1991}

@inproceedings{dechter00,
	Author = {R. Dechter},
	Booktitle = {Artificial Intelligence Planning Systems (AIPS)},
	Pages = {72--81},
	Title = {A new perspective on algorithms for optimizing policies under uncertainty},
	Year = {2000}}

@article{dechter99,
	Author = {R. Dechter},
	Journal = {Artificial Intelligence},
	Pages = {41-85},
	Title = {Bucket elimination: A unifying framework for reasoning},
	Volume = {113},
	Year = {1999}}

@techreport{dechter99c,
	Author = {R. Dechter and I Rish},
	Booktitle = {UCI Tech report},
	Title = {Mini-buckets: A general scheme for approximating inference},
	Year = {October 1998}}

@article{dechter99e,
	Author = {R. Dechter and Y. El Fattah},
	Journal = {Artificial Intelligence},
	Pages = {93-188},
	Title = {Topological parameters for time-space tradeoff},
	Volume = {125},
	Year = {2001}}

@inproceedings{dechter97,
	Author = {R. Dechter},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Pages = {1297-1302},
	Title = {Mini-buckets: A general scheme of generating approximations in automated reasoning},
	Year = 1997}

@inproceedings{dechter97a,
	Author = {R. Dechter and I. Rish},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {132-141},
	Title = {A scheme for approximating probabilistic inference},
	Year = 1997}

@inproceedings{poole97,
	Author = {D. Poole},
	Booktitle = {IJCAI-97: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence},
	Title = {Probabilistic partial evaluation: Exploiting structure in probabilistic inference},
	Year = 1997}

@inproceedings{adnan96,
	Address = {Portland, Oregon},
	Author = {A. Darwiche and G. Provan},
	Booktitle = {Proceedings of Uncertainty in Artificial Intelligence (UAI'96)},
	Pages = {203-210},
	Title = {Query DAGS: a practical paradigm for implementing belief network inference},
	Year = {1996}}

@inproceedings{dechter96b,
	Author = {R. Dechter},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'96)},
	Pages = {220-227},
	Title = {Topological parameters for time-space tradeoffs},
	Year = {1996}}

@inproceedings{fattah96,
	Author = {Y. El-Fattah and R. Dechter},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'96)},
	Pages = {244-251},
	Title = {An evaluation of structural parameters for probabilistic reasoning: results on benchmark circuits},
	Year = {1996}}

@inproceedings{boutilier96,
	Author = {C. Boutilier and N. Friedman and M. Goldszmidt and D. Koller},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI'96)},
	Pages = {115-123},
	Title = {Context-specific independence in Bayesian networks},
	Year = {1996}}

@inproceedings{iscas,
	Author = {Brglez and Fujiwara},
	Booktitle = {Proceedings of the IEEE International Symposium on Circuits and Systems},
	Title = {A neutral netlist of 10 combinatorial benchmark circuits and a target translator in Fortran},
	Year = {1996}}

@inproceedings{mackworth94,
	Author = {Y. Zhang amd A. K. Mackworth},
	Booktitle = {Principles and Practice of constraint programming, number 874, in Lecture notes in computer Science},
	Pages = {255-262},
	Title = {Specification and verification of constraint-based dynamic systems},
	Year = 1994}

@inproceedings{schaerf97,
	Author = {A. Schaerf},
	Booktitle = {National Conf. on Artificial Intelligence (AAAI97)},
	Pages = {1254-1259},
	Title = {Combining local search and look-ahead for scheduling and constraint satisfaction problems},
	Year = 1997}

@inproceedings{bayardo97,
	Author = {R. J. Bayardo and R. C. Schrag},
	Booktitle = {National Conference on Artificial Intelligence (AAAI)},
	Pages = {203-208},
	Title = {Using CSP look-back techniques to solve real world SAT instances},
	Year = 1997}

@inproceedings{bayardo96,
	Author = {R. Bayardo and D. Miranker},
	Booktitle = {AAAI},
	Pages = {298-304},
	Title = {A complexity analysis of space-bound learning algorithms for the constraint satisfaction problem},
	Year = 1996}

@inproceedings{bayardo95,
	Author = {R. Bayardo and D. P. Miranker},
	Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
	Pages = {558--562},
	Title = {On the space-time trade-off in solving constraint satisfaction problems},
	Year = 1995}

@inproceedings{eddie97a,
	Author = {E. Schwalb},
	Booktitle = {Proceeding of National Conference of Artificial Intelligence (AAAI'97)},
	Pages = {165-171},
	Title = {Temporal reasoning with resolution and constraint propagation},
	Year = 1997}

@inproceedings{christer96,
	Author = {P. Johnson and C. Backstrom},
	Booktitle = {Proceedings of the Thirteen National Conference on Artificial Intelligence},
	Pages = {1235-1240},
	Title = {A linear-programming approach to temporal reasoning},
	Year = 1996}

@inproceedings{koubarakis92,
	Author = {M. Koubarakis},
	Booktitle = {Proceedings of the Third international Conference on Principles of Knowledge-bases and Reasoning (KR-92)},
	Pages = {24-35},
	Title = {Dense time and temporal constraints with inequalities},
	Year = 1992}

@article{haroud96,
	Author = {D. Haroud and B. Faltings},
	Journal = {Constraint, International journal},
	Pages = {85-118},
	Title = {Consistency techniques for continueous constraints},
	Year = 1996}

@inproceedings{richards98,
	Author = {T. T. Richards and B. Richards},
	Booktitle = {Principles and practice of Constraint Programming- CP98},
	Pageas = {370-384},
	Title = {Non-systematic search and learning: an empirical study},
	Year = 1998}

@inproceedings{puget98,
	Author = {J. Puget},
	Booktitle = {National Conference on Artificial Intelligence, AAAI98},
	Title = {xxx},
	Year = 1998}

@inproceedings{cp98,
	Author = {M. Mahler and J. Puget, editors},
	Booktitle = {Lecture Notes in Computer Science},
	Title = {Principles and practice of Constraint Programming- CP98},
	Year = 1998}

@inproceedings{cp2000,
	Author = {R.Dechter, editor},
	Booktitle = {Lecture Notes in Computer Science},
	Title = {Principles and practice of Constraint Programming- CP2000},
	Year = 2000}

@inproceedings{koubarakis96,
	Author = {M. Koubarakis},
	Booktitle = {Principles and Practice of Constraint Programming (CP'96)},
	Pages = {297-307},
	Title = {tractable disjunctions of linear constraints},
	Year = 1996}

@article{koubarakis00,
	Author = {M. Koubarakis},
	Journal = {Artificial Intelligence},
	Pages = {223-263},
	Title = {Querying temporal and spatial constraint networks in PTIME},
	Vol = {123(1-2)},
	Year = 2000}

@inproceedings{koubarakis95,
	Author = {M. Koubarakis},
	Booktitle = {Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95)},
	Pages = {53-69},
	Title = {From local to global consistency in temporal constraint networks},
	Year = 1995}

@inproceedings{dimacs94,
	Author = {B. Selman and H. Kautz and B. Cohen},
	Booktitle = {Dimacs 1994},
	Title = {Local search strategies for satsifiability testing},
	Year = 1994}

@inproceedings{selman94,
	Author = {B. Selman and H. Kautz and B. Cohen},
	Booktitle = {Proceedings of the Eleventh National Conference on Artificial Intelligence},
	Pages = {337-343},
	Title = {Noise strategies for local search},
	Year = 1994}

@inproceedings{selman93,
	Author = {B. Selman and H. Kautz},
	Booktitle = {Proceedings of the Eleventh National Conference on Artificial Intelligence},
	Pages = {46-51},
	Title = {An empirical study of greedy local search for satisfiability testing},
	Year = 1993}

@inproceedings{drankengren97,
	Author = {T. Drankengren and P. Jonsson},
	Booktitle = {International Joint Conference on Artificial Intelligence (Ijcai-97)},
	Pages = {389-394},
	Title = {Towards a complete classification of tractability in Allen's algebra},
	Year = 1997}

@inproceedings{drankengren96,
	Author = {T. Drankengren and P. Jonsson},
	Booktitle = {National Conference on Artificial Intelligence (AAAI'96)},
	Pages = {389-394},
	Title = {Maximal tractable subclasses of Allen'sinterval algebra: preliminary report},
	Year = 1996}

@inproceedings{gent93,
	Author = {I. P. Gent and T. Walsh},
	Booktitle = {Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI'93)},
	Pages = {28-33},
	Title = {Towards an understanding of hill-climbing procedures for SAT},
	Year = 1993}

@inproceedings{smith98,
	Author = {B. Smith and S. A. Grant},
	Booktitle = {European Conference on Artificial Intelligence (ECAI-92)},
	Pages = {249-253},
	Title = {Trying harder to failfirst},
	Year = 1998}

@inproceedings{gent96,
	Author = {I. P. Gent, E. MacIntyre, P. Prosser, and T. Walsh},
	Booktitle = {Thirteen National Conference on Artificial Intelligence},
	Title = {The constrainedness of search},
	Year = 1996}

@inproceedings{gent95,
	Author = {I. P. Gent, E. MacIntyre, P. Prosser, B. M. Smith and T. Walsh},
	Booktitle = {Principles and Practice of Constraint Programming (CP95)},
	Pages = {179-193},
	Title = {An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem},
	Year = 1995}

@inproceedings{morris93,
	Author = {P. Morris},
	Booktitle = {Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI'93)},
	Pages = {40-45},
	Title = {The breakout method for escaping from local minima},
	Year = 1993}

@article{agm,
	Author = {C.R. Alchourron and P. Gardenfors and D. Makinson},
	Journal = {Journal of Symbolic logic},
	Pages = {510-530},
	Title = {On the logic of theory change: partial meet contraction and revision functions},
	Volume = 50,
	Year = 1985}

@article{shimony97,
	Author = {E. Santos and S.E. Shimony and E. Williams},
	Journal = {International Journal of Approximate Reasoning},
	Title = {Hybrid algorithms for approximate belief updating in Bayes nets},
	Year = {in press}}

@article{gerevini95,
	Author = {A. Gerevini and L. Schubert},
	Journal = {Artificial Intelligence},
	Pages = {207-248},
	Title = {Efficient algorithms for qualitative reasoning abouttime},
	Volume = {74(3)},
	Year = 1995}

@article{lauriere78,
	Author = {J. L. Lauriere},
	Journal = {Artificial Intelligence},
	Number = 1,
	Title = {A language and a program for stating and solving combinatorial problems},
	Volume = 10,
	Year = 1978}

@article{hopfield85,
	Author = {J.J. Hopfield and D.W. Tank},
	Journal = {Biological Cybernetics},
	Pages = {144-152},
	Title = {Neural computation of decisions in optimization problems},
	Volume = 52,
	Year = 1985}

@article{ginsberg93,
	Author = {M.L. Ginsberg},
	Journal = {Journal of Artificial Intelligence Research},
	Pages = {25-46},
	Title = {Dynamic backtracking},
	Volume = 1,
	Year = 1993}

@article{gottlob92,
	Author = {G. Gottlob},
	Journal = {Journal of Logic and Computation},
	Pages = {397--425},
	Title = {Complexity results for nonmonotonic logics},
	Volume = {2},
	Year = {June 1992}}

@book{bertele,
	Author = {U. Bertele and F. Brioschi},
	Publisher = {Academic Press},
	Title = {Nonserial Dynamic Programming},
	Year = {1972}}

@inproceedings{minimal-models,
	Address = {Washington, D.C.},
	Author = {R. Ben-Eliyahu and R. Dechter},
	Booktitle = {Proceedings of the National Conference of Artificial Intelligence (AAAI'93)},
	Title = {On computing minimal models},
	Year = 1993}

@inproceedings{Irina94,
	Author = {R. Dechter and I. Rish},
	Booktitle = {Principles of Knowledge Representation and Reasoning (KR-94)},
	Pages = {134-145},
	Title = {Directional resolution: The Davis-Putnam procedure, revisited},
	Year = {1994}}

@inproceedings{Irina96,
	Author = {I. Rish and R. Dechter},
	Booktitle = {Principles of Constraint Programming (CP-96)},
	Pages = {555-556},
	Title = {To guess or to think? hybrid algorithms for SAT},
	Year = {1996}}

@inproceedings{vanbeek94,
	Address = {Bonn, Germany},
	Author = {P. van Beek and R. Dechter},
	Booktitle = {Proceedings of Knowledge Representation (KR-94)},
	Pages = {572--582},
	Title = {Constraint tightness versus global consistency},
	Year = {May 1994}}

@inproceedings{jeavons95,
	Address = {France},
	Author = {P. Jeavons, D. Cohean and M. Gyssens},
	Booktitle = {Constraint Programming (CP'95)},
	Title = {A unifying framework for tractable constraints},
	Year = {1995}}

@article{gyssens94,
	Author = {M. Gyssens, P. Jeavons, and D. Cohean},
	Journal = {Artificial Intelligence},
	Pages = {57-89},
	Title = {Decomposing constraint satisfaction problems using database techniques},
	Volume = 66,
	Year = 1994}

@article{doyle79,
	Author = {J. Doyle},
	Journal = {Artificial Intelligence},
	Pages = {231--272},
	Title = {A Truth Maintenance System},
	Volume = 12,
	Year = 1979}

@article{kirousis,
	Author = {L. M. Kirousis},
	Journal = {Artificial Intelligence},
	Pages = {147--160},
	Title = {Fast Parallel constraint satisfaction},
	Volume = 64,
	Year = 1993}

@inproceedings{cooper88,
	Author = {G. Cooper},
	Booktitle = {Uncertainty in Artificial Intelligence (UAI)},
	Pages = {9--16},
	Title = {A method for using belief networks as influence diagrams},
	Year = {1988}}

@article{cooper94,
	Author = {M. C. Cooper, D. A. Cohen and P.G. Jeavons},
	Journal = {Artificial Intelligence},
	Pages = {347--361},
	Title = {Characterizing tractable constraints},
	Volume = 65,
	Year = 1994}

@article{cooper90a,
	Author = {M. C. Cooper},
	Journal = {Artificial Intelligence},
	Pages = {89-95},
	Title = {An optimal k-consistency algorithm},
	Volume = {41(1)},
	Year = 1990}

@article{jeavons96,
	Author = {P. G. Jeavons and M. C. Cooper},
	Journal = {Artificial Intelligence},
	Pages = {327--339},
	Title = {Tractable constraints on ordered domains},
	Volume = 79,
	Year = 1996}

@article{beeri83,
	Author = {C. Beeri and R. Fagin and D. Maier and M. Yannakakis},
	Journal = {Journal of the ACM},
	Number = 3,
	Pages = {479--513},
	Title = {On the Desirability of Acyclic Database ochemes},
	Volume = 30,
	Year = 1983}

@article{kahn77,
	Author = {K. Kahn and G. A. Gorry},
	Journal = {Artificial Intelligence},
	Pages = {87-108},
	Title = {Mechanizing temporal knowledge},
	Volume = 9,
	Year = 1977}

@article{davis87,
	Author = {E. Davis},
	Journal = {Artificial Intelligence},
	Pages = {281-331},
	Title = {Constraint propagation with interva labels},
	Volume = 32,
	Year = 1987}

@article{davis84,
	Author = {R. Davis},
	Journal = {Artificial Intelligence},
	Title = {Diagnostic Reasoning Based on Structure and Behavior},
	Volume = 24,
	Year = 1984}

@article{avi96,
	Author = {R. Dechter and A. Dechter},
	Journal = {Artificial Intelligence},
	Page = {1--20},
	Title = {Structure driven algorithms for truth-maintenance},
	Volume = 82,
	Year = 1996}

@article{putnam60,
	Author = {M. Davis and H. Putnam},
	Journal = {Journal of the Association of Computing Machinery},
	Number = 3,
	Title = {A computing procedure for quantification theory},
	Volume = 7,
	Year = 1960}

@article{davis62,
	Author = {M. Davis and G. Logemann and