Operating room scheduling via answer set programming: Improved encoding and test on real data | Journal of Logic and Computation | DeepDyve