Backtracking Based k-SAT Algorithms View Full Text


Ontology type: schema:Chapter     

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-0-387-30162-4_45

DOI

http://dx.doi.org/10.1007/978-0-387-30162-4_45

DIMENSIONS

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


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": "Mathematical Institute, Academy of Science of the Czech Republic, Prague, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.418095.1", 
          "name": [
            "Mathematical Institute, Academy of Science of the Czech Republic, 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": "Bell Laboraties, Lucent Technologies, Murray Hill, NJ, USA", 
          "id": "http://www.grid.ac/institutes/grid.469490.6", 
          "name": [
            "Bell Laboraties, Lucent Technologies, 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": "2008", 
    "datePublishedReg": "2008-01-01", 
    "editor": [
      {
        "familyName": "Kao", 
        "givenName": "Ming-Yang", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-0-387-30162-4_45", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-0-387-30770-1", 
        "978-0-387-30162-4"
      ], 
      "name": "Encyclopedia of Algorithms", 
      "type": "Book"
    }, 
    "keywords": [
      "algorithm"
    ], 
    "name": "Backtracking Based k-SAT Algorithms", 
    "pagination": "83-86", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1037450412"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-0-387-30162-4_45"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-0-387-30162-4_45", 
      "https://app.dimensions.ai/details/publication/pub.1037450412"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-09-02T16:15", 
    "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_338.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-0-387-30162-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-0-387-30162-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-0-387-30162-4_45'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-0-387-30162-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-0-387-30162-4_45'


 

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

81 TRIPLES      20 PREDICATES      23 URIs      18 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-0-387-30162-4_45 schema:author N23a54f8031914de3b5f6bdfeea7f520c
2 schema:datePublished 2008
3 schema:datePublishedReg 2008-01-01
4 schema:editor N06af7e850ca34b938bb8c442c6446cd2
5 schema:genre chapter
6 schema:isAccessibleForFree false
7 schema:isPartOf N48c0e442f03a4a899ef20bf461f34e6e
8 schema:keywords algorithm
9 schema:name Backtracking Based k-SAT Algorithms
10 schema:pagination 83-86
11 schema:productId N62cdcfe90ce14a8fadaaa169b9f5b5e4
12 Nb349dd0d69944825ac529b947ab86a4e
13 schema:publisher Nd58bf8c5a7de4b41a55c78fa9a98a90a
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037450412
15 https://doi.org/10.1007/978-0-387-30162-4_45
16 schema:sdDatePublished 2022-09-02T16:15
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher Nc0f66c6c3f7246c9830203c2f8d0dfb3
19 schema:url https://doi.org/10.1007/978-0-387-30162-4_45
20 sgo:license sg:explorer/license/
21 sgo:sdDataset chapters
22 rdf:type schema:Chapter
23 N06af7e850ca34b938bb8c442c6446cd2 rdf:first Nd2f4f8e318244b81bdf84d1dc850281c
24 rdf:rest rdf:nil
25 N23a54f8031914de3b5f6bdfeea7f520c rdf:first sg:person.016410340505.67
26 rdf:rest Ndbae5078b8c445fca9b3e3fd83fca61b
27 N33552b598cd14c2283f0147861581f4d rdf:first sg:person.013422436505.15
28 rdf:rest rdf:nil
29 N48c0e442f03a4a899ef20bf461f34e6e schema:isbn 978-0-387-30162-4
30 978-0-387-30770-1
31 schema:name Encyclopedia of Algorithms
32 rdf:type schema:Book
33 N62cdcfe90ce14a8fadaaa169b9f5b5e4 schema:name doi
34 schema:value 10.1007/978-0-387-30162-4_45
35 rdf:type schema:PropertyValue
36 Nb349dd0d69944825ac529b947ab86a4e schema:name dimensions_id
37 schema:value pub.1037450412
38 rdf:type schema:PropertyValue
39 Nc0f66c6c3f7246c9830203c2f8d0dfb3 schema:name Springer Nature - SN SciGraph project
40 rdf:type schema:Organization
41 Nce0e58036c864ae1b7c30ce4f1398799 rdf:first sg:person.011520224512.05
42 rdf:rest N33552b598cd14c2283f0147861581f4d
43 Nd2f4f8e318244b81bdf84d1dc850281c schema:familyName Kao
44 schema:givenName Ming-Yang
45 rdf:type schema:Person
46 Nd58bf8c5a7de4b41a55c78fa9a98a90a schema:name Springer Nature
47 rdf:type schema:Organisation
48 Ndbae5078b8c445fca9b3e3fd83fca61b rdf:first sg:person.076030521.23
49 rdf:rest Nce0e58036c864ae1b7c30ce4f1398799
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 Mathematical Institute, Academy of Science of the Czech Republic, Prague, Czech Republic
74 schema:name Mathematical Institute, Academy of Science of the Czech Republic, 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 Bell Laboraties, Lucent Technologies, Murray Hill, NJ, USA
80 schema:name Bell Laboraties, Lucent Technologies, Murray Hill, NJ, USA
81 rdf:type schema:Organization
 




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


...