About: Positional Games and QBF: The Corrective Encoding   Goto Sponge  NotDistinct  Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : covidontheweb.inria.fr associated with source document(s)

AttributesValues
type
isDefinedBy
has title
  • Positional Games and QBF: The Corrective Encoding
Creator
  • Mayer-Eichberger, Valentin
  • Saffidine, Abdallah
Source
  • PMC
abstract
has issue date
bibo:doi
  • 10.1007/978-3-030-51825-7_31
has license
  • no-cc
sha1sum (hex)
  • c62e7993366ebc53e94417c279dd6608358319c8
schema:url
resource representing a document's title
has PubMed Central identifier
  • PMC7326552
schema:publication
  • Theory and Applications of Satisfiability Testing - SAT 2020
resource representing a document's body
is schema:about of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software