About: Stefan Szeider

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Stefan Szeider Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q901, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FStefan_Szeider

Stefan Szeider is an Austrian computer scientist who works on the areas of algorithms, computational complexity, theoretical computer science, and more specifically on propositional satisfiability, constraint satisfaction problems, and parameterised complexity. He is a full professor at the Faculty of Informatics at the Vienna University of Technology (TU Wien), the head of the Algorithms and Complexity Group, and co-chair of the Vienna Center for Logic and Algorithms of TU Wien (VCLA).

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Homo sapiens Human Animal animal eukaryote scientist species schema:Person Scientist
rdfs:label	Stefan Szeider (en)
rdfs:comment	Stefan Szeider is an Austrian computer scientist who works on the areas of algorithms, computational complexity, theoretical computer science, and more specifically on propositional satisfiability, constraint satisfaction problems, and parameterised complexity. He is a full professor at the Faculty of Informatics at the Vienna University of Technology (TU Wien), the head of the Algorithms and Complexity Group, and co-chair of the Vienna Center for Logic and Algorithms of TU Wien (VCLA). (en)
foaf:name	Stefan Szeider (en)
foaf:homepage	https://www.ac.tuwien.ac.at/people/szeider/
name	Stefan Szeider (en)
dcterms:subject	Living people Year of birth missing (living people) Austrian computer scientists University of Toronto alumni Academics of Durham University Scientists from Vienna TU Wien alumni Theoretical computer scientists Academics of TU Wien
Wikipage page ID	52858521 (xsd:integer)
Wikipage revision ID	1116810210 (xsd:integer)
Link from a Wikipage to another Wikipage	University of Toronto University of Vienna Living people Year of birth missing (living people) Vienna University of Technology Clique-width Georg Gottlob Constraint satisfaction Austrian computer scientists Stephen Cook Computational complexity theory Fundamenta Informaticae Journal of Artificial Intelligence Research Professor (highest academic rank) Theoretical computer science Austrian Academy of Sciences University of Toronto alumni Academics of Durham University Scientists from Vienna TU Wien alumni Theoretical computer scientists Treewidth Parameterised complexity Journal of Computer and System Sciences Helmut Veith Unsatisfiable core Academics of TU Wien TU Wien Herbert Fleischner Algorithms University of Durham Parameterized complexity True quantified Boolean formula Boolean satisfiability Propositional satisfiability
Link from a Wikipage to an external page	http://www.vcla.at/ https://www.ac.tuwien.ac.at/people/szeider/
sameAs	Stefan Szeider Stefan Szeider Stefan Szeider Stefan Szeider Stefan Szeider
workplaces	TU Wien Austrian Academy of Sciences (en) University of Durham (en) University of Toronto (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Short_description dbt:Infobox_scientist
alma mater	University of Vienna
fields	Algorithms Parameterized complexity (en) Theoretical computer science (en) Complexity (en) Boolean satisfiability (en) Constraint satisfaction (en)
nationality	Austrian (en)
has abstract	Stefan Szeider is an Austrian computer scientist who works on the areas of algorithms, computational complexity, theoretical computer science, and more specifically on propositional satisfiability, constraint satisfaction problems, and parameterised complexity. He is a full professor at the Faculty of Informatics at the Vienna University of Technology (TU Wien), the head of the Algorithms and Complexity Group, and co-chair of the Vienna Center for Logic and Algorithms of TU Wien (VCLA). (en)
doctoral advisors	Georg Gottlob (en) Herbert Fleischner (en)
institution	University of Toronto Austrian Academy of Sciences TU Wien University of Durham
prov:wasDerivedFrom	wikipedia-en:Stefan_Szeider?oldid=1116810210&ns=0
page length (characters) of wiki page	8628 (xsd:nonNegativeInteger)
academic discipline	Constraint satisfaction Computational complexity theory Theoretical computer science

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software