@InProceedings{AS04,
  author = 	 {Gilles~Audemard and Lakdhar Sais },
  title = 	 {SAT Based BDD Solver for Quantified Boolean Formulas},
  booktitle = 	 {proceedings of the 16th IEEE  International Conference  on Tools with Artificial Intelligence},
  pages = {},
  year = {2004},
  publisher={IEEE}
}