Ressource Planning and Scheduling for Operating Room Management: Current State and Challenges | IEEE Conference Publication | IEEE Xplore