Backtracking Based k-SAT Algorithms View Full Text


Ontology type: schema:Chapter     

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-1-4939-2864-4_45

DOI

http://dx.doi.org/10.1007/978-1-4939-2864-4_45

DIMENSIONS

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


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, San Diego, CA, USA", 
          "id": "http://www.grid.ac/institutes/grid.266100.3", 
          "name": [
            "Department of Computer Science and Engineering, University of California at San Diego, San Diego, CA, USA"
          ], 
          "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": "Academy of Science of the Czech Republic, Mathematical Institute, Prague, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.418095.1", 
          "name": [
            "Academy of Science of the Czech Republic, Mathematical Institute, Prague, 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, Piscataway, NJ, USA", 
          "id": "http://www.grid.ac/institutes/grid.430387.b", 
          "name": [
            "Department of Mathematics, Rutgers, State University of New Jersey, Piscataway, NJ, USA"
          ], 
          "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, Murray Hill, NJ, USA", 
          "id": "http://www.grid.ac/institutes/grid.469490.6", 
          "name": [
            "Lucent Technologies, Bell Laboraties, Murray Hill, NJ, USA"
          ], 
          "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": "2016-04-22", 
    "datePublishedReg": "2016-04-22", 
    "editor": [
      {
        "familyName": "Kao", 
        "givenName": "Ming-Yang", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-1-4939-2864-4_45", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-1-4939-2863-7", 
        "978-1-4939-2864-4"
      ], 
      "name": "Encyclopedia of Algorithms", 
      "type": "Book"
    }, 
    "keywords": [
      "algorithm"
    ], 
    "name": "Backtracking Based k-SAT Algorithms", 
    "pagination": "170-174", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1112905145"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-4939-2864-4_45"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-4939-2864-4_45", 
      "https://app.dimensions.ai/details/publication/pub.1112905145"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-10-01T06:55", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20221001/entities/gbq_results/chapter/chapter_244.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-1-4939-2864-4_45"
  }
]
 

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-1-4939-2864-4_45'

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-1-4939-2864-4_45'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4939-2864-4_45'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-4939-2864-4_45'


 

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

81 TRIPLES      20 PREDICATES      22 URIs      17 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-1-4939-2864-4_45 schema:author N537ae90c1e4a4e58b681b17c00cdc54f
2 schema:datePublished 2016-04-22
3 schema:datePublishedReg 2016-04-22
4 schema:editor Ne5e6e96b07ee439cbcaa821b7ced7177
5 schema:genre chapter
6 schema:isAccessibleForFree false
7 schema:isPartOf N934cd7f325be40a7be4d8f8f18b8ca0f
8 schema:keywords algorithm
9 schema:name Backtracking Based k-SAT Algorithms
10 schema:pagination 170-174
11 schema:productId Na66e5d16af524dc689465341180eb1e0
12 Nfcdab436a78948bf99d65db48605d904
13 schema:publisher Na65c59f9e6604bdc8e3db5811ee43527
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1112905145
15 https://doi.org/10.1007/978-1-4939-2864-4_45
16 schema:sdDatePublished 2022-10-01T06:55
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher N6da555008b9c47b59cada57bacfa572f
19 schema:url https://doi.org/10.1007/978-1-4939-2864-4_45
20 sgo:license sg:explorer/license/
21 sgo:sdDataset chapters
22 rdf:type schema:Chapter
23 N0603981a92ea4706a33f705fc067920d schema:familyName Kao
24 schema:givenName Ming-Yang
25 rdf:type schema:Person
26 N537ae90c1e4a4e58b681b17c00cdc54f rdf:first sg:person.016410340505.67
27 rdf:rest Ndc78eb8f3d2a46c39e6c842a2086a122
28 N6da555008b9c47b59cada57bacfa572f schema:name Springer Nature - SN SciGraph project
29 rdf:type schema:Organization
30 N934cd7f325be40a7be4d8f8f18b8ca0f schema:isbn 978-1-4939-2863-7
31 978-1-4939-2864-4
32 schema:name Encyclopedia of Algorithms
33 rdf:type schema:Book
34 Na65c59f9e6604bdc8e3db5811ee43527 schema:name Springer Nature
35 rdf:type schema:Organisation
36 Na66e5d16af524dc689465341180eb1e0 schema:name dimensions_id
37 schema:value pub.1112905145
38 rdf:type schema:PropertyValue
39 Nd924d5a10fbf4f239ba242263dffa886 rdf:first sg:person.013422436505.15
40 rdf:rest rdf:nil
41 Ndc78eb8f3d2a46c39e6c842a2086a122 rdf:first sg:person.076030521.23
42 rdf:rest Nf2b4f316b09e4b3ab634104458f7eea8
43 Ne5e6e96b07ee439cbcaa821b7ced7177 rdf:first N0603981a92ea4706a33f705fc067920d
44 rdf:rest rdf:nil
45 Nf2b4f316b09e4b3ab634104458f7eea8 rdf:first sg:person.011520224512.05
46 rdf:rest Nd924d5a10fbf4f239ba242263dffa886
47 Nfcdab436a78948bf99d65db48605d904 schema:name doi
48 schema:value 10.1007/978-1-4939-2864-4_45
49 rdf:type schema:PropertyValue
50 sg:person.011520224512.05 schema:affiliation grid-institutes:grid.430387.b
51 schema:familyName Saks
52 schema:givenName Michael
53 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011520224512.05
54 rdf:type schema:Person
55 sg:person.013422436505.15 schema:affiliation grid-institutes:grid.469490.6
56 schema:familyName Zane
57 schema:givenName Francis
58 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013422436505.15
59 rdf:type schema:Person
60 sg:person.016410340505.67 schema:affiliation grid-institutes:grid.266100.3
61 schema:familyName Paturi
62 schema:givenName Ramamohan
63 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016410340505.67
64 rdf:type schema:Person
65 sg:person.076030521.23 schema:affiliation grid-institutes:grid.418095.1
66 schema:familyName Pudlák
67 schema:givenName Pavel
68 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.076030521.23
69 rdf:type schema:Person
70 grid-institutes:grid.266100.3 schema:alternateName Department of Computer Science and Engineering, University of California at San Diego, San Diego, CA, USA
71 schema:name Department of Computer Science and Engineering, University of California at San Diego, San Diego, CA, USA
72 rdf:type schema:Organization
73 grid-institutes:grid.418095.1 schema:alternateName Academy of Science of the Czech Republic, Mathematical Institute, Prague, Czech Republic
74 schema:name Academy of Science of the Czech Republic, Mathematical Institute, Prague, Czech Republic
75 rdf:type schema:Organization
76 grid-institutes:grid.430387.b schema:alternateName Department of Mathematics, Rutgers, State University of New Jersey, Piscataway, NJ, USA
77 schema:name Department of Mathematics, Rutgers, State University of New Jersey, Piscataway, NJ, USA
78 rdf:type schema:Organization
79 grid-institutes:grid.469490.6 schema:alternateName Lucent Technologies, Bell Laboraties, Murray Hill, NJ, USA
80 schema:name Lucent Technologies, Bell Laboraties, Murray Hill, NJ, USA
81 rdf:type schema:Organization
 




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


...