1 Introduction.- 2 General Solution Methods.- 2.1 Constraint Satisfaction and Optimization.- 2.2 ...