The First Constraint-Based Local Search Backend for MiniZinc

The First Constraint-Based Local Search Backend for MiniZinc

MiniZinc is a modelling language used to model combinatorial optimisation and satisfaction problems, which can then be solved in a backend solver. There are many different backend solvers based on different technologies such as constraint programming, mathematical programming, or Boolean satisfiabil...

Full description

Bibliographic Details
Main Author: Björdal, Gustav
Format: Others
Language:English
Published: Uppsala universitet, Institutionen för informationsteknologi 2014
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-234847
id ndltd-UPSALLA1-oai-DiVA.org-uu-234847
record_format oai_dc
spelling ndltd-UPSALLA1-oai-DiVA.org-uu-2348472014-10-25T04:48:17ZThe First Constraint-Based Local Search Backend for MiniZincengBjördal, GustavUppsala universitet, Institutionen för informationsteknologi2014MiniZinc is a modelling language used to model combinatorial optimisation and satisfaction problems, which can then be solved in a backend solver. There are many different backend solvers based on different technologies such as constraint programming, mathematical programming, or Boolean satisfiability solving. However, there is currently no constraint-based local search (CBLS) backend. This thesis gives an overview of the design of the first CBLS backend for MiniZinc. Experimental results show that for some relevant MiiZinc models, the CBLS backend is able to give high-quality results. Student thesisinfo:eu-repo/semantics/bachelorThesistexthttp://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-234847IT ; 14 066application/pdfinfo:eu-repo/semantics/openAccess
collection NDLTD
language English
format Others
sources NDLTD
description MiniZinc is a modelling language used to model combinatorial optimisation and satisfaction problems, which can then be solved in a backend solver. There are many different backend solvers based on different technologies such as constraint programming, mathematical programming, or Boolean satisfiability solving. However, there is currently no constraint-based local search (CBLS) backend. This thesis gives an overview of the design of the first CBLS backend for MiniZinc. Experimental results show that for some relevant MiiZinc models, the CBLS backend is able to give high-quality results.
author Björdal, Gustav
spellingShingle Björdal, Gustav
The First Constraint-Based Local Search Backend for MiniZinc
author_facet Björdal, Gustav
author_sort Björdal, Gustav
title The First Constraint-Based Local Search Backend for MiniZinc
title_short The First Constraint-Based Local Search Backend for MiniZinc
title_full The First Constraint-Based Local Search Backend for MiniZinc
title_fullStr The First Constraint-Based Local Search Backend for MiniZinc
title_full_unstemmed The First Constraint-Based Local Search Backend for MiniZinc
title_sort first constraint-based local search backend for minizinc
publisher Uppsala universitet, Institutionen för informationsteknologi
publishDate 2014
url http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-234847
work_keys_str_mv AT bjordalgustav thefirstconstraintbasedlocalsearchbackendforminizinc
AT bjordalgustav firstconstraintbasedlocalsearchbackendforminizinc
_version_ 1716718876849340416

Similar Items