Studying the complexity of global verification for NP-hard discrete optimization problems
scientific article; zbMATH DE number 1972171