The G12 Project: Mapping Solver Independent Models to Efficient Solutions View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2005

AUTHORS

Peter J. Stuckey , Maria Garcia de la Banda , Michael Maher , Kim Marriott , John Slaney , Zoltan Somogyi , Mark Wallace , Toby Walsh

ABSTRACT

The G12 project recently started by National ICT Australia (NICTA) is an ambitious project to develop a software platform for solving large scale industrial combinatorial optimisation problems. The core design involves three languages: Zinc, Cadmium and Mercury (Group 12 of the periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving methodology. Cadmium is a mapping language for mapping Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally, existing Mercury will be extended as a language for building extensible and hybridizable solvers. The same Zinc model, used with different Cadmium mappings, will allow us to experiment with different complete, local, or hybrid search approaches for the same problem. This talk will explain the G12 global design, the final G12 objectives, and our progress so far. More... »

PAGES

13-16

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11564751_4

DOI

http://dx.doi.org/10.1007/11564751_4

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1008.9", 
          "name": [
            "NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, 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": {
          "alternateName": "School of Comp. Sci. & Soft. Eng., Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Comp. Sci. & Soft. Eng., Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de la Banda", 
        "givenName": "Maria Garcia", 
        "id": "sg:person.016350443307.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "NICTA Kensington Laboratory, University of New South Wales, 2052, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1005.4", 
          "name": [
            "NICTA Kensington Laboratory, University of New South Wales, 2052, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Maher", 
        "givenName": "Michael", 
        "id": "sg:person.015555013771.33", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015555013771.33"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "School of Comp. Sci. & Soft. Eng., Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Comp. Sci. & Soft. Eng., Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Marriott", 
        "givenName": "Kim", 
        "id": "sg:person.014375607254.44", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "NICTA Canberra Laboratory, ACT 2601, Canberra, Australia", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "NICTA Canberra Laboratory, ACT 2601, Canberra, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Slaney", 
        "givenName": "John", 
        "id": "sg:person.011000764740.78", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011000764740.78"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1008.9", 
          "name": [
            "NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Somogyi", 
        "givenName": "Zoltan", 
        "id": "sg:person.014231042555.87", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014231042555.87"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "School of Comp. Sci. & Soft. Eng., Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Comp. Sci. & Soft. Eng., Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Wallace", 
        "givenName": "Mark", 
        "id": "sg:person.016566542221.14", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566542221.14"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "NICTA Kensington Laboratory, University of New South Wales, 2052, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1005.4", 
          "name": [
            "NICTA Kensington Laboratory, University of New South Wales, 2052, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Walsh", 
        "givenName": "Toby", 
        "id": "sg:person.016152454637.18", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016152454637.18"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2005", 
    "datePublishedReg": "2005-01-01", 
    "description": "The G12 project recently started by National ICT Australia (NICTA) is an ambitious project to develop a software platform for solving large scale industrial combinatorial optimisation problems. The core design involves three languages: Zinc, Cadmium and Mercury (Group 12 of the periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving methodology. Cadmium is a mapping language for mapping Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally, existing Mercury will be extended as a language for building extensible and hybridizable solvers. The same Zinc model, used with different Cadmium mappings, will allow us to experiment with different complete, local, or hybrid search approaches for the same problem. This talk will explain the G12 global design, the final G12 objectives, and our progress so far.", 
    "editor": [
      {
        "familyName": "van Beek", 
        "givenName": "Peter", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11564751_4", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-29238-8", 
        "978-3-540-32050-0"
      ], 
      "name": "Principles and Practice of Constraint Programming - CP 2005", 
      "type": "Book"
    }, 
    "keywords": [
      "National ICT Australia", 
      "G12 project", 
      "Zinc models", 
      "declarative modelling language", 
      "hybrid search approach", 
      "combinatorial optimization problems", 
      "modelling language", 
      "underlying solver", 
      "software platform", 
      "mapping language", 
      "search approach", 
      "efficient solution", 
      "hybrid approach", 
      "optimization problem", 
      "independent models", 
      "search strategy", 
      "language", 
      "global design", 
      "same problem", 
      "solver", 
      "core design", 
      "ambitious project", 
      "project", 
      "platform", 
      "design", 
      "model", 
      "methodology", 
      "mapping", 
      "solution", 
      "strategies", 
      "objective", 
      "progress", 
      "talk", 
      "problem", 
      "approach", 
      "Australia", 
      "mercury", 
      "zinc", 
      "cadmium"
    ], 
    "name": "The G12 Project: Mapping Solver Independent Models to Efficient Solutions", 
    "pagination": "13-16", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1053708735"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11564751_4"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11564751_4", 
      "https://app.dimensions.ai/details/publication/pub.1053708735"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:45", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_273.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/11564751_4"
  }
]
 

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/11564751_4'

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/11564751_4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/11564751_4'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/11564751_4'


 

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

157 TRIPLES      23 PREDICATES      65 URIs      58 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11564751_4 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N7794d434060c48359307c175344e608e
4 schema:datePublished 2005
5 schema:datePublishedReg 2005-01-01
6 schema:description The G12 project recently started by National ICT Australia (NICTA) is an ambitious project to develop a software platform for solving large scale industrial combinatorial optimisation problems. The core design involves three languages: Zinc, Cadmium and Mercury (Group 12 of the periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving methodology. Cadmium is a mapping language for mapping Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally, existing Mercury will be extended as a language for building extensible and hybridizable solvers. The same Zinc model, used with different Cadmium mappings, will allow us to experiment with different complete, local, or hybrid search approaches for the same problem. This talk will explain the G12 global design, the final G12 objectives, and our progress so far.
7 schema:editor Na6d4e0520a3441b8a853c79bc36fa063
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nba0ef5c87db9435f96d9bb13ae4e2248
12 schema:keywords Australia
13 G12 project
14 National ICT Australia
15 Zinc models
16 ambitious project
17 approach
18 cadmium
19 combinatorial optimization problems
20 core design
21 declarative modelling language
22 design
23 efficient solution
24 global design
25 hybrid approach
26 hybrid search approach
27 independent models
28 language
29 mapping
30 mapping language
31 mercury
32 methodology
33 model
34 modelling language
35 objective
36 optimization problem
37 platform
38 problem
39 progress
40 project
41 same problem
42 search approach
43 search strategy
44 software platform
45 solution
46 solver
47 strategies
48 talk
49 underlying solver
50 zinc
51 schema:name The G12 Project: Mapping Solver Independent Models to Efficient Solutions
52 schema:pagination 13-16
53 schema:productId N9061f959d7f34c3db0d0840dc56eaa26
54 Nd2bbb2a87e724c1c98a7a03561ca1e78
55 schema:publisher N57d264ed13044afab0ebd2bf998279c1
56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053708735
57 https://doi.org/10.1007/11564751_4
58 schema:sdDatePublished 2022-05-20T07:45
59 schema:sdLicense https://scigraph.springernature.com/explorer/license/
60 schema:sdPublisher N62836d3c2112407cb5432ec7d4444cef
61 schema:url https://doi.org/10.1007/11564751_4
62 sgo:license sg:explorer/license/
63 sgo:sdDataset chapters
64 rdf:type schema:Chapter
65 N351821859cec4f6e93e8a96563fb1fe9 rdf:first sg:person.016566542221.14
66 rdf:rest N8cf208b2ed984305ae99e8ce37256963
67 N57d264ed13044afab0ebd2bf998279c1 schema:name Springer Nature
68 rdf:type schema:Organisation
69 N62836d3c2112407cb5432ec7d4444cef schema:name Springer Nature - SN SciGraph project
70 rdf:type schema:Organization
71 N7794d434060c48359307c175344e608e rdf:first sg:person.012243374043.93
72 rdf:rest Nd876ecde00864f76ae973c9c798561f0
73 N819ce849a96b47479c2672ef35102cac rdf:first sg:person.011000764740.78
74 rdf:rest N85fe95a1a0ca41ad990d13091ff087bc
75 N85fe95a1a0ca41ad990d13091ff087bc rdf:first sg:person.014231042555.87
76 rdf:rest N351821859cec4f6e93e8a96563fb1fe9
77 N8cf208b2ed984305ae99e8ce37256963 rdf:first sg:person.016152454637.18
78 rdf:rest rdf:nil
79 N9061f959d7f34c3db0d0840dc56eaa26 schema:name dimensions_id
80 schema:value pub.1053708735
81 rdf:type schema:PropertyValue
82 Na6d4e0520a3441b8a853c79bc36fa063 rdf:first Nf21b3d4eedb74fca8cec7af73defa5bc
83 rdf:rest rdf:nil
84 Nb45f511d63ec4bf99e59cb8137901cb1 rdf:first sg:person.014375607254.44
85 rdf:rest N819ce849a96b47479c2672ef35102cac
86 Nba0ef5c87db9435f96d9bb13ae4e2248 schema:isbn 978-3-540-29238-8
87 978-3-540-32050-0
88 schema:name Principles and Practice of Constraint Programming - CP 2005
89 rdf:type schema:Book
90 Nd2bbb2a87e724c1c98a7a03561ca1e78 schema:name doi
91 schema:value 10.1007/11564751_4
92 rdf:type schema:PropertyValue
93 Nd876ecde00864f76ae973c9c798561f0 rdf:first sg:person.016350443307.93
94 rdf:rest Necb7f695b5e84cbda83f11d0f08e1f49
95 Necb7f695b5e84cbda83f11d0f08e1f49 rdf:first sg:person.015555013771.33
96 rdf:rest Nb45f511d63ec4bf99e59cb8137901cb1
97 Nf21b3d4eedb74fca8cec7af73defa5bc schema:familyName van Beek
98 schema:givenName Peter
99 rdf:type schema:Person
100 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
101 schema:name Information and Computing Sciences
102 rdf:type schema:DefinedTerm
103 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
104 schema:name Artificial Intelligence and Image Processing
105 rdf:type schema:DefinedTerm
106 sg:person.011000764740.78 schema:affiliation grid-institutes:None
107 schema:familyName Slaney
108 schema:givenName John
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011000764740.78
110 rdf:type schema:Person
111 sg:person.012243374043.93 schema:affiliation grid-institutes:grid.1008.9
112 schema:familyName Stuckey
113 schema:givenName Peter J.
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93
115 rdf:type schema:Person
116 sg:person.014231042555.87 schema:affiliation grid-institutes:grid.1008.9
117 schema:familyName Somogyi
118 schema:givenName Zoltan
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014231042555.87
120 rdf:type schema:Person
121 sg:person.014375607254.44 schema:affiliation grid-institutes:grid.1002.3
122 schema:familyName Marriott
123 schema:givenName Kim
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44
125 rdf:type schema:Person
126 sg:person.015555013771.33 schema:affiliation grid-institutes:grid.1005.4
127 schema:familyName Maher
128 schema:givenName Michael
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015555013771.33
130 rdf:type schema:Person
131 sg:person.016152454637.18 schema:affiliation grid-institutes:grid.1005.4
132 schema:familyName Walsh
133 schema:givenName Toby
134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016152454637.18
135 rdf:type schema:Person
136 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.1002.3
137 schema:familyName de la Banda
138 schema:givenName Maria Garcia
139 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
140 rdf:type schema:Person
141 sg:person.016566542221.14 schema:affiliation grid-institutes:grid.1002.3
142 schema:familyName Wallace
143 schema:givenName Mark
144 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566542221.14
145 rdf:type schema:Person
146 grid-institutes:None schema:alternateName NICTA Canberra Laboratory, ACT 2601, Canberra, Australia
147 schema:name NICTA Canberra Laboratory, ACT 2601, Canberra, Australia
148 rdf:type schema:Organization
149 grid-institutes:grid.1002.3 schema:alternateName School of Comp. Sci. & Soft. Eng., Monash University, Australia
150 schema:name School of Comp. Sci. & Soft. Eng., Monash University, Australia
151 rdf:type schema:Organization
152 grid-institutes:grid.1005.4 schema:alternateName NICTA Kensington Laboratory, University of New South Wales, 2052, Australia
153 schema:name NICTA Kensington Laboratory, University of New South Wales, 2052, Australia
154 rdf:type schema:Organization
155 grid-institutes:grid.1008.9 schema:alternateName NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia
156 schema:name NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia
157 rdf:type schema:Organization
 




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


...