Change search
ReferencesLink to record
Permanent link

Direct link
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
IT, 14 066
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-234847OAI: diva2:758011
Educational program
Bachelor Programme in Computer Science
Available from: 2014-10-24 Created: 2014-10-24 Last updated: 2014-10-24Bibliographically approved

Open Access in DiVA

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

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 577 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

Total: 2419 hits
ReferencesLink to record
Permanent link

Direct link