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

9-13

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11562931_3

DOI

http://dx.doi.org/10.1007/11562931_3

DIMENSIONS

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


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, 2601, Canberra, ACT, Australia", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "NICTA Canberra Laboratory, 2601, Canberra, ACT, 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": "Gabbrielli", 
        "givenName": "Maurizio", 
        "type": "Person"
      }, 
      {
        "familyName": "Gupta", 
        "givenName": "Gopal", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11562931_3", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-29208-1", 
        "978-3-540-31947-4"
      ], 
      "name": "Logic Programming", 
      "type": "Book"
    }, 
    "keywords": [
      "G12 project", 
      "Zinc models", 
      "declarative modelling language", 
      "hybrid search approach", 
      "National ICT Australia", 
      "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": "9-13", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1037313849"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11562931_3"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11562931_3", 
      "https://app.dimensions.ai/details/publication/pub.1037313849"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:49", 
    "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_49.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/11562931_3"
  }
]
 

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/11562931_3'

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/11562931_3'

Turtle is a human-readable linked data format.

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

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

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


 

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

162 TRIPLES      23 PREDICATES      65 URIs      58 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11562931_3 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N2926f90d98de4e31a24fdf8b1cf9a6dd
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 Nddb9ca2e63b741c79664bef509164b9b
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N9bde23308bbd4fb39807d3f2362f19a0
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 9-13
53 schema:productId N2e7b52216c504c9cb8836c10ba9675e3
54 N4ca60ad4234641198025b552f4b795f9
55 schema:publisher N631c19479e124c558c2735101e5a55fe
56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037313849
57 https://doi.org/10.1007/11562931_3
58 schema:sdDatePublished 2022-05-20T07:49
59 schema:sdLicense https://scigraph.springernature.com/explorer/license/
60 schema:sdPublisher N7825d9f31907450597f76c889bd4d24f
61 schema:url https://doi.org/10.1007/11562931_3
62 sgo:license sg:explorer/license/
63 sgo:sdDataset chapters
64 rdf:type schema:Chapter
65 N0726b85b8edd4c2a84517f1b2dc3d2c4 schema:familyName Gabbrielli
66 schema:givenName Maurizio
67 rdf:type schema:Person
68 N23160bd8cd7e4f45ad643d3c658e51a4 rdf:first sg:person.016350443307.93
69 rdf:rest Neab463d6c16a452c81908bf9115ba92a
70 N2926f90d98de4e31a24fdf8b1cf9a6dd rdf:first sg:person.012243374043.93
71 rdf:rest N23160bd8cd7e4f45ad643d3c658e51a4
72 N2e7b52216c504c9cb8836c10ba9675e3 schema:name doi
73 schema:value 10.1007/11562931_3
74 rdf:type schema:PropertyValue
75 N320f1cb53ad04597848480604d9c2ae5 schema:familyName Gupta
76 schema:givenName Gopal
77 rdf:type schema:Person
78 N3a31db7e3bcc4724a517c44ed3fb1e7d rdf:first sg:person.014231042555.87
79 rdf:rest N67ac6809af404af49b970541e7b293f7
80 N4ca60ad4234641198025b552f4b795f9 schema:name dimensions_id
81 schema:value pub.1037313849
82 rdf:type schema:PropertyValue
83 N56a278c8cb3447089a400252bc8a4d9d rdf:first sg:person.016152454637.18
84 rdf:rest rdf:nil
85 N631c19479e124c558c2735101e5a55fe schema:name Springer Nature
86 rdf:type schema:Organisation
87 N67ac6809af404af49b970541e7b293f7 rdf:first sg:person.016566542221.14
88 rdf:rest N56a278c8cb3447089a400252bc8a4d9d
89 N7825d9f31907450597f76c889bd4d24f schema:name Springer Nature - SN SciGraph project
90 rdf:type schema:Organization
91 N838ea8d7122d43e7a2f041420da06acc rdf:first sg:person.011000764740.78
92 rdf:rest N3a31db7e3bcc4724a517c44ed3fb1e7d
93 N93fc9c5834704988b94ae63c2739cd71 rdf:first N320f1cb53ad04597848480604d9c2ae5
94 rdf:rest rdf:nil
95 N9bde23308bbd4fb39807d3f2362f19a0 schema:isbn 978-3-540-29208-1
96 978-3-540-31947-4
97 schema:name Logic Programming
98 rdf:type schema:Book
99 Nd0272666712c4f17aa319094699c93cb rdf:first sg:person.014375607254.44
100 rdf:rest N838ea8d7122d43e7a2f041420da06acc
101 Nddb9ca2e63b741c79664bef509164b9b rdf:first N0726b85b8edd4c2a84517f1b2dc3d2c4
102 rdf:rest N93fc9c5834704988b94ae63c2739cd71
103 Neab463d6c16a452c81908bf9115ba92a rdf:first sg:person.015555013771.33
104 rdf:rest Nd0272666712c4f17aa319094699c93cb
105 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
106 schema:name Information and Computing Sciences
107 rdf:type schema:DefinedTerm
108 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
109 schema:name Artificial Intelligence and Image Processing
110 rdf:type schema:DefinedTerm
111 sg:person.011000764740.78 schema:affiliation grid-institutes:None
112 schema:familyName Slaney
113 schema:givenName John
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011000764740.78
115 rdf:type schema:Person
116 sg:person.012243374043.93 schema:affiliation grid-institutes:grid.1008.9
117 schema:familyName Stuckey
118 schema:givenName Peter J.
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93
120 rdf:type schema:Person
121 sg:person.014231042555.87 schema:affiliation grid-institutes:grid.1008.9
122 schema:familyName Somogyi
123 schema:givenName Zoltan
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014231042555.87
125 rdf:type schema:Person
126 sg:person.014375607254.44 schema:affiliation grid-institutes:grid.1002.3
127 schema:familyName Marriott
128 schema:givenName Kim
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44
130 rdf:type schema:Person
131 sg:person.015555013771.33 schema:affiliation grid-institutes:grid.1005.4
132 schema:familyName Maher
133 schema:givenName Michael
134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015555013771.33
135 rdf:type schema:Person
136 sg:person.016152454637.18 schema:affiliation grid-institutes:grid.1005.4
137 schema:familyName Walsh
138 schema:givenName Toby
139 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016152454637.18
140 rdf:type schema:Person
141 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.1002.3
142 schema:familyName de la Banda
143 schema:givenName Maria Garcia
144 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
145 rdf:type schema:Person
146 sg:person.016566542221.14 schema:affiliation grid-institutes:grid.1002.3
147 schema:familyName Wallace
148 schema:givenName Mark
149 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566542221.14
150 rdf:type schema:Person
151 grid-institutes:None schema:alternateName NICTA Canberra Laboratory, 2601, Canberra, ACT, Australia
152 schema:name NICTA Canberra Laboratory, 2601, Canberra, ACT, Australia
153 rdf:type schema:Organization
154 grid-institutes:grid.1002.3 schema:alternateName School of Comp. Sci. & Soft. Eng., Monash University, Australia
155 schema:name School of Comp. Sci. & Soft. Eng., Monash University, Australia
156 rdf:type schema:Organization
157 grid-institutes:grid.1005.4 schema:alternateName NICTA Kensington Laboratory, University of New South Wales, 2052, Australia
158 schema:name NICTA Kensington Laboratory, University of New South Wales, 2052, Australia
159 rdf:type schema:Organization
160 grid-institutes:grid.1008.9 schema:alternateName NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia
161 schema:name NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia
162 rdf:type schema:Organization
 




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


...