An advanced answer set programming encoding for nurse scheduling