2. Logical Modeling# Sections 2.1. Logical Modeling and Generalized Disjunctive Programs 2.2. Modeling Disjunctions through the Strip Packing Problem