Sub-Problem Pre-Solving in MiniZinc
Constraint models often describe complicated problems that contain sub-problems that could be solved in sub-models. Although pre-solving these sub-models might improve the performance of the model, manually splitting the model to accommodate the occurrences of these sub-models can be a great inconve...
Main Author: | Dekker, Jip J. |
---|---|
Format: | Others |
Language: | English |
Published: |
Uppsala universitet, Institutionen för informationsteknologi
2016
|
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-307145 |
Similar Items
-
The MiniZinc-SAT Compiler
by: Bierlee, Hendrik
Published: (2021) -
A Linter for Static Analysis of MiniZinc Models
by: Rimskog, Erik
Published: (2021) -
The First Constraint-Based Local Search Backend for MiniZinc
by: Björdal, Gustav
Published: (2014) -
Automatic Predicate Encapsulation of Potentially Profitably Presolvable Submodels in MiniZinc
by: Ek, Alexander
Published: (2018) -
A mini-review of TAT-MyoD fused proteins: state of the art and problems to solve
by: Marco Patruno, et al.
Published: (2017-12-01)