Encoding binary arithmetic operations in integer programming formulations
scientific article; zbMATH DE number 6305883