Polynomial algorithms that prove an NP-hard hypothesis implies an NP-hard conclusion
scientific article; zbMATH DE number 1792308