Binary quadratic and higher-order polynomial programs are widely studied in the optimization literature by both theoreticians and practitioners alike. Despite boasting many diverse applications in a variety of settings, these...
Operations research practitioners frequently need to enforce logical conditions, such as if-then implications, within a mixed-integer linear program (MILP). Unfortunately, it is not always clear how to represent such conditions...