Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 6 dokumen yang sesuai dengan query
cover
Apt, Krzysztof R.
New York: Cambridge University Press, 2003
005.116 KRZ p
Buku Teks SO  Universitas Indonesia Library
cover
Dania Tigarani Soraya
"Kegiatan rutin yang harus dilakukan oleh setiap lembaga pendidikan merupakan tugas kunci yang menunjang kenyamanan dalam proses belajar-mengajar. Berbagai teknik dan algoritma pencarian pun dicoba untuk memecahkan permasalahan penjadwalan. Banyaknya kemungkin an solusi dari dari berbagai kombinasi variabel dan domain dalam permasalahan penjadwalan membuat permasalahan ini termasuk ke dalam permasalahan kombinatorial. Salah satu teknik yang digunakan untuk memecahkan permasalahan kombinatorial adalah Constraint Programming, yang memodelkan permasalahan yang ada dengan membatasi kemungkinan kombinasi nilai untuk setiap variabel. Kemudian solusi yang optimum dicari dengan menggunakan algoritma pencarian.
Dalam Tugas Akhir ini, penjadwalan perkuliahan dalam Tugas Akhir ini dibuat untuk memenuhi kebutuhan penjadwalan perkuliahan di Fakultas Ilmu Komputer Universitas Indonesia (Fasilkom UI), khususnya program studi S1 Reguler. Proses penjadwalan dibagi ke dalam dua tahap, yang setiap tahapannya dimodelkan ke dalam Constraint Satisfaction Problem (CSP). Tahap pertama menangani masalah work allocation, yaitu pemetaan mata kuliah ke dosen. Sedangkan tahap yang kedua menangani masalah time tabling, yaitu pemetaan mata kuliah ke slot kuliah. Fungsi objektif dalam mencari solusi optimum (optimization) ditetapkan dalam setiap tahapan tersebut. Tahap pertama mengoptimisasi pemetaan mata kuliah ke dosen berdasarkan workload setiap dosen. Sedangkan tahap kedua mengoptimisasi pemetaan mata kuliah ke slot kuliah berdasarkan jumlah infocus yang tersedia di Fasilkom UI. Solusi yang optimum ini dicari dengan menggunakan algoritma pencarian Branch and Bound (B & B). ix + 67 hlm; 45 gbr; 7 tbl; Lampiran A,B,C;
Daftar Pustaka: 16 (1993 ? 2007)."
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2007
S-Pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
cover
"This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Québec, Canada, in October 2012. The 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks. The former was the traditional application track, which focused on industrial and academic uses of constraint technology and its comparison and integration with other optimization techniques (MIP, local search, SAT, etc.) The second track, featured for the first time in 2012, concentrated on multidisciplinary papers, cross-cutting methodology and challenging applications collecting papers that link CP technology with other techniques like machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory, and robotics. In addition, the track focused on challenging application fields with a high social impact such as CP for life sciences, sustainability, energy efficiency, web, social sciences, finance, and verification."
Berlin: Springer-Verlag, 2012
e20408656
eBooks  Universitas Indonesia Library
cover
Marriot, Kim
Cambridge, UK: MIT Press, 1998
005.13 MAR p
Buku Teks SO  Universitas Indonesia Library
cover
"The 26 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers are focused on both theoretical and practical, application-oriented issues in combinatorial optimization and feature current research with a special focus on inference and relaxation methods, integration methods, modeling methods, innovative applications of CP/AI/OR techniques, and implementation of CP/AI/OR techniques and optimization systems."
Berlin: Springer-Verlag, 2012
e20409717
eBooks  Universitas Indonesia Library