Real-World Staff Rostering via Branch-and-Price in a Declarative Framework. - Marco Bender; Sebastian Berckey; Michael Elberfeld; Jörg Herbers (OR, 2018)