Optimasi penjadwalan pola kerja - cuti operator pada perusahaan kontraktor penambangan dengan metode differensial evolution algorithm (Fakultas Teknik Universitas Indonesia, 2009)