Date of Award
1-1-2016
Document Type
Masters Thesis
Degree Name
M.S.
Organizational Unit
Daniel Felix Ritchie School of Engineering and Computer Science, Computer Science
First Advisor
Nathan R. Sturtevant, Ph.D.
Second Advisor
Ronald DeLyser
Third Advisor
Anneliese Andrews
Keywords
CSP, Communicating sequential processes, MAX-SAT, Maximum satisfiability, Optimization, SAT, Boolean satisfiability
Abstract
Most of the companies in Iraq spend significant amounts of time and money when transferring employees between home and work. In this thesis, we model the problem of the Dhi Qar Oil company (DQOC) transportations using three modeling languages from AI: Constraint Programing (CP), Boolean Satisfiability (SAT), and Maximum Satisfiability (MAX-SAT). We then use solvers to find optimal solutions to this problem.
We show which of these solvers is more efficient when finding optimal solutions. For this purpose, we create a test suite of 360 problems to test these solvers. All solvers are applied to these problems and the final efficiency is shown.
Publication Statement
Copyright is held by the author. User is responsible for all copyright compliance.
Rights Holder
Raheem T. Al Rammahi
Provenance
Received from ProQuest
File Format
application/pdf
Language
en
File Size
85 p.
Recommended Citation
Al Rammahi, Raheem T., "Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT" (2016). Electronic Theses and Dissertations. 1110.
https://digitalcommons.du.edu/etd/1110
Copyright date
2016
Discipline
Computer Science