uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The First Constraint-Based Local Search Backend for MiniZinc
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2014 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

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.

Place, publisher, year, edition, pages
2014.
Series
IT, 14 066
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:uu:diva-234847OAI: oai:DiVA.org:uu-234847DiVA: diva2:758011
Educational program
Bachelor Programme in Computer Science
Supervisors
Examiners
Available from: 2014-10-24 Created: 2014-10-24 Last updated: 2014-10-24Bibliographically approved

Open Access in DiVA

fulltext(719 kB)736 downloads
File information
File name FULLTEXT01.pdfFile size 719 kBChecksum SHA-512
97162bf64a8b90ce3228874b36fa18cb55184bdcd45fa44f03307a12c71108f8890b961a5e90c6bf654c76d3da51533c97b375ee7068f261d6638f4df47cf5dd
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 736 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 3037 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf