I am implementing an algorithm in "An optimization-based approach to network inference", and have some trouble in linearizing the product of an integer and a binar
