A dichotomic algorithm for an operating room scheduling problem | IEEE Conference Publication | IEEE Xplore