![]() | ![]() |
| 2008 | ||
|---|---|---|
| 2 | Tianyan Deng, Daoyun Xu: NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). FAW 2008: 79-88 | |
| 1 | Tianyan Deng, Daoyun Xu: Hardness of Approximation Algorithms on k-SAT and (k, s)-SAT Problems. ICYCS 2008: 60-64 | |
| 1 | Daoyun Xu | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page