Search Results - 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
  1. 1

    Computational models of argument Proceedings of COMMA 2012 /

    Published 2012
    Other Authors:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  2. 2

    Computational models of argument Proceedings of COMMA 2012 /

    Published 2012
    Other Authors:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook