A logarithmic method for eliminating binary variables and constraints for the product of free-sign discrete functions
scientific article; zbMATH DE number 6144143