Seven Challenges in Parallel SAT Solving

Hamadi and Wintersteiger. "Seven Challenges in Parallel SAT Solving." AAAI Conference on Artificial Intelligence, 2012. doi:10.1609/AAAI.V26I1.8438

[Hamadi and Wintersteiger. "Seven Challenges in Parallel SAT Solving." AAAI Conference on Artificial Intelligence, 2012.](https://mlanthology.org/aaai/2012/hamadi2012aaai-seven/) doi:10.1609/AAAI.V26I1.8438

@inproceedings{hamadi2012aaai-seven,
  title     = {{Seven Challenges in Parallel SAT Solving}},
  author    = {Hamadi, Youssef and Wintersteiger, Christoph M.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2012},
  pages     = {2120-2125},
  doi       = {10.1609/AAAI.V26I1.8438},
  url       = {https://mlanthology.org/aaai/2012/hamadi2012aaai-seven/}
}