and easy distributions of sat problems (1992)

by Hard
Venue:In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92