Contact

Dipl.-Inf. Johannes Klaus Fichte
Institute of Information Systems (184/3)
Vienna University of Technology (TU Wien)
Favoritenstraße 9-11
A-1040 Vienna, Austria

Phone: +43 (1) 58801 18421
Skype: tuwien-ac-at (User) 18421# (extension)
e-mail: fichte  at  kr.tuwien.ac.at

About me

I am a first year Ph.D. student in the Discrete Reasoning Methods Group of the Institute of Information Systems at the Vienna University of Technology. My supervisor is Prof. Stefan Szeider. I am working in research group Discrete Reasoning Methods. The position is funded through Prof. Szeider's ERC grant on the parameterized complexity of reasoning problems.

Research Interests

My work interests in computational complexity theory and its applications. In particular I work on the understanding of the gap between intractability (strong theoretical evidence) and practical efficient solutions (industrial cases, structural cases). I consider the boolean satisfiablity problem (SAT), constraint satisfaction problems (CSP), and non-monotonic reasoning.

Publications

Conference Papers

My papers are also listed at the DBLP Computer Science Bibliography.

  1. Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution with Albert Atserias and Marc Thurley. Conference version in 12th International Conference on Theory and Applications of Satisfiability Testing (SAT'09), volume 5584 of Lecture Notes in Computer Science, Springer-Verlag, pp. 114--127, 2009.

Academic Theses

  1. Diploma Thesis: Abstract State Machines Programmieren mit Strukturen at Humboldt-Universität zu Berlin, Mar. 2009
  2. Student Research Project: SAT Solving auf Formeln mit beschränkter Baumweite at Humboldt-Universität zu Berlin, Jan. 2008