Models and solution techniques for frequency assignment problems - Aardal, Karen (ZIB-report, 2001)