Penjadwalan Kelas Berbasis SMT (Satisfiability Modulo Theories) Dengan Partisi Data Masukan di Fakultas Teknik Unsoed

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

[img] PDF (Cover)
COVER-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf

Download (181kB)
[img] PDF (Legalitas)
LEGALITAS-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf
Restricted to Repository staff only

Download (643kB)
[img] PDF (Abstrak)
ABSTRAK-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf

Download (224kB)
[img] PDF (BabI)
BAB-I-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf
Restricted to Repository staff only

Download (216kB)
[img] PDF (BabII)
BAB-II-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf
Restricted to Repository staff only

Download (298kB)
[img] PDF (BabIII)
BAB-III-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf
Restricted to Repository staff only

Download (220kB)
[img] PDF (BabIV)
BAB-IV-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf
Restricted to Repository staff only

Download (417kB)
[img] PDF (BabV)
BAB-V-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf
Restricted to Repository staff only

Download (210kB)
[img] PDF (DaftarPustaka)
DAFTAR PUSTAKA-Krisna Dewa Kawuryan-H1A016078-Skripsi-2020.pdf
Restricted to Repository staff only

Download (209kB)
[img] 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.

Item Type: Thesis (Skripsi)
Nomor Inventaris: H20135
Uncontrolled Keywords: Satisfiability Modulo Theories,Partisi Data, penjadwalan
Subjects: D > D18 Data processing Information systems
Divisions: Fakultas Teknik > S1 Teknik Elektro
Depositing User: Mr Krisna Dewa Kawuryan
Date Deposited: 18 Nov 2020 01:40
Last Modified: 18 Nov 2020 01:40
URI: http://repository.unsoed.ac.id/id/eprint/6243

Actions (login required)

View Item View Item