The continuous quadrant penalty formulation of logical constraintsSonia CafieriAndrew R. Connet al.2023OJMO