On this site, one can usually finds questions like “How to transform my expression into linear form?” The expressions usually contain
iff, and combines of them. But the answers are usually problem specific, making it hard to generalize them to other cases.
My questions are:
- Is there any systematic material on linearization for conditional / logical expressions?
- It seems that Constraint Programming (CP), which I am not quite familiar with, handles conditional / logical expressions more intuitively. Is there any reference on the link between CP and Mathematical Programming.