APPENDIXES A, B and C
Appendix A: Mathematical Programming Formulations
A.1. Linear Programming Formulations
A.2. Nonlinear Programming Formulations
A.3. Integer Programming Formulations
A.4. Disjunctive Programming Formulation
A.5. Branch and Bound
Appendix B: Selected Scheduling Systems
B.1. Generic Systems
B.2. Application-Specific Systems
B.3. Academic Prototypes
Appendix C: The LEKIN Scheduling System: User's Guide to the Educational Version
C.1. Installation
C.2. System Overview
C.3. More Advanced Features