Automatic Predicate Encapsulation of Potentially Profitably Presolvable Submodels in MiniZinc
An underused feature of the MiniZinc language for modelling combinatorial problems is that its models can be parsed, analysed, and modified; however, this could enable modellers to improve their modelsin novel ways. The auto-tabling tool of Jip J. Dekker allows modellers to annotate a predicate defi...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Uppsala universitet, Institutionen för informationsteknologi
2018
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-351965 |