| Property | Value |
|---|
|
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/sat/2023>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Friedrich_Slivovsky>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Meena_Mahajan>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Friedrich_Slivovsky>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Meena_Mahajan>
|
|
foaf:homepage
|
<https://www.dagstuhl.de/dagpub/978-3-95977-286-0>
|
|
dc:identifier
|
DBLP conf/sat/2023
(xsd:string)
|
|
dc:identifier
|
ISBN 978-3-95977-286-0
(xsd:string)
|
|
swrc:isbn
|
ISBN 978-3-95977-286-0
(xsd:string)
|
|
dcterms:issued
|
2023
(xsd:gYear)
|
|
rdfs:label
|
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
(xsd:string)
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/0001B23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/0002SBSM23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/AndersSS23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/BeyersdorffHS23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/BiereFW23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/BonacinaBL23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/BryantNAH23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/Colnet23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/FazekasNPKSB23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/FriedNS23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/FungT23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/HaberlandtGH23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/Katsirelos23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/KirchwegerPS23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/KirchwegerSS23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/MasinaSS23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/Mengel23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/Nadel23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/Oliveras0W0G23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/OrvalhoMM23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/PlankS23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/PollittFB23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/Rebola-Pardo23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/SchwarzovaSM23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/ShaikHSP23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/SharmaB023>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/ToranW23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/Vinyals0FKG23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/X23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/ZhouLYH23>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/sat/ZhouWY23>
|
|
dc:publisher
|
Schloss Dagstuhl - Leibniz-Zentrum f√ľr Informatik
(xsd:string)
|
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/sat/2023/dblp>
|
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/sat/2023>
|
|
owl:sameAs
|
<urn:isbn:978-3-95977-286-0>
|
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-95977-286-0>
|
|
rdfs:seeAlso
|
<https://www.dagstuhl.de/dagpub/978-3-95977-286-0>
|
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/sat>
|
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/sat/sat2023.html>
|
|
dc:title
|
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
(xsd:string)
|
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
|
rdf:type
|
swrc:Proceedings
|
|
rdf:type
|
foaf:Document
|
|
swrc:volume
|
271
(xsd:string)
|
![[RDF data]](https://dblp.l3s.de/d2r/snorql/rdf_flyer.24.gif)