2008
AUTHORSReza Rafeh , Kim Marriott , Maria Garcia de la Banda , Nicholas Nethercote , Mark Wallace
ABSTRACTWe describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a number of generic search patterns that take Zinc user-defined functions as parameters. We show the generality of the approach by using it to implement three very different kinds of search: backtracking search, branch-and-bound search, and local search. Our approach is competitive with hand-coded search strategies. More... »
PAGES624-629
Principles and Practice of Constraint Programming
ISBN
978-3-540-85957-4
978-3-540-85958-1
http://scigraph.springernature.com/pub.10.1007/978-3-540-85958-1_54
DOIhttp://dx.doi.org/10.1007/978-3-540-85958-1_54
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1040568523
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": "Clayton School\u00a0of IT, Monash University, Australia",
"id": "http://www.grid.ac/institutes/grid.1002.3",
"name": [
"Clayton School\u00a0of IT, Monash University, Australia"
],
"type": "Organization"
},
"familyName": "Rafeh",
"givenName": "Reza",
"id": "sg:person.016367526545.88",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016367526545.88"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Clayton School\u00a0of IT, Monash University, Australia",
"id": "http://www.grid.ac/institutes/grid.1002.3",
"name": [
"Clayton School\u00a0of IT, 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": "Clayton School\u00a0of IT, Monash University, Australia",
"id": "http://www.grid.ac/institutes/grid.1002.3",
"name": [
"Clayton School\u00a0of IT, 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 Victoria Research Laboratory, University of Melbourne, Australia",
"id": "http://www.grid.ac/institutes/None",
"name": [
"NICTA Victoria Research Laboratory, University of Melbourne, 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": {
"alternateName": "Clayton School\u00a0of IT, Monash University, Australia",
"id": "http://www.grid.ac/institutes/grid.1002.3",
"name": [
"Clayton School\u00a0of IT, 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"
}
],
"datePublished": "2008",
"datePublishedReg": "2008-01-01",
"description": "We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a number of generic search patterns that take Zinc user-defined functions as parameters. We show the generality of the approach by using it to implement three very different kinds of search: backtracking search, branch-and-bound search, and local search. Our approach is competitive with hand-coded search strategies.",
"editor": [
{
"familyName": "Stuckey",
"givenName": "Peter J.",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-540-85958-1_54",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-540-85957-4",
"978-3-540-85958-1"
],
"name": "Principles and Practice of Constraint Programming",
"type": "Book"
},
"keywords": [
"non-intrusive extension",
"user-defined functions",
"local search",
"search patterns",
"search strategy",
"search",
"different kinds",
"users",
"generality",
"extension",
"kind",
"number",
"strategies",
"branches",
"parameters",
"patterns",
"function",
"approach",
"zinc"
],
"name": "Adding Search to Zinc",
"pagination": "624-629",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1040568523"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-540-85958-1_54"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-540-85958-1_54",
"https://app.dimensions.ai/details/publication/pub.1040568523"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-10T10:52",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_407.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-540-85958-1_54"
}
]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-85958-1_54'
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-85958-1_54'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-85958-1_54'
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-85958-1_54'
This table displays all metadata directly associated to this object as RDF triples.
110 TRIPLES
23 PREDICATES
45 URIs
38 LITERALS
7 BLANK NODES