Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • 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
Machine-Assisted Reformulation for MiniZinc
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
2019 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Model reformulation plays an important role in improving models and reducing search space so that solutions can be found faster. In solving Constraint Satisfaction Problems (CSPs), a model of a CSP may be solved rapidly, while a different model may take excessively long to solve. The efficient solution of CSP is significant in real-world applications, such as air traffic management, resource allocation, production scheduling, and bioinformatics. Many technologies such as constraint programming (CP), hybrid technologies, mixed integer programming (MIP), constraint-based local search (CBLS), boolean satisfiability (SAT) could have different solvers and backends to solve the real-time problems. Model reformulation can have a significant impact on solving time. Techniques from formal methods will be used to provide machine assistance for MiniZinc, which is the high-level modelling language to model CSPs. The verification tool, Isabelle, will be used to verify the correctness of reformulations. We plan to apply recent results in formal methods such as program analysis and synthesis to provide semi-automated frameworks for model analysis. In this paper, we identify the challenges, implement frameworks, and evaluate our experimental results in reformulations for future research.

Place, publisher, year, edition, pages
2019.
Keywords [en]
formal methods, implied constraint, reformula- tions, constraint programming, optimisation, modelling languages
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:uu:diva-392599OAI: oai:DiVA.org:uu-392599DiVA, id: diva2:1349070
Conference
IEEE International Workshops on Foundations and Applications of Self* Systems (FAS*2019), Umeå, Sweden, 16-20 June 2019
Available from: 2019-09-06 Created: 2019-09-06 Last updated: 2019-09-16Bibliographically approved

Open Access in DiVA

fulltext(266 kB)19 downloads
File information
File name FULLTEXT01.pdfFile size 266 kBChecksum SHA-512
3ed0594b82783cecad0ea2fe0c997f65e18e520f32c83f33c29c2ef4206135739ca0b6d50755ca54e7a38e82f1dd448a6a7f3cd77fddde87e2ffbd079c7f86fe
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Vo, Huu-Phuc
By organisation
Computing Science
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 19 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: 69 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • 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