@inproceedings{drake:Interaction,
  author = "Drake, L. and Frisch, A.M.",
  title = "The Interaction Between Inference and Branching Heuristics",
  booktitle = "Proceedings the Sixth International Conference on Theory and
               Applications of Satisfiability Testing, Springer Lecture
               Notes in Computer Science series 2919 (to appear)",
  editor = "Giunchiglia, A. and Tacchella, A.",
  year = 2004}