@inproceedings{DaMota_Nicolas_Stephan_WPSS_10,
  author = "B. {Da Mota} and P. Nicolas and I. St{\'e}phan",
  title = "A New Parallel Architecture for QBF Tools",
    booktitle = "Proceedings of the Workshop on Parallel Satisfiability Solving:
SAT and beyond SAT, Parallel Solving on New Architectures (WPSS'10)",
    year = "2010"
}