البيان رقم صفر

Proceedings of the tenth national conference on Artificial intelligence

Backlinks

Reference. Hard and easy distributions of SAT problems

12 July 1992