DC Field
Value
Language
dc.contributor.author
Szeider, Stefan
-
dc.date.accessioned
2023-02-21T13:50:50Z
-
dc.date.available
2023-02-21T13:50:50Z
-
dc.date.issued
2022
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Szeider, S. (2022). <i>The Parameterized Complexity of SAT</i> [Conference Presentation]. Workshop Parameterized Complexity of Computational Reasoning (PCCR 2022), Israel.</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/153791
-
dc.language.iso
en
-
dc.subject
Propositional Satisfiability
en
dc.title
The Parameterized Complexity of SAT
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Conference Presentation
-
tuw.publication.invited
invited
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-01 - Forschungsbereich Algorithms and Complexity
-
tuw.event.name
Workshop Parameterized Complexity of Computational Reasoning (PCCR 2022)
-
tuw.event.startdate
31-07-2022
-
tuw.event.enddate
01-08-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
IL
-
tuw.event.presenter
Szeider, Stefan
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
item.openairetype
conference paper not in proceedings
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E192-01 - Forschungsbereich Algorithms and Complexity
-
crisitem.author.orcid
0000-0001-8994-1656
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
Appears in Collections:
Presentation
Thumbnail
(Graphical) Abstract
Adobe PDF
(12.89 MB)
Open Access In Copyright 1.0
Show simple item record

Page view(s)

166
checked on Nov 23, 2023

Download(s)

59
checked on Nov 23, 2023

Google ScholarTM

Check