Using constraint programming to schedule an operating theatre | IEEE Conference Publication | IEEE Xplore