ارائه یک مدل ریاضی زمان بندی نیروی انسانی و حل آن با استفاده از روش جستجوی ممنوع (TS)