Hubie Chen Inverse NP Problems. 94-118 2008 17 Computational Complexity 1 http://dx.doi.org/10.1007/s00037-008-0240-6 db/journals/cc/cc17.html#Chen08