Cited publications in Proceedings of the tenth national conference on Artificial intelligence:Hard and easy distributions of SAT problems (1992)