Selman and Kautz. "Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems." International Joint Conference on Artificial Intelligence, 1993.
Markdown
[Selman and Kautz. "Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/selman1993ijcai-domain/)
BibTeX
@inproceedings{selman1993ijcai-domain,
title = {{Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems}},
author = {Selman, Bart and Kautz, Henry A.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1993},
pages = {290-295},
url = {https://mlanthology.org/ijcai/1993/selman1993ijcai-domain/}
}