Audemard and Simon. "GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability." International Joint Conference on Artificial Intelligence, 2007.
Markdown
[Audemard and Simon. "GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/audemard2007ijcai-gunsat/)
BibTeX
@inproceedings{audemard2007ijcai-gunsat,
title = {{GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability}},
author = {Audemard, Gilles and Simon, Laurent},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2007},
pages = {2256-2261},
url = {https://mlanthology.org/ijcai/2007/audemard2007ijcai-gunsat/}
}