Linear Constraints with Binary Variables to Model Logical Relations Home Topics Statistics Linear Constraints with Binary Variables to Model Logical Relations