Functionally redundant constraints for Boolean quadratic-type optimization problems
functionally redundant quadratic constraints
scientific article; zbMATH DE number 5076489