Backtracking Based k-SAT Algorithms View Full Text


Ontology type: schema:Chapter     

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-27848-8_45-2

DOI

http://dx.doi.org/10.1007/978-3-642-27848-8_45-2

DIMENSIONS

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


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", 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Engineering, University of California at San Diego", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Department of Computer Science and Engineering, University of California at San Diego"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Paturi", 
        "givenName": "Ramamohan", 
        "id": "sg:person.016410340505.67", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016410340505.67"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Mathematical Institute, Academy of Science of the Czech Republic", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Mathematical Institute, Academy of Science of the Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Pudl\u00e1k", 
        "givenName": "Pavel", 
        "id": "sg:person.076030521.23", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.076030521.23"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Mathematics, Rutgers, State University of New Jersey", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Department of Mathematics, Rutgers, State University of New Jersey"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Saks", 
        "givenName": "Michael", 
        "id": "sg:person.011520224512.05", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011520224512.05"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Lucent Technologies, Bell Laboraties", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Lucent Technologies, Bell Laboraties"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zane", 
        "givenName": "Francis", 
        "id": "sg:person.013422436505.15", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013422436505.15"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2015-02-26", 
    "datePublishedReg": "2015-02-26", 
    "editor": [
      {
        "familyName": "Kao", 
        "givenName": "Ming-Yang", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-27848-8_45-2", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-642-27848-8"
      ], 
      "name": "Encyclopedia of Algorithms", 
      "type": "Book"
    }, 
    "keywords": [
      "algorithm"
    ], 
    "name": "Backtracking Based k-SAT Algorithms", 
    "pagination": "1-6", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1045828218"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-27848-8_45-2"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-27848-8_45-2", 
      "https://app.dimensions.ai/details/publication/pub.1045828218"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-09-02T16:18", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220902/entities/gbq_results/chapter/chapter_97.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-27848-8_45-2"
  }
]
 

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/978-3-642-27848-8_45-2'

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-642-27848-8_45-2'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-27848-8_45-2'

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-642-27848-8_45-2'


 

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

77 TRIPLES      20 PREDICATES      22 URIs      17 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-27848-8_45-2 schema:author N247642c94e0b46c986ec233260df6e3c
2 schema:datePublished 2015-02-26
3 schema:datePublishedReg 2015-02-26
4 schema:editor N6b02541c54e949eda13bc953619076a8
5 schema:genre chapter
6 schema:isAccessibleForFree false
7 schema:isPartOf N29d516d41f1940e3bd446c06d0ef14cd
8 schema:keywords algorithm
9 schema:name Backtracking Based k-SAT Algorithms
10 schema:pagination 1-6
11 schema:productId N16f9f7b5be4f451ba5976b395b43ba7a
12 N92d5dfe81fa54b6d8676da860153c26c
13 schema:publisher N33f1791a74dd496080651b20d29d08ed
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045828218
15 https://doi.org/10.1007/978-3-642-27848-8_45-2
16 schema:sdDatePublished 2022-09-02T16:18
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher Nd6c4f56eb96d4cf8b5d705b04b43a508
19 schema:url https://doi.org/10.1007/978-3-642-27848-8_45-2
20 sgo:license sg:explorer/license/
21 sgo:sdDataset chapters
22 rdf:type schema:Chapter
23 N16f9f7b5be4f451ba5976b395b43ba7a schema:name doi
24 schema:value 10.1007/978-3-642-27848-8_45-2
25 rdf:type schema:PropertyValue
26 N247642c94e0b46c986ec233260df6e3c rdf:first sg:person.016410340505.67
27 rdf:rest N7c2635f4cfd146babfb1c10ebbbb6b31
28 N28f2fb95e8fc4be78d7ac130f9c4c6a1 schema:familyName Kao
29 schema:givenName Ming-Yang
30 rdf:type schema:Person
31 N29d516d41f1940e3bd446c06d0ef14cd schema:isbn 978-3-642-27848-8
32 schema:name Encyclopedia of Algorithms
33 rdf:type schema:Book
34 N33f1791a74dd496080651b20d29d08ed schema:name Springer Nature
35 rdf:type schema:Organisation
36 N466a993a8e3e4eef844685c948083a6d rdf:first sg:person.013422436505.15
37 rdf:rest rdf:nil
38 N6b02541c54e949eda13bc953619076a8 rdf:first N28f2fb95e8fc4be78d7ac130f9c4c6a1
39 rdf:rest rdf:nil
40 N7c2635f4cfd146babfb1c10ebbbb6b31 rdf:first sg:person.076030521.23
41 rdf:rest N9f1a37e26fe24159be18a78e16e2f210
42 N92d5dfe81fa54b6d8676da860153c26c schema:name dimensions_id
43 schema:value pub.1045828218
44 rdf:type schema:PropertyValue
45 N9f1a37e26fe24159be18a78e16e2f210 rdf:first sg:person.011520224512.05
46 rdf:rest N466a993a8e3e4eef844685c948083a6d
47 Nd6c4f56eb96d4cf8b5d705b04b43a508 schema:name Springer Nature - SN SciGraph project
48 rdf:type schema:Organization
49 sg:person.011520224512.05 schema:affiliation grid-institutes:None
50 schema:familyName Saks
51 schema:givenName Michael
52 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011520224512.05
53 rdf:type schema:Person
54 sg:person.013422436505.15 schema:affiliation grid-institutes:None
55 schema:familyName Zane
56 schema:givenName Francis
57 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013422436505.15
58 rdf:type schema:Person
59 sg:person.016410340505.67 schema:affiliation grid-institutes:None
60 schema:familyName Paturi
61 schema:givenName Ramamohan
62 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016410340505.67
63 rdf:type schema:Person
64 sg:person.076030521.23 schema:affiliation grid-institutes:None
65 schema:familyName Pudlák
66 schema:givenName Pavel
67 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.076030521.23
68 rdf:type schema:Person
69 grid-institutes:None schema:alternateName Department of Computer Science and Engineering, University of California at San Diego
70 Department of Mathematics, Rutgers, State University of New Jersey
71 Lucent Technologies, Bell Laboraties
72 Mathematical Institute, Academy of Science of the Czech Republic
73 schema:name Department of Computer Science and Engineering, University of California at San Diego
74 Department of Mathematics, Rutgers, State University of New Jersey
75 Lucent Technologies, Bell Laboraties
76 Mathematical Institute, Academy of Science of the Czech Republic
77 rdf:type schema:Organization
 




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


...