Hard and easy distributions of sat problems. (1992)

by D Mitchell, B Selman
Venue:In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92),