Please use this identifier to cite or link to this item: http://rportal.lib.ntnu.edu.tw:80/handle/20.500.12235/111750
Title: The MiniZinc-SAT Compiler
The MiniZinc-SAT Compiler
Authors: 王弘倫
Wang, Hung-Lung
Hendrik Bierlee
Hendrik Bierlee
Keywords: none
Optimization
Constraint Programming
SAT
Issue Date: 2020
Abstract: none
Combinatorial (optimization) problems occur in nature and society. Constraint programming allows users to model such problems by declaring the variables and their constraints in a model. A powerful way to solve the model is by encoding it purely as Boolean algebra, specifically a SAT formula, and then use a specialized SAT solver. This thesis reports on the encoding process for the newly developed MiniZinc-SAT compiler -- a SAT compiler that supports and mixes three different encoding methods -- and offers an experimental evaluation.
URI: http://etds.lib.ntnu.edu.tw/cgi-bin/gs32/gsweb.cgi?o=dstdcdr&s=id=%22G060847070S%22.&
http://rportal.lib.ntnu.edu.tw:80/handle/20.500.12235/111750
Other Identifiers: G060847070S
Appears in Collections:學位論文

Files in This Item:
File SizeFormat 
060847070s01.pdf898.96 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.