@InProceedings{AS5a,
  author = 	 {Gilles~Audemard  and Lakdhar Sais },
  title = 	 {A Symbolic Search Based Approach for Quantified Boolean Formulas},
  booktitle = 	 {eighth International Conference on Theory and Applications of Satisfiability Testing (SAT2005)},
  series = {LNCS},
  volume = {3569},
  editor = {T.~Walsh,F.~Bacchus},
  publisher = {Springer Verlag},
  year = 	 {2005},
  pages  = {16--30}
  
}