On the Accuracy and Running Time of GSAT

Deborah East, Miroslaw Truszczynski. On the Accuracy and Running Time of GSAT. In Pedro Barahona, José Júlio Alferes, editors, Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA 99, Évora, Portugal, September 21-24, 1999, Proceedings. Volume 1695 of Lecture Notes in Computer Science, pages 49-61, Springer, 1999.

Abstract

Abstract is missing.