ML Anthology

Control-Based Clause Sharing in Parallel SAT Solving

Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
IJCAI 2009 pp. 499-504
/ijcai/2009/hamadi2009ijcai-control/
PDF IJCAI Semantic Scholar

Cite

Text

Hamadi et al. "Control-Based Clause Sharing in Parallel SAT Solving." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Hamadi et al. "Control-Based Clause Sharing in Parallel SAT Solving." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/hamadi2009ijcai-control/)

BibTeX

@inproceedings{hamadi2009ijcai-control,
  title     = {{Control-Based Clause Sharing in Parallel SAT Solving}},
  author    = {Hamadi, Youssef and Jabbour, Saïd and Sais, Lakhdar},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {499-504},
  url       = {https://mlanthology.org/ijcai/2009/hamadi2009ijcai-control/}
}