Towards Reformulating Essence Specifications for Robustness
The Essence language allows a user to specify a constraint problem at a level of abstraction above that at which constraint modelling decisions are made. Essence specifications are refined into constraint models using the Conjure automated modelling tool, which employs a suite of refinement rules. H...
I tiakina i:
| Ngā kaituhi matua: | , , , , , , |
|---|---|
| Hōputu: | Tuhinga |
| I whakaputaina: |
2021
|
| Ngā marau: | |
| Urunga tuihono: | https://arxiv.org/abs/2111.00821 http://arxiv.org/abs/2111.00821 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|