Showing
1 - 2
results of
2
Skip to content
Institutional Login
Language
English
Te reo Māori
Combined Results
Books & media
Articles & more
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Szeider, Stefan
Stefan 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 [http://www.vcla.at/ Vienna Center for Logic and Algorithms (VCLA)] of TU Wien.
Provided by Wikipedia
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Theory and applications of satisfiability testing-- SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by
Strichman, Ofer
,
Szeider, Stefan
Published 2010
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 2
2
Parameterized and exact computation : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised selected papers /
Published 2013
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Algorithms
Computer algorithms
Algebra, Boolean
Computational complexity
Computer science
Computer software
Data structures (Computer science)
Decision Making, Computer-Assisted
Decision making
Electronic data processing
Mathematical Computing
Parameter estimation
Propositional calculus