Tianyan Deng

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Tianyan Deng, Daoyun Xu
NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). FAW (2008)
Tianyan Deng, Daoyun Xu
Hardness of Approximation Algorithms on k-SAT and (k, s)-SAT Problems. ICYCS (2008)