Hulubei and O'Sullivan. "Optimal Refutations for Constraint Satisfaction Problems." International Joint Conference on Artificial Intelligence, 2005.
Markdown
[Hulubei and O'Sullivan. "Optimal Refutations for Constraint Satisfaction Problems." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/hulubei2005ijcai-optimal/)
BibTeX
@inproceedings{hulubei2005ijcai-optimal,
title = {{Optimal Refutations for Constraint Satisfaction Problems}},
author = {Hulubei, Tudor and O'Sullivan, Barry},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {163-168},
url = {https://mlanthology.org/ijcai/2005/hulubei2005ijcai-optimal/}
}