Domain-independant extensions to GSAT : Solving large structured variables (1993)

by B Selman, H A Kautz
Venue:In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI’93