ML Anthology

Combining the K-CNF and XOR Phase-Transitions

Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
IJCAI 2016 pp. 727-734
/ijcai/2016/dudek2016ijcai-combining/
IJCAI Semantic Scholar

Cite

Text

Dudek et al. "Combining the K-CNF and XOR Phase-Transitions." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Dudek et al. "Combining the K-CNF and XOR Phase-Transitions." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/dudek2016ijcai-combining/)

BibTeX

@inproceedings{dudek2016ijcai-combining,
  title     = {{Combining the K-CNF and XOR Phase-Transitions}},
  author    = {Dudek, Jeffrey M. and Meel, Kuldeep S. and Vardi, Moshe Y.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {727-734},
  url       = {https://mlanthology.org/ijcai/2016/dudek2016ijcai-combining/}
}