Philosophy of the MiniZinc challenge View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2010-07

AUTHORS

Peter J. Stuckey, Ralph Becket, Julien Fischer

ABSTRACT

MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes a good attempt to handle the most obvious obstacle: there are hundreds of potential global constraints, most handled by few or no systems. A standard input language for solvers gives us the capability to compare different solvers. Hence, every year since 2008 we have run the MiniZinc Challenge comparing different solvers that support MiniZinc. In this report we discuss the philosophy behind the challenge, why we do it, how we do it, and why we do it that way. More... »

PAGES

307-316

References to SciGraph publications

  • 2008. Universal Booleanization of Constraint Models in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2007. MiniZinc: Towards a Standard CP Modelling Language in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING – CP 2007
  • 2009. A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2009
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10601-010-9093-0

    DOI

    http://dx.doi.org/10.1007/s10601-010-9093-0

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1043996592


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    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, Department of Computer Science and Software Engineering, The\u00a0University\u00a0of\u00a0Melbourne, 3010, 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, Department of Computer Science and Software Engineering, The\u00a0University\u00a0of\u00a0Melbourne, 3010, 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, Department of Computer Science and Software Engineering, The\u00a0University\u00a0of\u00a0Melbourne, 3010, Victoria, Australia"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Fischer", 
            "givenName": "Julien", 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-540-74970-7_38", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007007409", 
              "https://doi.org/10.1007/978-3-540-74970-7_38"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-74970-7_38", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007007409", 
              "https://doi.org/10.1007/978-3-540-74970-7_38"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-85958-1_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026884502", 
              "https://doi.org/10.1007/978-3-540-85958-1_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-85958-1_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026884502", 
              "https://doi.org/10.1007/978-3-540-85958-1_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-04244-7_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046004144", 
              "https://doi.org/10.1007/978-3-642-04244-7_11"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2010-07", 
        "datePublishedReg": "2010-07-01", 
        "description": "MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes a good attempt to handle the most obvious obstacle: there are hundreds of potential global constraints, most handled by few or no systems. A standard input language for solvers gives us the capability to compare different solvers. Hence, every year since 2008 we have run the MiniZinc Challenge comparing different solvers that support MiniZinc. In this report we discuss the philosophy behind the challenge, why we do it, how we do it, and why we do it that way.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s10601-010-9093-0", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1043977", 
            "issn": [
              "1383-7133", 
              "1572-9354"
            ], 
            "name": "Constraints", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "3", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "15"
          }
        ], 
        "name": "Philosophy of the MiniZinc challenge", 
        "pagination": "307-316", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "d192067e2b3684c66a15228dbc8c5c359cce9b370979e9698e30d25fd4061dfe"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10601-010-9093-0"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1043996592"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10601-010-9093-0", 
          "https://app.dimensions.ai/details/publication/pub.1043996592"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T01:02", 
        "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/0000000001_0000000264/records_8697_00000490.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1007/s10601-010-9093-0"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    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/s10601-010-9093-0'

    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/s10601-010-9093-0'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10601-010-9093-0'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10601-010-9093-0'


     

    This table displays all metadata directly associated to this object as RDF triples.

    89 TRIPLES      21 PREDICATES      30 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10601-010-9093-0 schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 schema:author Nca59ca9613d449be95971fd51032fd6c
    4 schema:citation sg:pub.10.1007/978-3-540-74970-7_38
    5 sg:pub.10.1007/978-3-540-85958-1_10
    6 sg:pub.10.1007/978-3-642-04244-7_11
    7 schema:datePublished 2010-07
    8 schema:datePublishedReg 2010-07-01
    9 schema:description MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes a good attempt to handle the most obvious obstacle: there are hundreds of potential global constraints, most handled by few or no systems. A standard input language for solvers gives us the capability to compare different solvers. Hence, every year since 2008 we have run the MiniZinc Challenge comparing different solvers that support MiniZinc. In this report we discuss the philosophy behind the challenge, why we do it, how we do it, and why we do it that way.
    10 schema:genre research_article
    11 schema:inLanguage en
    12 schema:isAccessibleForFree false
    13 schema:isPartOf N0f309a197f034c4db566a6a85c19e53f
    14 Nf71eb64c3c91430280ea566e979aadfd
    15 sg:journal.1043977
    16 schema:name Philosophy of the MiniZinc challenge
    17 schema:pagination 307-316
    18 schema:productId N13f5b57197e044429a0dc9408e6a77d4
    19 N4ff441095ac34d0bb36f8872820badb2
    20 Nb538f77e764348ec8c079f81e0f1519e
    21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043996592
    22 https://doi.org/10.1007/s10601-010-9093-0
    23 schema:sdDatePublished 2019-04-11T01:02
    24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    25 schema:sdPublisher Nc9317f4800a242ffa094e2d0932681ad
    26 schema:url http://link.springer.com/10.1007/s10601-010-9093-0
    27 sgo:license sg:explorer/license/
    28 sgo:sdDataset articles
    29 rdf:type schema:ScholarlyArticle
    30 N0f309a197f034c4db566a6a85c19e53f schema:volumeNumber 15
    31 rdf:type schema:PublicationVolume
    32 N13f5b57197e044429a0dc9408e6a77d4 schema:name doi
    33 schema:value 10.1007/s10601-010-9093-0
    34 rdf:type schema:PropertyValue
    35 N3968fa201a31423d962d20cab40fbf6b rdf:first N59ddfcd07d7f44b588da3ad02c0084e4
    36 rdf:rest rdf:nil
    37 N4cfe36d3e57b4a099c94614839992de7 schema:name National ICT Australia, Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Victoria, Australia
    38 rdf:type schema:Organization
    39 N4ff441095ac34d0bb36f8872820badb2 schema:name dimensions_id
    40 schema:value pub.1043996592
    41 rdf:type schema:PropertyValue
    42 N59ddfcd07d7f44b588da3ad02c0084e4 schema:affiliation N81a03467d91142d1a1ead8f376e96edb
    43 schema:familyName Fischer
    44 schema:givenName Julien
    45 rdf:type schema:Person
    46 N8145a70905de45fa824ac453e8dac197 schema:name National ICT Australia, Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Victoria, Australia
    47 rdf:type schema:Organization
    48 N81a03467d91142d1a1ead8f376e96edb schema:name National ICT Australia, Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Victoria, Australia
    49 rdf:type schema:Organization
    50 Nb538f77e764348ec8c079f81e0f1519e schema:name readcube_id
    51 schema:value d192067e2b3684c66a15228dbc8c5c359cce9b370979e9698e30d25fd4061dfe
    52 rdf:type schema:PropertyValue
    53 Nc9317f4800a242ffa094e2d0932681ad schema:name Springer Nature - SN SciGraph project
    54 rdf:type schema:Organization
    55 Nca59ca9613d449be95971fd51032fd6c rdf:first sg:person.012243374043.93
    56 rdf:rest Nf804aadb61e24cfea79fd7099afddb23
    57 Nf71eb64c3c91430280ea566e979aadfd schema:issueNumber 3
    58 rdf:type schema:PublicationIssue
    59 Nf804aadb61e24cfea79fd7099afddb23 rdf:first sg:person.010164767572.44
    60 rdf:rest N3968fa201a31423d962d20cab40fbf6b
    61 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    62 schema:name Information and Computing Sciences
    63 rdf:type schema:DefinedTerm
    64 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    65 schema:name Artificial Intelligence and Image Processing
    66 rdf:type schema:DefinedTerm
    67 sg:journal.1043977 schema:issn 1383-7133
    68 1572-9354
    69 schema:name Constraints
    70 rdf:type schema:Periodical
    71 sg:person.010164767572.44 schema:affiliation N4cfe36d3e57b4a099c94614839992de7
    72 schema:familyName Becket
    73 schema:givenName Ralph
    74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010164767572.44
    75 rdf:type schema:Person
    76 sg:person.012243374043.93 schema:affiliation N8145a70905de45fa824ac453e8dac197
    77 schema:familyName Stuckey
    78 schema:givenName Peter J.
    79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93
    80 rdf:type schema:Person
    81 sg:pub.10.1007/978-3-540-74970-7_38 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007007409
    82 https://doi.org/10.1007/978-3-540-74970-7_38
    83 rdf:type schema:CreativeWork
    84 sg:pub.10.1007/978-3-540-85958-1_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026884502
    85 https://doi.org/10.1007/978-3-540-85958-1_10
    86 rdf:type schema:CreativeWork
    87 sg:pub.10.1007/978-3-642-04244-7_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046004144
    88 https://doi.org/10.1007/978-3-642-04244-7_11
    89 rdf:type schema:CreativeWork
     




    Preview window. Press ESC to close (or click here)


    ...