in: PATAT-2000: Practical Applications and Theory of Automated Time Tabling. Konstanz, August 2000. Pages 280-297.