Li and Anbulagan. "Heuristics Based on Unit Propagation for Satisfiability Problems." International Joint Conference on Artificial Intelligence, 1997.
Markdown
[Li and Anbulagan. "Heuristics Based on Unit Propagation for Satisfiability Problems." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/li1997ijcai-heuristics/)
BibTeX
@inproceedings{li1997ijcai-heuristics,
title = {{Heuristics Based on Unit Propagation for Satisfiability Problems}},
author = {Li, Chu Min and Anbulagan, },
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1997},
pages = {366-371},
url = {https://mlanthology.org/ijcai/1997/li1997ijcai-heuristics/}
}