In this Chapter, several interesting models and their formulation in LPL are presented. The examples have been chosen in order to give a “round-trip” of LPL and to highlight several stimulating aspects not found in other languages, especially in the field of modeling logical problems. Each problem is briefly described in natural language followed by a formal statement of the model structure. Comments are given on the model structure and the LPL code when appropriate from the point of view of modeling language specification. All problems can be found on the LPL-site (see Availability of the LPL System).
KeywordsConjunctive Normal Form Intersection Problem Satisfiability Problem Initial Inventory Capacitate Facility Location Problem
Unable to display preview. Download preview PDF.