Ontology type: schema:Chapter Open Access: True
2007
AUTHORSNicholas Nethercote , Peter J. Stuckey , Ralph Becket , Sebastian Brand , Gregory J. Duck , Guido Tack
ABSTRACTThere is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to experiment with different solvers for a problem. In this paper we present MiniZinc, a simple but expressive CP modelling language which is suitable for modelling problems for a range of solvers and provides a reasonable compromise between many design possibilities. Equally importantly, we also propose a low-level solver-input language called FlatZinc, and a straightforward translation from MiniZinc to FlatZinc that preserves all solver-supported global constraints. This lets a solver writer support MiniZinc with a minimum of effort—they only need to provide a simple FlatZinc front-end to their solver, and then combine it with an existing MiniZinc-to-FlatZinc translator. Such a front-end may then serve as a stepping stone towards a full MiniZinc implementation that is more tailored to the particular solver. A standard language for modelling CP problems will encourage experimentation with and comparisons between different solvers. Although MiniZinc is not perfect—no standard modelling language will be—we believe its simplicity, expressiveness, and ease of implementation make it a practical choice for a standard language. More... »
PAGES529-543
Principles and Practice of Constraint Programming – CP 2007
ISBN978-3-540-74969-1
http://scigraph.springernature.com/pub.10.1007/978-3-540-74970-7_38
DOIhttp://dx.doi.org/10.1007/978-3-540-74970-7_38
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1007007409
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Artificial Intelligence and Image Processing",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Information and Computing Sciences",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"name": [
"National ICT Australia and the University of Melbourne, Victoria, Australia"
],
"type": "Organization"
},
"familyName": "Nethercote",
"givenName": "Nicholas",
"id": "sg:person.07732570545.28",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07732570545.28"
],
"type": "Person"
},
{
"affiliation": {
"name": [
"National ICT Australia and the University of Melbourne, Victoria, Australia"
],
"type": "Organization"
},
"familyName": "Stuckey",
"givenName": "Peter J.",
"id": "sg:person.012243374043.93",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93"
],
"type": "Person"
},
{
"affiliation": {
"name": [
"National ICT Australia and the University of Melbourne, Victoria, Australia"
],
"type": "Organization"
},
"familyName": "Becket",
"givenName": "Ralph",
"id": "sg:person.010164767572.44",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010164767572.44"
],
"type": "Person"
},
{
"affiliation": {
"name": [
"National ICT Australia and the University of Melbourne, Victoria, Australia"
],
"type": "Organization"
},
"familyName": "Brand",
"givenName": "Sebastian",
"id": "sg:person.012224671401.25",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012224671401.25"
],
"type": "Person"
},
{
"affiliation": {
"name": [
"National ICT Australia and the University of Melbourne, Victoria, Australia"
],
"type": "Organization"
},
"familyName": "Duck",
"givenName": "Gregory J.",
"id": "sg:person.014415213001.27",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014415213001.27"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Saarland University",
"id": "https://www.grid.ac/institutes/grid.11749.3a",
"name": [
"Programming Systems Lab, Saarland University, Saarbr\u00fccken, Germany"
],
"type": "Organization"
},
"familyName": "Tack",
"givenName": "Guido",
"id": "sg:person.01235032467.07",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01235032467.07"
],
"type": "Person"
}
],
"citation": [
{
"id": "sg:pub.10.1007/11799573_10",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1009388152",
"https://doi.org/10.1007/11799573_10"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11799573_10",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1009388152",
"https://doi.org/10.1007/11799573_10"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11889205_54",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1032948861",
"https://doi.org/10.1007/11889205_54"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-25938-1_18",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1033426672",
"https://doi.org/10.1007/978-3-540-25938-1_18"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-25938-1_18",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1033426672",
"https://doi.org/10.1007/978-3-540-25938-1_18"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-45193-8_95",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1037006276",
"https://doi.org/10.1007/978-3-540-45193-8_95"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-48085-3_36",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1042874840",
"https://doi.org/10.1007/978-3-540-48085-3_36"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11799573_11",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1053601832",
"https://doi.org/10.1007/11799573_11"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11799573_11",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1053601832",
"https://doi.org/10.1007/11799573_11"
],
"type": "CreativeWork"
}
],
"datePublished": "2007",
"datePublishedReg": "2007-01-01",
"description": "There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to experiment with different solvers for a problem. In this paper we present MiniZinc, a simple but expressive CP modelling language which is suitable for modelling problems for a range of solvers and provides a reasonable compromise between many design possibilities. Equally importantly, we also propose a low-level solver-input language called FlatZinc, and a straightforward translation from MiniZinc to FlatZinc that preserves all solver-supported global constraints. This lets a solver writer support MiniZinc with a minimum of effort\u2014they only need to provide a simple FlatZinc front-end to their solver, and then combine it with an existing MiniZinc-to-FlatZinc translator. Such a front-end may then serve as a stepping stone towards a full MiniZinc implementation that is more tailored to the particular solver. A standard language for modelling CP problems will encourage experimentation with and comparisons between different solvers. Although MiniZinc is not perfect\u2014no standard modelling language will be\u2014we believe its simplicity, expressiveness, and ease of implementation make it a practical choice for a standard language.",
"editor": [
{
"familyName": "Bessi\u00e8re",
"givenName": "Christian",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-540-74970-7_38",
"inLanguage": [
"en"
],
"isAccessibleForFree": true,
"isPartOf": {
"isbn": [
"978-3-540-74969-1"
],
"name": "Principles and Practice of Constraint Programming \u2013 CP 2007",
"type": "Book"
},
"name": "MiniZinc: Towards a Standard CP Modelling Language",
"pagination": "529-543",
"productId": [
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-540-74970-7_38"
]
},
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"21615ce24cc713b17f98a8df16c8204830b9bc3f29b0dafd6b46921a8e27a586"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1007007409"
]
}
],
"publisher": {
"location": "Berlin, Heidelberg",
"name": "Springer Berlin Heidelberg",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-540-74970-7_38",
"https://app.dimensions.ai/details/publication/pub.1007007409"
],
"sdDataset": "chapters",
"sdDatePublished": "2019-04-16T05:31",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000346_0000000346/records_99809_00000000.jsonl",
"type": "Chapter",
"url": "https://link.springer.com/10.1007%2F978-3-540-74970-7_38"
}
]
Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-74970-7_38'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-74970-7_38'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-74970-7_38'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-74970-7_38'
This table displays all metadata directly associated to this object as RDF triples.
133 TRIPLES
23 PREDICATES
33 URIs
20 LITERALS
8 BLANK NODES