Mitchell, David, Bart Selman, and Hector Levesque, ‘Hard and easy distributions of SAT problems’, Proceedings of the tenth national conference on Artificial intelligence, AAAI'92, San Jose, California: AAAI Press, 12 July 1992, pp 459–465.
conference paper