Cai and Su. "Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Cai and Su. "Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/cai2013ijcai-comprehensive/)
BibTeX
@inproceedings{cai2013ijcai-comprehensive,
title = {{Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses}},
author = {Cai, Shaowei and Su, Kaile},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {489-495},
url = {https://mlanthology.org/ijcai/2013/cai2013ijcai-comprehensive/}
}