AI-Based Schedulers in Manufacturing Practice: Report of a Panel Discussion