A decision support system for scheduling the shifts of physicians during COVID-19 pandemic. (December 2020)