ML Anthology

Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

Nadia Creignou, Reinhard Pichler, Stefan Woltran
IJCAI 2013 pp. 824-831
/ijcai/2013/creignou2013ijcai-hard/
IJCAI Semantic Scholar

Cite

Text

Creignou et al. "Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Creignou et al. "Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/creignou2013ijcai-hard/)

BibTeX

@inproceedings{creignou2013ijcai-hard,
  title     = {{Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?}},
  author    = {Creignou, Nadia and Pichler, Reinhard and Woltran, Stefan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {824-831},
  url       = {https://mlanthology.org/ijcai/2013/creignou2013ijcai-hard/}
}