Towards understanding differences between modelling pipelines: a modelers perspective

Csoban Balogh; Ruth Hoffmann; Joan Espasa Arxer

Towards understanding differences between modelling pipelines: a modelers perspective

Csoban Balogh, Ruth Hoffmann, Joan Espasa Arxer

Research output: Contribution to conference › Paper › peer-review

Abstract

In this work we aim to investigate the capabilities of the MiniZinc and Savile Row constraint programming pipelines from the user’s perspective. We evaluate their modelling and reformulation capabilities on a selection of six diverse problem classes using the commonly supported Chuffed solver. Our preliminary findings show that both pipelines are very competitive in performance. However, they seem to cater to distinct user preferences. MiniZinc allows better modeler control, and provides a slightly more expressive language due to the facilities for code organization and reusability. Conversely, Savile Row provides a solid set of default settings and a more consistent
17 performance profile.

Original language	English
Pages	1-9
Number of pages	9
Publication status	Published - 2 Sept 2024
Event	The 23rd workshop on Constraint Modelling and Reformulation (ModRef 2024) - Girona, Spain, Girona, Spain Duration: 2 Sept 2024 → 2 Sept 2024 Conference number: 23 https://modref.github.io/ModRef2024.html

Workshop

Workshop	The 23rd workshop on Constraint Modelling and Reformulation (ModRef 2024)
Abbreviated title	ModRef 2024
Country/Territory	Spain
City	Girona
Period	2/09/24 → 2/09/24
Internet address	https://modref.github.io/ModRef2024.html

Keywords

Constraint modelling
Constraint pipelines
Constraint satisfaction problems

Access to Document

https://modref.github.io/papers/ModRef2024_TowardsUnderstandingDifferencesBetweenModellingPipelines.pdf

Enhancing Group Search with Graph Tech: Enhancing Group Search with Graph Techniques
Hoffmann, R. (PI)
EPSRC
1/12/23 → 30/11/25
Project: Standard

Cite this

@conference{e23d8c88a9b441258dc7631de09d6356,

title = "Towards understanding differences between modelling pipelines: a modelers perspective",

abstract = "In this work we aim to investigate the capabilities of the MiniZinc and Savile Row constraint programming pipelines from the user{\textquoteright}s perspective. We evaluate their modelling and reformulation capabilities on a selection of six diverse problem classes using the commonly supported Chuffed solver. Our preliminary findings show that both pipelines are very competitive in performance. However, they seem to cater to distinct user preferences. MiniZinc allows better modeler control, and provides a slightly more expressive language due to the facilities for code organization and reusability. Conversely, Savile Row provides a solid set of default settings and a more consistent17 performance profile.",

keywords = "Constraint modelling, Constraint pipelines, Constraint satisfaction problems",

author = "Csoban Balogh and Ruth Hoffmann and {Espasa Arxer}, Joan",

year = "2024",

month = sep,

day = "2",

language = "English",

pages = "1--9",

note = "The 23rd workshop on Constraint Modelling and Reformulation (ModRef 2024), ModRef 2024 ; Conference date: 02-09-2024 Through 02-09-2024",

url = "https://modref.github.io/ModRef2024.html",

}

Balogh, C, Hoffmann, R & Espasa Arxer, J 2024, 'Towards understanding differences between modelling pipelines: a modelers perspective', Paper presented at The 23rd workshop on Constraint Modelling and Reformulation (ModRef 2024), Girona, Spain, 2/09/24 - 2/09/24 pp. 1-9. <https://modref.github.io/papers/ModRef2024_TowardsUnderstandingDifferencesBetweenModellingPipelines.pdf>

TY - CONF

T1 - Towards understanding differences between modelling pipelines

T2 - The 23rd workshop on Constraint Modelling and Reformulation (ModRef 2024)

AU - Balogh, Csoban

AU - Hoffmann, Ruth

AU - Espasa Arxer, Joan

N1 - Conference code: 23

PY - 2024/9/2

Y1 - 2024/9/2

N2 - In this work we aim to investigate the capabilities of the MiniZinc and Savile Row constraint programming pipelines from the user’s perspective. We evaluate their modelling and reformulation capabilities on a selection of six diverse problem classes using the commonly supported Chuffed solver. Our preliminary findings show that both pipelines are very competitive in performance. However, they seem to cater to distinct user preferences. MiniZinc allows better modeler control, and provides a slightly more expressive language due to the facilities for code organization and reusability. Conversely, Savile Row provides a solid set of default settings and a more consistent17 performance profile.

AB - In this work we aim to investigate the capabilities of the MiniZinc and Savile Row constraint programming pipelines from the user’s perspective. We evaluate their modelling and reformulation capabilities on a selection of six diverse problem classes using the commonly supported Chuffed solver. Our preliminary findings show that both pipelines are very competitive in performance. However, they seem to cater to distinct user preferences. MiniZinc allows better modeler control, and provides a slightly more expressive language due to the facilities for code organization and reusability. Conversely, Savile Row provides a solid set of default settings and a more consistent17 performance profile.

KW - Constraint modelling

KW - Constraint pipelines

KW - Constraint satisfaction problems

M3 - Paper

SP - 1

EP - 9

Y2 - 2 September 2024 through 2 September 2024

ER -

Towards understanding differences between modelling pipelines: a modelers perspective

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Projects

Enhancing Group Search with Graph Tech: Enhancing Group Search with Graph Techniques

Cite this