We investigate different solution techniques for solving a basic part
of configuration problems, namely linear arithmetic constraints over
integer variables. Approaches include integer programming, constraint
programming over finite domains and hybrid techniques. We also
discuss important extensions of the basic problem and how these can be
accommodated in the different solution approaches