@inproceedings{hw12,
  author    = {Youssef Hamadi and
               Christoph M. Wintersteiger},
  title     = {Seven Challenges in Parallel SAT Solving},
  booktitle = {Proceedings of AAAI},
  year      = {2012},
  publisher = {AAAI Press}
}