Discrete Reasoning Methods
Vienna University of Technology, Vienna, Austria
Dipl.-Inf. Johannes Klaus Fichte
Institute of Information Systems (184/3)
Vienna University of Technology (TU Wien)
A-1040 Vienna, Austria
Phone: +43 (1) 58801 18421
Skype: tuwien-ac-at (User) 18421# (extension)
e-mail: fichte at kr.tuwien.ac.at
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.
My papers are also listed at the DBLP Computer Science Bibliography.