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

Bart Selman

Backlinks

Reference. Hard and easy distributions of SAT problems

12 July 1992