@inproceedings{drake:AAAI02,
  author = "Drake, L. and Frisch, A.M. and Walsh, T.",
  title = "Combining Inference and Search for the Propositional
           Satisfiability Problem",
  booktitle = "Proceedings of the Eighteenth National Conference
               on Artificial Intelligence (Doctoral Consortium)",
  year = 2002}