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 N4df821d9a4a6486a8c7582e1238c81e5
    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 N2bca1d3ab18444afbdb8c0ed3ad4d9cc
    14 N88c253ae400742b2a5f3c55fb180d593
    15 sg:journal.1043977
    16 schema:name Philosophy of the MiniZinc challenge
    17 schema:pagination 307-316
    18 schema:productId N0838eda65fef4e5d80ef5c9a07e12d2d
    19 N3a8c48db5ae14f88b36cf196758d31ed
    20 Nccf85ebf1e03406f945ee0c4621e6baa
    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 Nfbff1d8cdba441b29d2608b18dc76a6f
    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 N0838eda65fef4e5d80ef5c9a07e12d2d schema:name doi
    31 schema:value 10.1007/s10601-010-9093-0
    32 rdf:type schema:PropertyValue
    33 N2bca1d3ab18444afbdb8c0ed3ad4d9cc schema:volumeNumber 15
    34 rdf:type schema:PublicationVolume
    35 N391c609aa2ff4587a7643eac043ff9a7 schema:affiliation N5fa36d598c1d455485994570130e6a06
    36 schema:familyName Fischer
    37 schema:givenName Julien
    38 rdf:type schema:Person
    39 N3a8c48db5ae14f88b36cf196758d31ed schema:name dimensions_id
    40 schema:value pub.1043996592
    41 rdf:type schema:PropertyValue
    42 N4df821d9a4a6486a8c7582e1238c81e5 rdf:first sg:person.012243374043.93
    43 rdf:rest Nf8380a22dd0f452c94c19328e53162d1
    44 N5fa36d598c1d455485994570130e6a06 schema:name National ICT Australia, Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Victoria, Australia
    45 rdf:type schema:Organization
    46 N61d4d53c5b2a4ee6954aca898824bb5f rdf:first N391c609aa2ff4587a7643eac043ff9a7
    47 rdf:rest rdf:nil
    48 N6b39b74267e0434188bb2beb848bf5f6 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 N88c253ae400742b2a5f3c55fb180d593 schema:issueNumber 3
    51 rdf:type schema:PublicationIssue
    52 Nb48c0caca51245ec9932c788a96823e4 schema:name National ICT Australia, Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Victoria, Australia
    53 rdf:type schema:Organization
    54 Nccf85ebf1e03406f945ee0c4621e6baa schema:name readcube_id
    55 schema:value d192067e2b3684c66a15228dbc8c5c359cce9b370979e9698e30d25fd4061dfe
    56 rdf:type schema:PropertyValue
    57 Nf8380a22dd0f452c94c19328e53162d1 rdf:first sg:person.010164767572.44
    58 rdf:rest N61d4d53c5b2a4ee6954aca898824bb5f
    59 Nfbff1d8cdba441b29d2608b18dc76a6f schema:name Springer Nature - SN SciGraph project
    60 rdf:type schema:Organization
    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 Nb48c0caca51245ec9932c788a96823e4
    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 N6b39b74267e0434188bb2beb848bf5f6
    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)


    ...