[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/sat/2018>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Christoph_M._Wintersteiger>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Olaf_Beyersdorff>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Christoph_M._Wintersteiger>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Olaf_Beyersdorff>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1007%2F978-3-319-94144-8>
foaf:homepage <https://doi.org/10.1007/978-3-319-94144-8>
dc:identifier DBLP conf/sat/2018 (xsd:string)
dc:identifier DOI doi.org%2F10.1007%2F978-3-319-94144-8 (xsd:string)
dc:identifier ISBN 978-3-319-94143-1 (xsd:string)
swrc:isbn ISBN 978-3-319-94143-1 (xsd:string)
dcterms:issued 2018 (xsd:gYear)
rdfs:label Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/0001G18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/0001R18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/AbbasizanjaniK18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/AchlioptasHT18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/AchlioptasHT18a>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/BerryhillIV18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/CimattiGIRS18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/EhlersR18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/ElffersGNV18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/FichteHMW18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/GalesiTT18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/GuptaSMB18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/IgnatievMM18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/JamaliM18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/Janota18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/KauersS18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/KochemazovZ18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/KorneevNPTBS18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/LampisMM18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/LiangOMTLG18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/Nadel18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/NadelR18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/PaxianR018>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/PeitlSS18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/SchollW18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/VinyalsEGGN18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/WeaverRS18>
dc:publisher Springer (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/sat/2018/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/sat/2018>
owl:sameAs <urn:isbn:978-3-319-94143-1>
rdfs:seeAlso <http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-319-94143-1>
rdfs:seeAlso <https://doi.org/10.1007/978-3-319-94144-8>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/sat>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/sat/sat2018.html>
dc:title Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 10929 (xsd:string)