NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k).

Tianyan Deng, Daoyun Xu

Browse the full FAW paper archive.