Automatically solving NP-complete problems on a quantum computerShaohan HuPeng Liuet al.2018ICSE 2018