KAWURYAN, Krisna Dewa (2020) Penjadwalan Kelas Berbasis SMT (Satisfiability Modulo Theories) Dengan Partisi Data Masukan di Fakultas Teknik Unsoed. Skripsi thesis, Universitas Jenderal Soedirman.

	PDF (Cover) COVER-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Download (181kB)
	PDF (Legalitas) LEGALITAS-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Restricted to Repository staff only Download (643kB)
	PDF (Abstrak) ABSTRAK-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Download (224kB)
	PDF (BabI) BAB-I-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Restricted to Repository staff only Download (216kB)
	PDF (BabII) BAB-II-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Restricted to Repository staff only Download (298kB)
	PDF (BabIII) BAB-III-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Restricted to Repository staff only Download (220kB)
	PDF (BabIV) BAB-IV-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Restricted to Repository staff only Download (417kB)
	PDF (BabV) BAB-V-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Restricted to Repository staff only Download (210kB)
	PDF (DaftarPustaka) DAFTAR PUSTAKA-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Download (209kB)
	PDF (Lampiran) LAMPIRAN-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf Restricted to Repository staff only Download (258kB)

Abstract

Penjadwalan adalah suatu kegiatan perancangan berupa pengalokasian sumber daya baik mesin maupun tenaga kerja untuk menjalankan sekumpulan tugas sesuai prosesnya dalam jangka waktu tertentu. Masalah penjadwalan yang diambil adalah penjadwalan mata kuliah Fakultas Teknik Universitas Jenderal Soedirman. Dengan sumber daya berupa dosen, mahasiswa, ruang kelas, dan sebagainya. Masalah penjadwalan muncul karena adanya keterbatasan waktu, tenaga kerja, jumlah sumber daya, sifat dan syarat pekerjaan yang akan dilaksanakan. Penulis akan menyelesaikan masalah penjadwalan tersebut menggunakan satisfiability modulo theories. satisfiability modulo theories (SMT) merupakan teori tentang pengecekan formula logis dengan satu atau lebih latar belakang teori. Pada bahasa pemrograman Python tersedia library SMT dengan nama PySMT yang memiliki backend SMT solver. Penulis akan mengolah data masukan berupa mata kuliah, jadwal dosen, kapasitas ruangan, dan data constraint dengan menggunakan PySMT. Penulis akan memartisi data sesuai jurusan agar komputasi lebih cepat. Keluaran yang diharapkan berupa jadwal mata kuliah Fakultas Teknik yang memenuhi semua constraint atau batasan yang diberikan. Sehingga akan diperoleh sebuah program penjadwalan otomatis untuk Fakultas Teknik Unsoed yang dapat melakukan penjadwalan mata kuliah lebih cepat dan efisien.

Actions (login required)

View Item